Uses of Class
gov.nasa.jpf.vm.NativeMethodInfo

Packages that use NativeMethodInfo

Package	Description
gov.nasa.jpf.jvm
gov.nasa.jpf.jvm.bytecode
gov.nasa.jpf.vm

Uses of NativeMethodInfo in gov.nasa.jpf.jvm

Methods in gov.nasa.jpf.jvm with parameters of type NativeMethodInfo

Modifier and Type	Method and Description
abstract Instruction	JVMInstructionFactory.executenative(NativeMethodInfo mi)
void	JVMCodeBuilder.executenative(NativeMethodInfo mi)
protected void	JVMClassInfo.setNativeCallCode(NativeMethodInfo miNative)

Constructors in gov.nasa.jpf.jvm with parameters of type NativeMethodInfo

Constructor and Description
JVMNativeStackFrame(NativeMethodInfo callee)

Uses of NativeMethodInfo in gov.nasa.jpf.jvm.bytecode

Fields in gov.nasa.jpf.jvm.bytecode declared as NativeMethodInfo

Modifier and Type	Field and Description
protected NativeMethodInfo	EXECUTENATIVE.executedMethod

Methods in gov.nasa.jpf.jvm.bytecode with parameters of type NativeMethodInfo

Modifier and Type	Method and Description
Instruction	InstructionFactory.executenative(NativeMethodInfo mi)
void	EXECUTENATIVE.setExecutedMethod(NativeMethodInfo mi)

Constructors in gov.nasa.jpf.jvm.bytecode with parameters of type NativeMethodInfo

Constructor and Description
EXECUTENATIVE(NativeMethodInfo mi)

Uses of NativeMethodInfo in gov.nasa.jpf.vm

Methods in gov.nasa.jpf.vm with parameters of type NativeMethodInfo

Modifier and Type	Method and Description
protected void	ClassInfo.setNativeCallCode(NativeMethodInfo miNative)

Constructors in gov.nasa.jpf.vm with parameters of type NativeMethodInfo

Constructor and Description
NativeStackFrame(NativeMethodInfo mi)