1 package dot.junit.opcodes.if_nez; 2 3 import dot.junit.DxTestCase; 4 import dot.junit.DxUtil; 5 import dot.junit.opcodes.if_nez.d.T_if_nez_1; 6 import dot.junit.opcodes.if_nez.d.T_if_nez_2; 7 import dot.junit.opcodes.if_nez.d.T_if_nez_3; 8 import dot.junit.opcodes.if_nez.d.T_if_nez_4; 9 10 public class Test_if_nez extends DxTestCase { 11 12 /** 13 * @title Argument = 5 and -5 14 */ testN1()15 public void testN1() { 16 T_if_nez_1 t = new T_if_nez_1(); 17 assertEquals(1, t.run(5)); 18 assertEquals(1, t.run(-5)); 19 } 20 21 /** 22 * @title Arguments = null 23 */ testN2()24 public void testN2() { 25 T_if_nez_2 t = new T_if_nez_2(); 26 String str = null; 27 assertEquals(1234, t.run(str)); 28 } 29 30 /** 31 * @title Arguments = not null 32 */ testN3()33 public void testN3() { 34 T_if_nez_2 t = new T_if_nez_2(); 35 String str = "abc"; 36 assertEquals(1, t.run(str)); 37 } 38 39 /** 40 * @title Arguments = Integer.MAX_VALUE 41 */ testB1()42 public void testB1() { 43 T_if_nez_1 t = new T_if_nez_1(); 44 assertEquals(1, t.run(Integer.MAX_VALUE)); 45 } 46 47 /** 48 * @title Arguments = Integer.MIN_VALUE 49 */ testB2()50 public void testB2() { 51 T_if_nez_1 t = new T_if_nez_1(); 52 assertEquals(1, t.run(Integer.MIN_VALUE)); 53 } 54 55 /** 56 * @title Arguments = 0 57 */ testB3()58 public void testB3() { 59 T_if_nez_1 t = new T_if_nez_1(); 60 assertEquals(1234, t.run(0)); 61 } 62 63 /** 64 * @title Compare reference with null 65 */ testB4()66 public void testB4() { 67 T_if_nez_4 t = new T_if_nez_4(); 68 assertEquals(1234, t.run(null)); 69 } 70 71 /** 72 * @constraint A23 73 * @title number of registers 74 */ testVFE1()75 public void testVFE1() { 76 try { 77 Class.forName("dot.junit.opcodes.if_nez.d.T_if_nez_5"); 78 fail("expected a verification exception"); 79 } catch (Throwable t) { 80 DxUtil.checkVerifyException(t); 81 } 82 } 83 84 85 /** 86 * @constraint B1 87 * @title types of arguments - double 88 */ testVFE2()89 public void testVFE2() { 90 try { 91 Class.forName("dot.junit.opcodes.if_nez.d.T_if_nez_6"); 92 fail("expected a verification exception"); 93 } catch (Throwable t) { 94 DxUtil.checkVerifyException(t); 95 } 96 } 97 98 /** 99 * @constraint B1 100 * @title types of arguments - long 101 */ testVFE3()102 public void testVFE3() { 103 try { 104 Class.forName("dot.junit.opcodes.if_nez.d.T_if_nez_7"); 105 fail("expected a verification exception"); 106 } catch (Throwable t) { 107 DxUtil.checkVerifyException(t); 108 } 109 } 110 111 /** 112 * @constraint B1 113 * @title Type of argument - float. The verifier checks that ints 114 * and floats are not used interchangeably. 115 */ testVFE4()116 public void testVFE4() { 117 try { 118 Class.forName("dot.junit.opcodes.if_nez.d.T_if_nez_3"); 119 fail("expected a verification exception"); 120 } catch (Throwable t) { 121 DxUtil.checkVerifyException(t); 122 } 123 } 124 125 /** 126 * @constraint A6 127 * @title branch target shall be inside the method 128 */ testVFE5()129 public void testVFE5() { 130 try { 131 Class.forName("dot.junit.opcodes.if_nez.d.T_if_nez_9"); 132 fail("expected a verification exception"); 133 } catch (Throwable t) { 134 DxUtil.checkVerifyException(t); 135 } 136 } 137 138 /** 139 * @constraint A6 140 * @title branch target shall not be "inside" instruction 141 */ testVFE6()142 public void testVFE6() { 143 try { 144 Class.forName("dot.junit.opcodes.if_nez.d.T_if_nez_10"); 145 fail("expected a verification exception"); 146 } catch (Throwable t) { 147 DxUtil.checkVerifyException(t); 148 } 149 } 150 151 /** 152 * @constraint n/a 153 * @title branch must not be 0 154 */ testVFE7()155 public void testVFE7() { 156 try { 157 Class.forName("dot.junit.opcodes.if_nez.d.T_if_nez_11"); 158 fail("expected a verification exception"); 159 } catch (Throwable t) { 160 DxUtil.checkVerifyException(t); 161 } 162 } 163 } 164