gov.nasa.jpf.vm

Interface Restorable<T>

All Known Implementing Classes:

ClassLoaderInfo, ClassLoaderList, ClassPath, KernelState, SystemClassLoaderInfo, ThreadInfo, ThreadList

public interface Restorable<T>

generic interface of objects that can provide state storage/restore capabilities

Method Summary

Methods

Modifier and Type	Method and Description
Memento<T>	getMemento(MementoFactory factory)

Method Detail

getMemento

Memento<T> getMemento(MementoFactory factory)