gov.nasa.jpf.vm

Interface StateRestorer<Saved>

All Known Implementing Classes:

AbstractRestorer, DefaultMementoRestorer, MementoRestorer

public interface StateRestorer<Saved>

Method Summary

Modifier and Type	Method and Description
void	attach(VM vm)
Saved	getRestorableData() get saved version of current KernelState.
void	restore(Saved data) restore from saved KernelState.

Method Detail

attach

void attach(VM vm)

getRestorableData

Saved getRestorableData()

get saved version of current KernelState.

restore

void restore(Saved data)

restore from saved KernelState.