package dxc.junit.opcodes.dstore_2;
import dxc.junit.DxTestCase;
import dxc.junit.DxUtil;
import dxc.junit.opcodes.dstore_2.jm.T_dstore_2_1;
import dxc.junit.opcodes.dstore_2.jm.T_dstore_2_5;
public class Test_dstore_2 extends DxTestCase {
/**
* @title value is stored
*/
public void testN1() {
assertEquals(1d, T_dstore_2_1.run());
}
/**
* @title equality of dstore_<n> and dstore <n>
*/
public void testN2() {
assertTrue(T_dstore_2_5.run());
}
/**
* @constraint 4.8.1.22
* @title index must be no greater than the value
* of max_locals-1
*/
public void testVFE1() {
try {
Class.forName("dxc.junit.opcodes.dstore_2.jm.T_dstore_2_2");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.2.1
* @title types of argument - float
*/
public void testVFE2() {
try {
Class.forName("dxc.junit.opcodes.dstore_2.jm.T_dstore_2_3");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.2.1
* @title types of argument - long
*/
public void testVFE3() {
try {
Class.forName("dxc.junit.opcodes.dstore_2.jm.T_dstore_2_4");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
}
评论0