0 Predicated information in each method
0 File: /home/zxu/Documents/jtcas/versions.alt/versions.orig/v29/prdblkmap  Created: Thu Jan 08 22:56:51 CST 2009
0 Version: 2.1.2-beta
1 tcas.Non_Crossing_Biased_Climb()Z
2 4$1$if $i1 <= $i0 goto z0 = 0:z0 = 1:z0 = 0
2 7$2$if z0 == 0 goto $z5 = virtualinvoke r0.<tcas: boolean Own_Above_Threat()>():$z2 = virtualinvoke r0.<tcas: boolean Own_Below_Threat()>():$z5 = virtualinvoke r0.<tcas: boolean Own_Above_Threat()>()
2 10$3$if $z2 == 0 goto $z4 = 1:$z3 = virtualinvoke r0.<tcas: boolean Own_Below_Threat()>():$z4 = 1
2 13$4$if $z3 == 0 goto $z4 = 0:$i2 = <tcas: int Down_Separation>:$z4 = 0
2 16$5$if $i2 >= $i3 goto $z4 = 0:$z4 = 1:$z4 = 0
2 22$6$if $z5 == 0 goto $z6 = 0:$i4 = <tcas: int Cur_Vertical_Sep>:$z6 = 0
2 23$7$if $i4 < $i5 goto $z6 = 0:$i6 = <tcas: int Up_Separation>:$z6 = 0
2 26$8$if $i6 < $i7 goto $z6 = 0:$z6 = 1:$z6 = 0
1 test_tcas.<init>()V
1 tcas.initialize()V
1 tcas.Inhibit_Biased_Climb()I
1 tcas.<init>()V
1 tcas.ALIM()I
2 2$1$if $i0 != 0 goto $i2 = <tcas: int Alt_Layer_Value>:$i1 = <tcas: int Positive_RA_Alt_Thresh_0>:$i2 = <tcas: int Alt_Layer_Value>
2 4$2$if $i2 != 1 goto $i4 = <tcas: int Alt_Layer_Value>:$i3 = <tcas: int Positive_RA_Alt_Thresh_1>:$i4 = <tcas: int Alt_Layer_Value>
2 6$3$if $i4 != 2 goto $i6 = <tcas: int Positive_RA_Alt_Thresh_3>:$i5 = <tcas: int Positive_RA_Alt_Thresh_2>:$i6 = <tcas: int Positive_RA_Alt_Thresh_3>
1 tcas.begin(IIIIIIIIIIIII)V
2 2$1$if i0 >= 13 goto virtualinvoke r0.<tcas: void initialize()>():$r1 = <java.lang.System: java.io.PrintStream out>:virtualinvoke r0.<tcas: void initialize()>()
2 6$2$if i2 != 0 goto <tcas: boolean High_Confidence> = 1:<tcas: boolean High_Confidence> = 0:<tcas: boolean High_Confidence> = 1
2 9$3$if i3 != 0 goto <tcas: boolean Two_of_Three_Reports_Valid> = 1:<tcas: boolean Two_of_Three_Reports_Valid> = 0:<tcas: boolean Two_of_Three_Reports_Valid> = 1
1 tcas.alt_sep_test()I
2 2$1$if $z0 == 0 goto $z6 = 0:$i2 = <tcas: int Own_Tracked_Alt_Rate>:$z6 = 0
2 3$2$if $i2 > $i0 goto $z6 = 0:$i3 = <tcas: int Cur_Vertical_Sep>:$z6 = 0
2 4$3$if $i3 <= $i4 goto $z6 = 0:$z6 = 1:$z6 = 0
2 7$4$if $i5 != $i6 goto $z7 = 0:$z7 = 1:$z7 = 0
2 10$5$if $z8 == 0 goto $z9 = 0:$i7 = <tcas: int Other_RAC>:$z9 = 0
2 11$6$if $i7 != $i8 goto $z9 = 0:$z9 = 1:$z9 = 0
2 14$7$if z1 == 0 goto return i1:if z2 == 0 goto (branch):return i1
2 15$8$if z2 == 0 goto (branch):if z3 != 0 goto $z10 = virtualinvoke r0.<tcas: boolean Non_Crossing_Biased_Climb()>():if z2 != 0 goto return i1
2 16$9$if z3 != 0 goto $z10 = virtualinvoke r0.<tcas: boolean Non_Crossing_Biased_Climb()>():if z2 != 0 goto return i1:$z10 = virtualinvoke r0.<tcas: boolean Non_Crossing_Biased_Climb()>()
2 17$10$if z2 != 0 goto return i1:$z10 = virtualinvoke r0.<tcas: boolean Non_Crossing_Biased_Climb()>():return i1
2 20$11$if $z10 == 0 goto $z12 = 0:$z11 = virtualinvoke r0.<tcas: boolean Own_Below_Threat()>():$z12 = 0
2 23$12$if $z11 == 0 goto $z12 = 0:$z12 = 1:$z12 = 0
2 28$13$if $z13 == 0 goto $z15 = 0:$z14 = virtualinvoke r0.<tcas: boolean Own_Above_Threat()>():$z15 = 0
2 31$14$if $z14 == 0 goto $z15 = 0:$z15 = 1:$z15 = 0
2 34$15$if z4 == 0 goto (branch):if z5 == 0 goto (branch):if z4 == 0 goto (branch)
2 35$16$if z5 == 0 goto (branch):i1 = <tcas: int UNRESOLVED>:if z4 == 0 goto (branch)
2 37$17$if z4 == 0 goto (branch):i1 = <tcas: int UPWARD_RA>:if z5 == 0 goto i1 = <tcas: int UNRESOLVED>
2 39$18$if z5 == 0 goto i1 = <tcas: int UNRESOLVED>:i1 = <tcas: int DOWNWARD_RA>:i1 = <tcas: int UNRESOLVED>
1 tcas.Non_Crossing_Biased_Descend()Z
2 4$1$if $i1 <= $i0 goto z0 = 0:z0 = 1:z0 = 0
2 7$2$if z0 == 0 goto $z4 = virtualinvoke r0.<tcas: boolean Own_Above_Threat()>():$z2 = virtualinvoke r0.<tcas: boolean Own_Below_Threat()>():$z4 = virtualinvoke r0.<tcas: boolean Own_Above_Threat()>()
2 10$3$if $z2 == 0 goto $z3 = 0:$i2 = <tcas: int Cur_Vertical_Sep>:$z3 = 0
2 11$4$if $i2 < $i3 goto $z3 = 0:$i4 = <tcas: int Down_Separation>:$z3 = 0
2 14$5$if $i4 < $i5 goto $z3 = 0:$z3 = 1:$z3 = 0
2 20$6$if $z4 == 0 goto $z6 = 1:$z5 = virtualinvoke r0.<tcas: boolean Own_Above_Threat()>():$z6 = 1
2 23$7$if $z5 == 0 goto $z6 = 0:$i6 = <tcas: int Up_Separation>:$z6 = 0
2 26$8$if $i6 < $i7 goto $z6 = 0:$z6 = 1:$z6 = 0
1 tcas.Own_Above_Threat()Z
2 2$1$if $i0 >= $i1 goto $z0 = 0:$z0 = 1:$z0 = 0
1 test_tcas.main([Ljava/lang/String;)V
2 2$1$if i12 >= 13 goto $r3 = new java.lang.StringBuilder:$r2 = new tcas:$r3 = new java.lang.StringBuilder
1 tcas.<clinit>()V
1 tcas.Own_Below_Threat()Z
2 2$1$if $i0 >= $i1 goto $z0 = 0:$z0 = 1:$z0 = 0
