Package | Description |
---|---|
gov.nasa.jpf.jvm | |
gov.nasa.jpf.vm |
Modifier and Type | Class and Description |
---|---|
class |
DirClassFileContainer |
class |
JarClassFileContainer
a ClassFileContainer that loads classes from jar files
|
class |
JVMClassFileContainer
ClassFileContainer that holds Java classfiles
|
Modifier and Type | Method and Description |
---|---|
ClassFileContainer |
DefaultJVMClassFactory.createClassFileContainer(String spec) |
Modifier and Type | Field and Description |
---|---|
protected ClassFileContainer |
ClassInfo.container
from where the corresponding classfile was loaded (if this is not a builtin)
|
ClassFileContainer |
ClassFileMatch.container |
Modifier and Type | Field and Description |
---|---|
protected ArrayList<ClassFileContainer> |
ClassPath.pathElements |
Modifier and Type | Method and Description |
---|---|
ClassFileContainer |
ClassFactory.createClassFileContainer(String spec)
return a ClassFileContainer for the given container URL (e.g.
|
ClassFileContainer |
ClassInfo.getContainer() |
Modifier and Type | Method and Description |
---|---|
void |
ClassInfo.setContainer(ClassFileContainer c) |