gov.nasa.jpf.vm

Class DefaultMementoRestorer

java.lang.Object

gov.nasa.jpf.vm.AbstractRestorer<Memento<KernelState>>

gov.nasa.jpf.vm.MementoRestorer

gov.nasa.jpf.vm.DefaultMementoRestorer

All Implemented Interfaces:

KernelState.ChangeListener, MementoFactory, StateRestorer<Memento<KernelState>>

public class DefaultMementoRestorer
extends MementoRestorer

a MementoRestorer that uses the default mementos

Field Summary

Fields inherited from class gov.nasa.jpf.vm.AbstractRestorer

cached, ks

Constructor Summary

Constructors

Constructor and Description
DefaultMementoRestorer()

Method Summary

Modifier and Type	Method and Description
Memento<ClassLoaderInfo>	getMemento(ClassLoaderInfo cl)
Memento<ClassLoaderList>	getMemento(ClassLoaderList cllist)
Memento<ClassPath>	getMemento(ClassPath cp)
Memento<Heap>	getMemento(Heap heap)
Memento<KernelState>	getMemento(KernelState ks)
Memento<Statics>	getMemento(Statics statics)
Memento<ThreadInfo>	getMemento(ThreadInfo ti)
Memento<ThreadList>	getMemento(ThreadList tlist)

Methods inherited from class gov.nasa.jpf.vm.MementoRestorer

computeRestorableData, doRestore

Methods inherited from class gov.nasa.jpf.vm.AbstractRestorer

attach, getRestorableData, kernelStateChanged, restore

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultMementoRestorer

public DefaultMementoRestorer()

Method Detail

getMemento

public Memento<KernelState> getMemento(KernelState ks)

getMemento

public Memento<ThreadList> getMemento(ThreadList tlist)

getMemento

public Memento<ThreadInfo> getMemento(ThreadInfo ti)

getMemento

public Memento<Heap> getMemento(Heap heap)

getMemento

public Memento<Statics> getMemento(Statics statics)

getMemento

public Memento<ClassLoaderList> getMemento(ClassLoaderList cllist)

getMemento

public Memento<ClassLoaderInfo> getMemento(ClassLoaderInfo cl)

getMemento

public Memento<ClassPath> getMemento(ClassPath cp)