gov.nasa.jpf.vm

Interface Backtracker

All Known Implementing Classes:

DefaultBacktracker

public interface Backtracker

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	Backtracker.RestorableState

Method Summary

Modifier and Type	Method and Description
void	attach(VM vm)
boolean	backtrack()
Backtracker.RestorableState	getRestorableState()
void	pushKernelState()
void	pushSystemState()
void	restoreState(Backtracker.RestorableState bs)

Method Detail

attach

void attach(VM vm)

backtrack

boolean backtrack()

pushSystemState

void pushSystemState()

pushKernelState

void pushKernelState()

getRestorableState

Backtracker.RestorableState getRestorableState()

restoreState

void restoreState(Backtracker.RestorableState bs)