gov.nasa.jpf

Class State

java.lang.Object

gov.nasa.jpf.State

public class State
extends java.lang.Object

abstraction of JPF execution state that can be queried and stored by listeners

Constructor Summary

Constructors

Constructor and Description
State(boolean isNew, boolean hasSuccessor, SearchState searchState, RestorableVMState vmState)

Method Summary

Modifier and Type	Method and Description
SearchState	getSearchState()
RestorableVMState	getVMState()
boolean	hasSuccessor()
boolean	isNew()
void	restore()

Methods inherited from class java.lang.Object

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

Constructor Detail

State

public State(boolean isNew,
             boolean hasSuccessor,
             SearchState searchState,
             RestorableVMState vmState)

Method Detail

isNew

public boolean isNew()

getSearchState

public SearchState getSearchState()

getVMState

public RestorableVMState getVMState()

hasSuccessor

public boolean hasSuccessor()

restore

public void restore()