package dot.junit.opcodes.if_nez;
import dot.junit.DxTestCase;
import dot.junit.DxUtil;
import dot.junit.opcodes.if_nez.d.T_if_nez_1;
import dot.junit.opcodes.if_nez.d.T_if_nez_2;
import dot.junit.opcodes.if_nez.d.T_if_nez_3;
import dot.junit.opcodes.if_nez.d.T_if_nez_4;
public class Test_if_nez extends DxTestCase {
/**
* @title Argument = 5 and -5
*/
public void testN1() {
T_if_nez_1 t = new T_if_nez_1();
assertEquals(1, t.run(5));
assertEquals(1, t.run(-5));
}
/**
* @title Arguments = null
*/
public void testN2() {
T_if_nez_2 t = new T_if_nez_2();
String str = null;
assertEquals(1234, t.run(str));
}
/**
* @title Arguments = not null
*/
public void testN3() {
T_if_nez_2 t = new T_if_nez_2();
String str = "abc";
assertEquals(1, t.run(str));
}
/**
* @title Types of arguments - float. Dalvik doens't distinguish 32-bits types internally,
* so this operation of float makes no sense but shall not crash the VM.
*/
public void testN4() {
T_if_nez_3 t = new T_if_nez_3();
assertEquals(1, t.run(3.123f));
}
/**
* @title Arguments = Integer.MAX_VALUE
*/
public void testB1() {
T_if_nez_1 t = new T_if_nez_1();
assertEquals(1, t.run(Integer.MAX_VALUE));
}
/**
* @title Arguments = Integer.MIN_VALUE
*/
public void testB2() {
T_if_nez_1 t = new T_if_nez_1();
assertEquals(1, t.run(Integer.MIN_VALUE));
}
/**
* @title Arguments = 0
*/
public void testB3() {
T_if_nez_1 t = new T_if_nez_1();
assertEquals(1234, t.run(0));
}
/**
* @title Compare reference with null
*/
public void testB4() {
T_if_nez_4 t = new T_if_nez_4();
assertEquals(1234, t.run(null));
}
/**
* @constraint A23
* @title number of registers
*/
public void testVFE1() {
try {
Class.forName("dot.junit.opcodes.if_nez.d.T_if_nez_5");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint B1
* @title types of arguments - double
*/
public void testVFE2() {
try {
Class.forName("dot.junit.opcodes.if_nez.d.T_if_nez_6");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint B1
* @title types of arguments - long
*/
public void testVFE3() {
try {
Class.forName("dot.junit.opcodes.if_nez.d.T_if_nez_7");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint A6
* @title branch target shall be inside the method
*/
public void testVFE5() {
try {
Class.forName("dot.junit.opcodes.if_nez.d.T_if_nez_9");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint A6
* @title branch target shall not be "inside" instruction
*/
public void testVFE6() {
try {
Class.forName("dot.junit.opcodes.if_nez.d.T_if_nez_10");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint n/a
* @title branch must not be 0
*/
public void testVFE7() {
try {
Class.forName("dot.junit.opcodes.if_nez.d.T_if_nez_11");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
}
