0 Predicated information in each method
0 File: /home/zxu/Documents/jtcas/versions.alt/versions.orig/v1/prdblkmap  Created: Thu Jan 15 11:05:36 CST 2009
0 Version: 2.1.2-beta
1 tcas.Non_Crossing_Biased_Climb()Z
2 4$1$if i0 <= i1 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i1", "JLeExpr", "$i0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i1", "!JLeExpr", "$i0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i1", "JLeExpr", "$i0")
2 7$2$if z0 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z0", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z0", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z0", "JEqExpr", "0")
2 10$3$if z1 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z2", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z2", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z2", "JEqExpr", "0")
2 13$4$if z2 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z3", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z3", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z3", "JEqExpr", "0")
2 16$5$if i2 > i3 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z3", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z2", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z3", "JEqExpr", "0")
2 22$6$if z5 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z5", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z5", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z5", "JEqExpr", "0")
2 23$7$if i4 < i5 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z5", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i4", "!JLtExpr", "$i5"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z5", "JEqExpr", "0")
2 26$8$if i6 < i7 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z5", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i6", "!JLtExpr", "$i7"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z5", "JEqExpr", "0")
1 test_tcas.<init>()V
1 tcas.initialize()V
1 tcas.Inhibit_Biased_Climb()I
2 2$1$if i1 <= 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i0", "JLeExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i0", "!JLeExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i0", "JLeExpr", "0")
1 tcas.<init>()V
1 tcas.ALIM()I
2 2$1$if i0 != 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i0", "JNeExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i0", "!JNeExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i0", "JNeExpr", "0")
2 4$2$if i2 != 1 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i2", "JNeExpr", "1"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i2", "!JNeExpr", "1"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i2", "JNeExpr", "1")
2 6$3$if i4 != 2 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i4", "JNeExpr", "2"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i4", "!JNeExpr", "2"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i4", "JNeExpr", "2")
1 tcas.begin(IIIIIIIIIIIII)V
2 2$1$if i0 >= 13 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("i0", "JGeExpr", "13"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("i0", "!JGeExpr", "13"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("i0", "JGeExpr", "13")
2 6$2$if i2 != 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("i2", "JNeExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("i2", "!JNeExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("i2", "JNeExpr", "0")
2 9$3$if i3 != 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("i3", "JNeExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("i3", "!JNeExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("i3", "JNeExpr", "0")
1 tcas.alt_sep_test()I
2 2$1$if z0 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z0", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z0", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z0", "JEqExpr", "0")
2 3$2$if i0 > i2 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z0", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i2", "!JGtExpr", "$i0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z0", "JEqExpr", "0")
2 4$3$if i3 <= i1 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z0", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i3", "!JLeExpr", "$i4"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z0", "JEqExpr", "0")
2 7$4$if i4 != i5 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i5", "JNeExpr", "$i6"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i5", "!JNeExpr", "$i6"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i5", "JNeExpr", "$i6")
2 10$5$if z5 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z8", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z8", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z8", "JEqExpr", "0")
2 11$6$if i6 != i7 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z8", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i7", "!JNeExpr", "$i8"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z8", "JEqExpr", "0")
2 14$7$if z3 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z1", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z1", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z1", "JEqExpr", "0")
2 15$8$if z1 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z2", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z2", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z2", "JEqExpr", "0")
2 16$9$if z7 != 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z3", "JNeExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z2", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z3", "JNeExpr", "0")
2 17$10$if z1 != 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z1", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z3", "JNeExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z1", "JEqExpr", "0")
2 20$11$if z8 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z10", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z10", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z10", "JEqExpr", "0")
2 23$12$if z9 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z10", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z11", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z10", "JEqExpr", "0")
2 28$13$if z12 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z13", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z13", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z13", "JEqExpr", "0")
2 31$14$if z13 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z13", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z14", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z13", "JEqExpr", "0")
2 34$15$if z11 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z4", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z4", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z4", "JEqExpr", "0")
2 35$16$if z15 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z4", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z5", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z4", "JEqExpr", "0")
2 37$17$if z11 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z4", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z4", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z4", "JEqExpr", "0")
2 39$18$if z15 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z5", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z5", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z5", "JEqExpr", "0")
1 tcas.Non_Crossing_Biased_Descend()Z
2 4$1$if i0 <= i1 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i1", "JLeExpr", "$i0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i1", "!JLeExpr", "$i0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i1", "JLeExpr", "$i0")
2 7$2$if z0 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z0", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z0", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("z0", "JEqExpr", "0")
2 10$3$if z1 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z2", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z2", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z2", "JEqExpr", "0")
2 11$4$if i2 < i3 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z2", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i2", "!JLtExpr", "$i3"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z2", "JEqExpr", "0")
2 14$5$if i4 < i5 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z2", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i4", "!JLtExpr", "$i5"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z2", "JEqExpr", "0")
2 20$6$if z4 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z4", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z4", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z4", "JEqExpr", "0")
2 23$7$if z5 == 0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z5", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z5", "!JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z5", "JEqExpr", "0")
2 26$8$if i6 < i7 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z5", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z4", "JEqExpr", "0"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$z5", "JEqExpr", "0")
1 tcas.Own_Above_Threat()Z
2 2$1$if i1 >= i0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i0", "JGeExpr", "$i1"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i0", "!JGeExpr", "$i1"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i0", "JGeExpr", "$i1")
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 i1 >= i0 goto staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i0", "JGeExpr", "$i1"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i0", "!JGeExpr", "$i1"):staticinvoke <tryinstrumention: void addcondition(java.lang.String,java.lang.String,java.lang.String)>("$i0", "JGeExpr", "$i1")
