package dxc.junit.opcodes.if_acmpeq;
import dxc.junit.DxTestCase;
import dxc.junit.DxUtil;
import dxc.junit.opcodes.if_acmpeq.jm.T_if_acmpeq_1;
public class Test_if_acmpeq extends DxTestCase {
/**
* @title normal test
*/
public void testN1() {
T_if_acmpeq_1 t = new T_if_acmpeq_1();
String a = "a";
String b = "b";
/*
* Compare with 1234 to check that in case of failed comparison
* execution proceeds at the address following if_acmpeq instruction
*/
assertEquals(1234, t.run(a, b));
}
/**
* @title normal test
*/
public void testN2() {
T_if_acmpeq_1 t = new T_if_acmpeq_1();
String a = "a";
assertEquals(1, t.run(a, a));
}
/**
* @title Compare with null
*/
public void testB1() {
T_if_acmpeq_1 t = new T_if_acmpeq_1();
String a = "a";
assertEquals(1234, t.run(null, a));
}
/**
* @constraint 4.8.2.1
* @title number of arguments
*/
public void testVFE1() {
try {
Class.forName("dxc.junit.opcodes.if_acmpeq.jm.T_if_acmpeq_2");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.2.1
* @title types of arguments - reference, double
*/
public void testVFE2() {
try {
Class.forName("dxc.junit.opcodes.if_acmpeq.jm.T_if_acmpeq_3");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.2.1
* @title types of arguments - reference,
* integer
*/
public void testVFE3() {
try {
Class.forName("dxc.junit.opcodes.if_acmpeq.jm.T_if_acmpeq_4");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.1.7
* @title branch target shall be inside the
* method
*/
public void testVFE4() {
try {
Class.forName("dxc.junit.opcodes.if_acmpeq.jm.T_if_acmpeq_5");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.1.7
* @title branch target shall not be "inside" wide
* instruction
*/
public void testVFE5() {
try {
Class.forName("dxc.junit.opcodes.if_acmpeq.jm.T_if_acmpeq_6");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
}
