本文整理汇总了Java中gov.nasa.jpf.jvm.bytecode.INVOKEVIRTUAL类的典型用法代码示例。如果您正苦于以下问题：Java INVOKEVIRTUAL类的具体用法？Java INVOKEVIRTUAL怎么用？Java INVOKEVIRTUAL使用的例子？那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。
INVOKEVIRTUAL类属于gov.nasa.jpf.jvm.bytecode包，在下文中一共展示了INVOKEVIRTUAL类的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: handleInstructionInvokesHandleInvokeInstruction
import gov.nasa.jpf.jvm.bytecode.INVOKEVIRTUAL; //导入依赖的package包/类
@Test
public void handleInstructionInvokesHandleInvokeInstruction() {
final Counter invocationCounter = new Counter();
TestFailedProperty tfp = new TestFailedProperty() {
@Override
protected void handleInvokeInstruction(JVM vm,
InvokeInstruction insn) {
invocationCounter.increment();
}
};
tfp.handleInstruction(null, new INVOKEVIRTUAL());
assertThat("handleInvokeInstruction() invoked",
invocationCounter.getValue(), equalTo(1));
}