gov.nasa.jpf.vm

Class RestorableVMState

java.lang.Object

gov.nasa.jpf.vm.RestorableVMState

public class RestorableVMState
extends java.lang.Object

NOTE - making VMStates fully restorable is currently very expensive and should only be done on a selective basis

Method Summary

Modifier and Type	Method and Description
Backtracker.RestorableState	getBkState()
Transition	getLastTransition()
Path	getPath()
int	getThread()

Methods inherited from class java.lang.Object

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

Method Detail

getBkState

public Backtracker.RestorableState getBkState()

getLastTransition

public Transition getLastTransition()

getPath

public Path getPath()

getThread

public int getThread()