0 Predicated information in each method
0 File: /home/zxu/Documents/jtcas/versions.alt/versions.orig/v27/preinfor  Created: Thu Jan 08 22:32:41 CST 2009
0 Version: 2.1.2-beta
1 <tcas: initialize()V>+null
1 <tcas: Inhibit_Biased_Climb()I>+if $i0 <= 0 goto $i4 = <tcas: int Up_Separation>:$i2 = <tcas: int Up_Separation>:$i4 = <tcas: int Up_Separation>#
1 <test_tcas: <init>()V>+null
1 <tcas: Own_Below_Threat()Z>+if $i0 >= $i1 goto $z0 = 0:$z0 = 1:$z0 = 0#
1 <tcas: Non_Crossing_Biased_Climb()Z>+if $i1 <= $i0 goto z0 = 0:z0 = 1:z0 = 0#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()>()#if $z2 == 0 goto $z4 = 1:$z3 = virtualinvoke r0.<tcas: boolean Own_Below_Threat()>():$z4 = 1#if $z3 == 0 goto $z4 = 0:$i2 = <tcas: int Down_Separation>:$z4 = 0#if $i2 >= $i3 goto $z4 = 0:$z4 = 1:$z4 = 0#if $z5 == 0 goto $z6 = 0:$i4 = <tcas: int Cur_Vertical_Sep>:$z6 = 0#if $i4 < $i5 goto $z6 = 0:$i6 = <tcas: int Up_Separation>:$z6 = 0#if $i6 < $i7 goto $z6 = 0:$z6 = 1:$z6 = 0#
1 <tcas: ALIM()I>+if $i0 != 0 goto $i2 = <tcas: int Alt_Layer_Value>:$i1 = <tcas: int Positive_RA_Alt_Thresh_0>:$i2 = <tcas: int Alt_Layer_Value>#if $i2 != 1 goto $i4 = <tcas: int Alt_Layer_Value>:$i3 = <tcas: int Positive_RA_Alt_Thresh_1>:$i4 = <tcas: int Alt_Layer_Value>#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 <test_tcas: main([Ljava/lang/String;)V>+if i12 >= 13 goto $r3 = new java.lang.StringBuilder:$r2 = new tcas:$r3 = new java.lang.StringBuilder#
1 <tcas: <clinit>()V>+null
1 <tcas: <init>()V>+null
1 <tcas: Non_Crossing_Biased_Descend()Z>+if $i1 <= $i0 goto z0 = 0:z0 = 1:z0 = 0#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()>()#if $z2 == 0 goto $z3 = 0:$i2 = <tcas: int Cur_Vertical_Sep>:$z3 = 0#if $i2 < $i3 goto $z3 = 0:$i4 = <tcas: int Down_Separation>:$z3 = 0#if $i4 < $i5 goto $z3 = 0:$z3 = 1:$z3 = 0#if $z4 == 0 goto $z6 = 1:$z5 = virtualinvoke r0.<tcas: boolean Own_Above_Threat()>():$z6 = 1#if $z5 == 0 goto $z6 = 0:$i6 = <tcas: int Up_Separation>:$z6 = 0#if $i6 < $i7 goto $z6 = 0:$z6 = 1:$z6 = 0#
1 <tcas: alt_sep_test()I>+if $z0 == 0 goto $z6 = 0:$i2 = <tcas: int Own_Tracked_Alt_Rate>:$z6 = 0#if $i2 > $i0 goto $z6 = 0:$z6 = 1:$z6 = 0#if $i3 != $i4 goto $z7 = 0:$z7 = 1:$z7 = 0#if $z8 == 0 goto $z9 = 0:$i5 = <tcas: int Other_RAC>:$z9 = 0#if $i5 != $i6 goto $z9 = 0:$z9 = 1:$z9 = 0#if z1 == 0 goto return i1:if z2 == 0 goto (branch):return i1#if z2 == 0 goto (branch):if z3 != 0 goto $z10 = virtualinvoke r0.<tcas: boolean Non_Crossing_Biased_Climb()>():if z2 != 0 goto return i1#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()>()#if z2 != 0 goto return i1:$z10 = virtualinvoke r0.<tcas: boolean Non_Crossing_Biased_Climb()>():return i1#if $z10 == 0 goto $z12 = 0:$z11 = virtualinvoke r0.<tcas: boolean Own_Below_Threat()>():$z12 = 0#if $z11 == 0 goto $z12 = 0:$z12 = 1:$z12 = 0#if $z13 == 0 goto $z15 = 0:$z14 = virtualinvoke r0.<tcas: boolean Own_Above_Threat()>():$z15 = 0#if $z14 == 0 goto $z15 = 0:$z15 = 1:$z15 = 0#if z4 == 0 goto (branch):if z5 == 0 goto (branch):if z4 == 0 goto (branch)#if z5 == 0 goto (branch):i1 = <tcas: int UNRESOLVED>:if z4 == 0 goto (branch)#if z4 == 0 goto (branch):i1 = <tcas: int UPWARD_RA>:if z5 == 0 goto i1 = <tcas: int UNRESOLVED>#if z5 == 0 goto i1 = <tcas: int UNRESOLVED>:i1 = <tcas: int DOWNWARD_RA>:i1 = <tcas: int UNRESOLVED>#
1 <tcas: Own_Above_Threat()Z>+if $i0 >= $i1 goto $z0 = 0:$z0 = 1:$z0 = 0#
1 <tcas: begin(IIIIIIIIIIIII)V>+if i0 >= 13 goto virtualinvoke r0.<tcas: void initialize()>():$r1 = <java.lang.System: java.io.PrintStream out>:virtualinvoke r0.<tcas: void initialize()>()#if i2 != 0 goto <tcas: boolean High_Confidence> = 1:<tcas: boolean High_Confidence> = 0:<tcas: boolean High_Confidence> = 1#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#
