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

Packages that use ClassLoaderList

Package	Description
gov.nasa.jpf.vm

Uses of ClassLoaderList in gov.nasa.jpf.vm

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

Modifier and Type	Field and Description
ClassLoaderList	KernelState.classLoaders the list of the class loaders

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

Modifier and Type	Method and Description
ClassLoaderList	KernelState.getClassLoaderList()
ClassLoaderList	VM.getClassLoaderList()

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

Modifier and Type	Method and Description
Memento<ClassLoaderList>	ClassLoaderList.getMemento()
Memento<ClassLoaderList>	MementoFactory.getMemento(ClassLoaderList cllist)
Memento<ClassLoaderList>	DefaultMementoRestorer.getMemento(ClassLoaderList cllist)
Memento<ClassLoaderList>	ClassLoaderList.getMemento(MementoFactory factory)

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

Modifier and Type	Method and Description
Memento<ClassLoaderList>	MementoFactory.getMemento(ClassLoaderList cllist)
Memento<ClassLoaderList>	DefaultMementoRestorer.getMemento(ClassLoaderList cllist)