0 Control Flow Information
0 File: tcas.java Created: Tue Feb 10 11:57:56 CST 2009
0 version 2.1.2-beta
0
1 "tcas.boolean_Non_Crossing_Biased_Climb()" 38 38 30 30
4 tcas#Non_Crossing_Biased_Climb#()Z
3 1 2 1 1:16
3 2 3 2 2:8 <r>
3 3 4 3 2:8
3 4 6 4 4:1 T
3 5 5 4 5:1 F
3 6 7 5 5:1
3 7 7 6 4:1
3 8 20 7 6:1 T
3 9 8 7 7:1 F
3 10 9 8 8:8 <r>
3 11 10 9 8:8
3 12 17 10 10:1 T
3 13 11 10 11:1 F
3 14 12 11 12:8 <r>
3 15 13 12 12:8
3 16 18 13 14:1 T
3 17 14 13 15:1 F
3 18 15 14 16:8 <r>
3 19 16 15 16:8
3 20 18 16 18:1 T
3 21 17 16 19:1 F
3 22 19 17 10:1,19:1
3 23 19 18 14:1,18:1
3 24 30 19 10:1,14:1,16:8
3 25 21 20 20:8 <r>
3 26 22 21 20:8
3 27 28 22 22:1 T
3 28 23 22 23:1 F
3 29 28 23 24:1 T
3 30 24 23 25:1 F
3 31 25 24 26:8 <r>
3 32 26 25 26:8
3 33 28 26 28:1 T
3 34 27 26 29:1 F
3 35 29 27 29:1
3 36 29 28 22:1,24:1,28:1
3 37 30 29 22:1,24:1,26:8
3 38 31 30 10:1,14:1,16:8,22:1,24:1,26:8
3 39 33 2 3:8 <any>
3 40 34 8 9:8 <any>
3 41 35 11 13:8 <any>
3 42 36 14 17:8 <any>
3 43 37 20 21:8 <any>
3 44 38 24 27:8 <any>
0 end of method tcas.boolean_Non_Crossing_Biased_Climb()
1 "tcas.boolean_Non_Crossing_Biased_Descend()" 38 38 30 30
4 tcas#Non_Crossing_Biased_Descend#()Z
3 1 2 1 1:16
3 2 3 2 2:8 <r>
3 3 4 3 2:8
3 4 6 4 4:1 T
3 5 5 4 5:1 F
3 6 7 5 5:1
3 7 7 6 4:1
3 8 18 7 6:1 T
3 9 8 7 7:1 F
3 10 9 8 8:8 <r>
3 11 10 9 8:8
3 12 16 10 10:1 T
3 13 11 10 11:1 F
3 14 16 11 12:1 T
3 15 12 11 13:1 F
3 16 13 12 14:8 <r>
3 17 14 13 14:8
3 18 16 14 16:1 T
3 19 15 14 17:1 F
3 20 17 15 17:1
3 21 17 16 10:1,12:1,16:1
3 22 30 17 10:1,12:1,14:8
3 23 19 18 18:8 <r>
3 24 20 19 18:8
3 25 27 20 20:1 T
3 26 21 20 21:1 F
3 27 22 21 22:8 <r>
3 28 23 22 22:8
3 29 28 23 24:1 T
3 30 24 23 25:1 F
3 31 25 24 26:8 <r>
3 32 26 25 26:8
3 33 28 26 28:1 T
3 34 27 26 29:1 F
3 35 29 27 20:1,29:1
3 36 29 28 24:1,28:1
3 37 30 29 20:1,24:1,26:8
3 38 31 30 10:1,12:1,14:8,20:1,24:1,26:8
3 39 33 2 3:8 <any>
3 40 34 8 9:8 <any>
3 41 35 12 15:8 <any>
3 42 36 18 19:8 <any>
3 43 37 21 23:8 <any>
3 44 38 24 27:8 <any>
0 end of method tcas.boolean_Non_Crossing_Biased_Descend()
1 "tcas.boolean_Own_Above_Threat()" 7 7 4 4
4 tcas#Own_Above_Threat#()Z
3 1 2 1 1:16
3 2 4 2 2:1 T
3 3 3 2 3:1 F
3 4 5 3 3:1
3 5 5 4 2:1
3 6 6 5 1:16
0 end of method tcas.boolean_Own_Above_Threat()
1 "tcas.boolean_Own_Below_Threat()" 7 7 4 4
4 tcas#Own_Below_Threat#()Z
3 1 2 1 1:16
3 2 4 2 2:1 T
3 3 3 2 3:1 F
3 4 5 3 3:1
3 5 5 4 2:1
3 6 6 5 1:16
0 end of method tcas.boolean_Own_Below_Threat()
1 "tcas.int_ALIM()" 10 10 8 8
4 tcas#ALIM#()I
3 1 2 1 1:16
3 2 4 2 2:1 T
3 3 3 2 3:1 F
3 4 9 3 3:1
3 5 6 4 4:1 T
3 6 5 4 5:1 F
3 7 9 5 5:1
3 8 8 6 6:1 T
3 9 7 6 7:1 F
3 10 9 7 7:1
3 11 9 8 6:1
0 end of method tcas.int_ALIM()
1 "tcas.int_Inhibit_Biased_Climb()" 6 6 4 4
4 tcas#Inhibit_Biased_Climb#()I
3 1 2 1 1:16
3 2 4 2 2:1 T
3 3 3 2 3:1 F
3 4 5 3 3:1
3 5 5 4 2:1
0 end of method tcas.int_Inhibit_Biased_Climb()
1 "tcas.int_alt_sep_test()" 47 47 44 44
4 tcas#alt_sep_test#()I
3 1 2 1 1:16
3 2 5 2 2:1 T
3 3 3 2 3:1 F
3 4 5 3 4:1 T
3 5 4 3 5:1 F
3 6 6 4 5:1
3 7 6 5 2:1,4:1
3 8 8 6 6:1 T
3 9 7 6 7:1 F
3 10 9 7 7:1
3 11 9 8 6:1
3 12 12 9 8:1 T
3 13 10 9 9:1 F
3 14 12 10 10:1 T
3 15 11 10 11:1 F
3 16 13 11 11:1
3 17 13 12 8:1,10:1
3 18 41 13 12:1 T
3 19 14 13 13:1 F
3 20 16 14 14:1 T
3 21 15 14 15:1 F
3 22 17 15 16:1 T
3 23 16 15 17:1 F
3 24 41 16 18:1 T
3 25 17 16 19:1 F
3 26 18 17 20:8 <r>
3 27 19 18 20:8
3 28 24 19 22:1 T
3 29 20 19 23:1 F
3 30 21 20 24:8 <r>
3 31 22 21 24:8
3 32 24 22 26:1 T
3 33 23 22 27:1 F
3 34 25 23 27:1
3 35 25 24 22:1,26:1
3 36 26 25 28:8 <r>
3 37 27 26 28:8
3 38 32 27 30:1 T
3 39 28 27 31:1 F
3 40 29 28 32:8 <r>
3 41 30 29 32:8
3 42 32 30 34:1 T
3 43 31 30 35:1 F
3 44 33 31 35:1
3 45 33 32 30:1,34:1
3 46 36 33 36:1 T
3 47 34 33 37:1 F
3 48 36 34 38:1 T
3 49 35 34 39:1 F
3 50 41 35 39:1
3 51 38 36 40:1 T
3 52 37 36 41:1 F
3 53 41 37 41:1
3 54 40 38 42:1 T
3 55 39 38 43:1 F
3 56 41 39 43:1
3 57 41 40 42:1
3 58 42 41 12:1,18:1,30:1,32:8
3 59 44 17 21:8 <any>
3 60 45 20 25:8 <any>
3 61 46 25 29:8 <any>
3 62 47 28 33:8 <any>
0 end of method tcas.int_alt_sep_test()
1 "tcas.public_void_<init>()" 4 4 2 2
4 tcas#<init>#()V
3 1 2 1 1:16
3 2 3 2 1:16
0 end of method tcas.public_void_<init>()
1 "tcas.public_void_begin(int_arg1,_int_arg2,_int_arg3,_int_arg4,_int_arg5,_int_arg6,_int_arg7,_int_arg8,_int_arg9,_int_arg10,_int_arg11,_int_arg12,_int_arg13)" 18 18 12 12
4 tcas#begin#(IIIIIIIIIIIII)V
3 1 2 1 1:16
3 2 4 2 2:1 T
3 3 3 2 3:1 F
3 4 15 3 3:1
3 5 5 4 4:8 <r>
3 6 6 5 4:8
3 7 8 6 6:1 T
3 8 7 6 7:1 F
3 9 9 7 7:1
3 10 9 8 6:1
3 11 11 9 8:1 T
3 12 10 9 9:1 F
3 13 12 10 9:1
3 14 12 11 8:1
3 15 13 12 10:8 <r>
3 16 14 13 10:8
3 17 15 14 10:8
3 18 17 4 5:8 <any>
3 19 18 12 11:8 <any>
0 end of method tcas.public_void_begin(int_arg1,_int_arg2,_int_arg3,_int_arg4,_int_arg5,_int_arg6,_int_arg7,_int_arg8,_int_arg9,_int_arg10,_int_arg11,_int_arg12,_int_arg13)
1 "tcas.static_void_<clinit>()" 4 4 2 2
4 tcas#<clinit>#()V
3 1 2 1 1:16
3 2 3 2 1:16
0 end of method tcas.static_void_<clinit>()
1 "tcas.void_initialize()" 4 4 2 2
4 tcas#initialize#()V
3 1 2 1 1:16
3 2 3 2 1:16
0 end of method tcas.void_initialize()
