public void testVFE5() {
try {
Class.forName("dxc.junit.opcodes.lshr.jm.T_lshr_6");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
public void testVFE1() {
try {
Class.forName("dxc.junit.opcodes.if_acmpne.jm.T_if_acmpne_2");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
public void testVFE11() {
// @uses dxc.junit.opcodes.invokeinterface.jm.ITest
try {
Class.forName("dxc.junit.opcodes.invokeinterface.jm.T_invokeinterface_20");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.2.14
* @title assignment incompatible references
*/
public void testVFE6() {
// @uses dxc.junit.opcodes.areturn.jm.TInterface
// @uses dxc.junit.opcodes.areturn.jm.TSuper
// @uses dxc.junit.opcodes.areturn.jm.TChild
try {
Class.forName("dxc.junit.opcodes.areturn.jm.T_areturn_14");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.2.14
* @title assignment incompatible references
*/
@SuppressWarnings("cast")
public void testVFE7() {
// @uses dxc.junit.opcodes.areturn.jm.TSuper2
// @uses dxc.junit.opcodes.areturn.Runner
// @uses dxc.junit.opcodes.areturn.RunnerGenerator
try {
RunnerGenerator rg =
(RunnerGenerator)
Class.forName("dxc.junit.opcodes.areturn.jm.T_areturn_15").newInstance();
Runner r = rg.run();
assertFalse(r instanceof Runner);
assertFalse(Runner.class.isAssignableFrom(r.getClass()));
// only upon invocation of a concrete method,
// a java.lang.IncompatibleClassChangeError is thrown
r.doit();
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}