Uses of Class
gov.nasa.jpf.jvm.JVMInstructionFactory

Packages that use JVMInstructionFactory

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

Uses of JVMInstructionFactory in gov.nasa.jpf.jvm

Fields in gov.nasa.jpf.jvm declared as JVMInstructionFactory

Modifier and Type	Field and Description
protected static JVMInstructionFactory	JVMCodeBuilder.insnFactory
protected JVMInstructionFactory	DefaultJVMClassFactory.jvmInsnFactory
protected static JVMInstructionFactory	JVMInstructionFactory.singleton

Methods in gov.nasa.jpf.jvm that return JVMInstructionFactory

Modifier and Type	Method and Description
static JVMInstructionFactory	JVMInstructionFactory.getFactory()
JVMInstructionFactory	DefaultJVMClassFactory.getJVMInstructionFactory()
JVMInstructionFactory	JVMClassFactory.getJVMInstructionFactory()

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

Constructor and Description
DefaultJVMClassFactory(JVMInstructionFactory jvmInsnFactory)
JVMCodeBuilder(JVMInstructionFactory ifact)
JVMCodeBuilder(JVMInstructionFactory insnFactory, ClassFile classFile, MethodInfo targetMethod)

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

Subclasses of JVMInstructionFactory in gov.nasa.jpf.jvm.bytecode

Modifier and Type	Class and Description
class	InstructionFactory this is the new JVMInstructionFactory