1 package dot.junit.opcodes.if_lez; 2 3 import dot.junit.DxTestCase; 4 import dot.junit.DxUtil; 5 import dot.junit.opcodes.if_lez.d.T_if_lez_1; 6 import dot.junit.opcodes.if_lez.d.T_if_lez_2; 7 8 public class Test_if_lez extends DxTestCase { 9 10 /** 11 * @title Argument = 5 12 */ testN1()13 public void testN1() { 14 T_if_lez_1 t = new T_if_lez_1(); 15 assertEquals(1234, t.run(5)); 16 } 17 18 /** 19 * @title Argument = -5 20 */ testN2()21 public void testN2() { 22 T_if_lez_1 t = new T_if_lez_1(); 23 assertEquals(1, t.run(-5)); 24 } 25 26 /** 27 * @title Arguments = Integer.MAX_VALUE 28 */ testB1()29 public void testB1() { 30 T_if_lez_1 t = new T_if_lez_1(); 31 assertEquals(1234, t.run(Integer.MAX_VALUE)); 32 } 33 34 /** 35 * @title Arguments = Integer.MIN_VALUE 36 */ testB2()37 public void testB2() { 38 T_if_lez_1 t = new T_if_lez_1(); 39 assertEquals(1, t.run(Integer.MIN_VALUE)); 40 } 41 42 /** 43 * @title Arguments = 0 44 */ testB3()45 public void testB3() { 46 T_if_lez_1 t = new T_if_lez_1(); 47 assertEquals(1, t.run(0)); 48 } 49 50 /** 51 * @constraint A23 52 * @title number of registers 53 */ testVFE1()54 public void testVFE1() { 55 load("dot.junit.opcodes.if_lez.d.T_if_lez_3", VerifyError.class); 56 } 57 58 59 60 /** 61 * @constraint B1 62 * @title types of arguments - double 63 */ testVFE2()64 public void testVFE2() { 65 load("dot.junit.opcodes.if_lez.d.T_if_lez_4", VerifyError.class); 66 } 67 68 /** 69 * @constraint B1 70 * @title types of arguments - long 71 */ testVFE3()72 public void testVFE3() { 73 load("dot.junit.opcodes.if_lez.d.T_if_lez_5", VerifyError.class); 74 } 75 76 /** 77 * @constraint B1 78 * @title types of arguments - reference 79 */ testVFE4()80 public void testVFE4() { 81 load("dot.junit.opcodes.if_lez.d.T_if_lez_6", VerifyError.class); 82 } 83 84 /** 85 * @constraint A6 86 * @title branch target shall be inside the method 87 */ testVFE5()88 public void testVFE5() { 89 load("dot.junit.opcodes.if_lez.d.T_if_lez_8", VerifyError.class); 90 } 91 92 /** 93 * @constraint A6 94 * @title branch target shall not be "inside" instruction 95 */ testVFE6()96 public void testVFE6() { 97 load("dot.junit.opcodes.if_lez.d.T_if_lez_9", VerifyError.class); 98 } 99 100 /** 101 * @constraint n/a 102 * @title branch must not be 0 103 */ testVFE7()104 public void testVFE7() { 105 load("dot.junit.opcodes.if_lez.d.T_if_lez_10", VerifyError.class); 106 } 107 108 /** 109 * @constraint B1 110 * @title Type of argument - float. The verifier checks that ints 111 * and floats are not used interchangeably. 112 */ testVFE8()113 public void testVFE8() { 114 load("dot.junit.opcodes.if_lez.d.T_if_lez_2", VerifyError.class); 115 } 116 117 } 118