Package | Description |
---|---|
gov.nasa.jpf.jvm | |
gov.nasa.jpf.jvm.bytecode | |
gov.nasa.jpf.vm |
Modifier and Type | Method and Description |
---|---|
abstract Instruction |
JVMInstructionFactory.executenative(NativeMethodInfo mi) |
void |
JVMCodeBuilder.executenative(NativeMethodInfo mi) |
protected void |
JVMClassInfo.setNativeCallCode(NativeMethodInfo miNative) |
Constructor and Description |
---|
JVMNativeStackFrame(NativeMethodInfo callee) |
Modifier and Type | Field and Description |
---|---|
protected NativeMethodInfo |
EXECUTENATIVE.executedMethod |
Modifier and Type | Method and Description |
---|---|
Instruction |
InstructionFactory.executenative(NativeMethodInfo mi) |
void |
EXECUTENATIVE.setExecutedMethod(NativeMethodInfo mi) |
Constructor and Description |
---|
EXECUTENATIVE(NativeMethodInfo mi) |
Modifier and Type | Method and Description |
---|---|
protected void |
ClassInfo.setNativeCallCode(NativeMethodInfo miNative) |
Constructor and Description |
---|
NativeStackFrame(NativeMethodInfo mi) |