Package | Description |
---|---|
gov.nasa.jpf.jvm | |
gov.nasa.jpf.vm |
Modifier and Type | Interface and Description |
---|---|
interface |
JVMClassFactory
a JVM specific ClassFactory
|
Modifier and Type | Class and Description |
---|---|
class |
DefaultJVMClassFactory
default implementation of a JVM specific ClassFactory
|
Modifier and Type | Method and Description |
---|---|
static ClassFactory |
ClassLoaderInfo.getClassFactory() |