Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Field and Description |
---|---|
ClassLoaderList |
KernelState.classLoaders
the list of the class loaders
|
Modifier and Type | Method and Description |
---|---|
ClassLoaderList |
KernelState.getClassLoaderList() |
ClassLoaderList |
VM.getClassLoaderList() |
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) |
Modifier and Type | Method and Description |
---|---|
Memento<ClassLoaderList> |
MementoFactory.getMemento(ClassLoaderList cllist) |
Memento<ClassLoaderList> |
DefaultMementoRestorer.getMemento(ClassLoaderList cllist) |