Package | Description |
---|---|
gov.nasa.jpf.jvm | |
gov.nasa.jpf.jvm.bytecode |
Modifier and Type | Field and Description |
---|---|
protected static JVMInstructionFactory |
JVMCodeBuilder.insnFactory |
protected JVMInstructionFactory |
DefaultJVMClassFactory.jvmInsnFactory |
protected static JVMInstructionFactory |
JVMInstructionFactory.singleton |
Modifier and Type | Method and Description |
---|---|
static JVMInstructionFactory |
JVMInstructionFactory.getFactory() |
JVMInstructionFactory |
DefaultJVMClassFactory.getJVMInstructionFactory() |
JVMInstructionFactory |
JVMClassFactory.getJVMInstructionFactory() |
Constructor and Description |
---|
DefaultJVMClassFactory(JVMInstructionFactory jvmInsnFactory) |
JVMCodeBuilder(JVMInstructionFactory ifact) |
JVMCodeBuilder(JVMInstructionFactory insnFactory,
ClassFile classFile,
MethodInfo targetMethod) |
Modifier and Type | Class and Description |
---|---|
class |
InstructionFactory
this is the new JVMInstructionFactory
|