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

Packages that use ClassPath

Package	Description
gov.nasa.jpf.vm

Uses of ClassPath in gov.nasa.jpf.vm

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

Modifier and Type	Field and Description
protected ClassPath	ClassLoaderInfo.cp

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

Modifier and Type	Method and Description
protected ClassPath	SystemClassLoaderInfo.createSystemClassPath(VM vm, int appId)
ClassPath	ClassLoaderInfo.getClassPath()

Methods in gov.nasa.jpf.vm that return types with arguments of type ClassPath

Modifier and Type	Method and Description
Memento<ClassPath>	ClassPath.getMemento()
Memento<ClassPath>	MementoFactory.getMemento(ClassPath cp)
Memento<ClassPath>	DefaultMementoRestorer.getMemento(ClassPath cp)
Memento<ClassPath>	ClassPath.getMemento(MementoFactory factory)

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

Modifier and Type	Method and Description
Memento<ClassPath>	MementoFactory.getMemento(ClassPath cp)
Memento<ClassPath>	DefaultMementoRestorer.getMemento(ClassPath cp)

Constructors in gov.nasa.jpf.vm with parameters of type ClassPath

Constructor and Description
ClassLoaderInfo(VM vm, int objRef, ClassPath cp, ClassLoaderInfo parent) for all other classloaders, which require an already instantiated ClassLoader object