gov.nasa.jpf.vm

Class MementoRestorer

java.lang.Object

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

gov.nasa.jpf.vm.MementoRestorer

All Implemented Interfaces:

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

Direct Known Subclasses:

DefaultMementoRestorer

public abstract class MementoRestorer
extends AbstractRestorer<Memento<KernelState>>
implements MementoFactory

state storer/restorer that works solely on a snapshot basis

Field Summary

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

cached, ks

Constructor Summary

Constructors

Constructor and Description
MementoRestorer()

Method Summary

Modifier and Type	Method and Description
protected Memento<KernelState>	computeRestorableData()
protected void	doRestore(Memento<KernelState> data)

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

Methods inherited from interface gov.nasa.jpf.vm.MementoFactory

getMemento, getMemento, getMemento, getMemento, getMemento, getMemento, getMemento, getMemento

Constructor Detail

MementoRestorer

public MementoRestorer()

Method Detail

computeRestorableData

protected Memento<KernelState> computeRestorableData()

Specified by:

computeRestorableData in class AbstractRestorer<Memento<KernelState>>

doRestore

protected void doRestore(Memento<KernelState> data)

Specified by:

doRestore in class AbstractRestorer<Memento<KernelState>>