0 Control Flow Information
0 File: tcas.java Created: Tue Feb 10 10:52:24 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()" 48 48 46 46
4 tcas#alt_sep_test#()I
3 1 2 1 1:16
3 2 6 2 2:1 T
3 3 3 2 3:1 F
3 4 6 3 4:1 T
3 5 4 3 5:1 F
3 6 6 4 6:1 T
3 7 5 4 7:1 F
3 8 7 5 7:1
3 9 7 6 2:1,4:1,6:1
3 10 9 7 8:1 T
3 11 8 7 9:1 F
3 12 10 8 9:1
3 13 10 9 8:1
3 14 13 10 10:1 T
3 15 11 10 11:1 F
3 16 13 11 12:1 T
3 17 12 11 13:1 F
3 18 14 12 13:1
3 19 14 13 10:1,12:1
3 20 42 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 18 16 18:1 T
3 25 17 16 19:1 F
3 26 42 17 20:1 T
3 27 18 17 21:1 F
3 28 19 18 22:8 <r>
3 29 20 19 22:8
3 30 25 20 24:1 T
3 31 21 20 25:1 F
3 32 22 21 26:8 <r>
3 33 23 22 26:8
3 34 25 23 28:1 T
3 35 24 23 29:1 F
3 36 26 24 29:1
3 37 26 25 24:1,28:1
3 38 27 26 30:8 <r>
3 39 28 27 30:8
3 40 33 28 32:1 T
3 41 29 28 33:1 F
3 42 30 29 34:8 <r>
3 43 31 30 34:8
3 44 33 31 36:1 T
3 45 32 31 37:1 F
3 46 34 32 37:1
3 47 34 33 32:1,36:1
3 48 37 34 38:1 T
3 49 35 34 39:1 F
3 50 37 35 40:1 T
3 51 36 35 41:1 F
3 52 42 36 41:1
3 53 39 37 42:1 T
3 54 38 37 43:1 F
3 55 42 38 43:1
3 56 41 39 44:1 T
3 57 40 39 45:1 F
3 58 42 40 45:1
3 59 42 41 44:1
3 60 43 42 14:1,20:1,32:1,34:8
3 61 45 18 23:8 <any>
3 62 46 21 27:8 <any>
3 63 47 26 31:8 <any>
3 64 48 29 35: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()
