| gov.nasa.jpf.VMState
| VMState | | public interface VMState (Code) | | abstraction for VM state snapshots
<2do> pcm - the API of this interface suffers from the fact that
there are different requirements with varying degrees of history
information, which is very expensive to store. This might change in
the future, by means of a different state representation (linked
states with 'sparse' backtracking points at the nondeterministic
choice states -> POR, Verify)
|
| getThread | | int getThread()(Code) | | |
| isForwardRestorable | | boolean isForwardRestorable()(Code) | | did we make this partially restorable (with reduced backtracking) by
means of 'makeForwardRestorable()' when we obtained the state
|
| isRestorable | | boolean isRestorable()(Code) | | did we make this restorable (by means of a 'makeRestorable()'
call) when we obtained the state
|
| makeForwardRestorable | | void makeForwardRestorable()(Code) | | a reduced restorability that just saves the path, but does not allow
backtracking above this state
|
| makeRestorable | | void makeRestorable()(Code) | | make this state fully restorable, i.e. preserve all VM information
about its path plus the backtracking info to roll back above this state
|
|
|