gov.nasa.jpf.vm

Class AbstractRestorer<Saved>

java.lang.Object

gov.nasa.jpf.vm.AbstractRestorer<Saved>

All Implemented Interfaces:

KernelState.ChangeListener, StateRestorer<Saved>

Direct Known Subclasses:

MementoRestorer

public abstract class AbstractRestorer<Saved>
extends java.lang.Object
implements StateRestorer<Saved>, KernelState.ChangeListener

Field Summary

Fields

Modifier and Type	Field and Description
protected Saved	cached
protected KernelState	ks

Constructor Summary

Constructors

Constructor and Description
AbstractRestorer()

Method Summary

Modifier and Type	Method and Description
void	attach(VM vm)
protected abstract Saved	computeRestorableData()
protected abstract void	doRestore(Saved data)
Saved	getRestorableData() get saved version of current KernelState.
void	kernelStateChanged(KernelState same)
void	restore(Saved data) restore from saved KernelState.

Methods inherited from class java.lang.Object

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

Field Detail

cached

protected Saved cached

ks

protected KernelState ks

Constructor Detail

AbstractRestorer

public AbstractRestorer()

Method Detail

attach

public void attach(VM vm)

Specified by:

attach in interface StateRestorer<Saved>

getRestorableData

public Saved getRestorableData()

Description copied from interface: StateRestorer

get saved version of current KernelState.

Specified by:

getRestorableData in interface StateRestorer<Saved>

restore

public void restore(Saved data)

Description copied from interface: StateRestorer

restore from saved KernelState.

Specified by:

restore in interface StateRestorer<Saved>

kernelStateChanged

public void kernelStateChanged(KernelState same)

Specified by:

kernelStateChanged in interface KernelState.ChangeListener

computeRestorableData

protected abstract Saved computeRestorableData()

doRestore

protected abstract void doRestore(Saved data)