gov.nasa.jpf.jvm

Interface JVMClassFactory

All Superinterfaces:

ClassFactory

All Known Implementing Classes:

DefaultJVMClassFactory

public interface JVMClassFactory
extends ClassFactory

a JVM specific ClassFactory

Method Summary

Methods

Modifier and Type	Method and Description
JVMInstructionFactory	getJVMInstructionFactory()

Methods inherited from interface gov.nasa.jpf.vm.ClassFactory

createClassFileContainer, createClassInfo, createClassParser

Method Detail

getJVMInstructionFactory

JVMInstructionFactory getJVMInstructionFactory()