Uses of Class
gov.nasa.jpf.vm.ClassFileContainer

Packages that use ClassFileContainer

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

Uses of ClassFileContainer in gov.nasa.jpf.jvm

Subclasses of ClassFileContainer in gov.nasa.jpf.jvm

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

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

Modifier and Type	Method and Description
ClassFileContainer	DefaultJVMClassFactory.createClassFileContainer(String spec)

Uses of ClassFileContainer in gov.nasa.jpf.vm

Fields in gov.nasa.jpf.vm declared as ClassFileContainer

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

Fields in gov.nasa.jpf.vm with type parameters of type ClassFileContainer

Modifier and Type	Field and Description
protected ArrayList<ClassFileContainer>	ClassPath.pathElements

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

Modifier and Type	Method and Description
ClassFileContainer	ClassFactory.createClassFileContainer(String spec) return a ClassFileContainer for the given container URL (e.g.
ClassFileContainer	ClassInfo.getContainer()

Methods in gov.nasa.jpf.vm with parameters of type ClassFileContainer

Modifier and Type	Method and Description
void	ClassInfo.setContainer(ClassFileContainer c)