package dxc.junit.opcodes.aload_1;
import dxc.junit.DxTestCase;
import dxc.junit.DxUtil;
import dxc.junit.opcodes.aload_1.jm.T_aload_1_1;
import dxc.junit.opcodes.aload_1.jm.T_aload_1_6;
public class Test_aload_1 extends DxTestCase {
/**
* @title value is pushed onto the operand stack
*/
public void testN1() {
assertEquals("hello", T_aload_1_1.run());
}
/**
* @title equality of aload_<n> and aload <n>
*/
public void testN2() {
assertTrue(T_aload_1_6.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.aload_1.jm.T_aload_1_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.aload_1.jm.T_aload_1_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.aload_1.jm.T_aload_1_4");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.2.1
* @title types of argument - int
*/
public void testVFE4() {
try {
Class.forName("dxc.junit.opcodes.aload_1.jm.T_aload_1_5");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.2.5
* @title stack size
*/
public void testVFE5() {
try {
Class.forName("dxc.junit.opcodes.aload_1.jm.T_aload_1_7");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.2.21
* @title returnAddress may not be loaded from
* local variable
*/
public void testVFE6() {
try {
Class.forName("dxc.junit.opcodes.aload_1.jm.T_aload_1_8");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
}
没有合适的资源?快使用搜索试试~ 我知道了~
tEST_ALOAD_1.RAR_The Test
共1个文件
java:1个
1.该资源内容由用户上传,如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
版权申诉
0 下载量 63 浏览量
2022-09-24
19:39:59
上传
评论
收藏 625B RAR 举报
温馨提示
title value is pushed onto the operand stack.
资源推荐
资源详情
资源评论
收起资源包目录
tEST_ALOAD_1.RAR.rar (1个子文件)
Test_aload_1.java 3KB
共 1 条
- 1
资源评论
小波思基
- 粉丝: 72
- 资源: 1万+
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功