0 Control Flow Information
0 File: tcas.java Created: Tue Feb 10 21:36:45 CST 2009
0 version 2.1.2-beta
0
1 "tcas.boolean_Non_Crossing_Biased_Climb()" 34 34 26 26
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 17 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 15 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 15 13 14:1 T
3 17 14 13 15:1 F
3 18 16 14 15:1
3 19 16 15 10:1,14:1
3 20 27 16 10:1,12:8
3 21 18 17 16:8 <r>
3 22 19 18 16:8
3 23 25 19 18:1 T
3 24 20 19 19:1 F
3 25 25 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 25 23 24:1 T
3 30 24 23 25:1 F
3 31 26 24 25:1
3 32 26 25 18:1,20:1,24:1
3 33 27 26 18:1,20:1,22:8
3 34 28 27 10:1,12:8,18:1,20:1,22:8
3 35 30 2 3:8 <any>
3 36 31 8 9:8 <any>
3 37 32 11 13:8 <any>
3 38 33 17 17:8 <any>
3 39 34 21 23: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()" 41 41 40 40
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 36 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 36 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 21 20 24:8 <r>
3 31 22 21 24:8
3 32 27 22 26:1 T
3 33 23 22 27:1 F
3 34 24 23 28:8 <r>
3 35 25 24 28:8
3 36 27 25 30:1 T
3 37 26 25 31:1 F
3 38 28 26 31:1
3 39 28 27 26:1,30:1
3 40 31 28 32:1 T
3 41 29 28 33:1 F
3 42 31 29 34:1 T
3 43 30 29 35:1 F
3 44 36 30 35:1
3 45 33 31 36:1 T
3 46 32 31 37:1 F
3 47 36 32 37:1
3 48 35 33 38:1 T
3 49 34 33 39:1 F
3 50 36 34 39:1
3 51 36 35 38:1
3 52 37 36 14:1,20:1,26:1,28:8
3 53 39 18 23:8 <any>
3 54 40 20 25:8 <any>
3 55 41 23 29: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()
