Uses of Interface
gov.nasa.jpf.vm.ClassFactory

Packages that use ClassFactory

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

Uses of ClassFactory in gov.nasa.jpf.jvm

Subinterfaces of ClassFactory in gov.nasa.jpf.jvm

Modifier and Type	Interface and Description
interface	JVMClassFactory a JVM specific ClassFactory

Classes in gov.nasa.jpf.jvm that implement ClassFactory

Modifier and Type	Class and Description
class	DefaultJVMClassFactory default implementation of a JVM specific ClassFactory

Uses of ClassFactory in gov.nasa.jpf.vm

Methods in gov.nasa.jpf.vm that return ClassFactory

Modifier and Type	Method and Description
static ClassFactory	ClassLoaderInfo.getClassFactory()