| gov.nasa.jpf.VM
All known Subclasses: gov.nasa.jpf.jvm.JVM,
| VM | | public interface VM (Code) | | abstraction for state producers (VMs).
<2do> - seems to be superfluous now that we target only JVMs, and there is a suitable
base
|
| backtrack | | boolean backtrack()(Code) | | |
| forward | | boolean forward()(Code) | | |
| getAbstractionNonDeterministicThreadCount | | int getAbstractionNonDeterministicThreadCount()(Code) | | |
| getAliveThreadCount | | int getAliveThreadCount()(Code) | | |
| getPathLength | | int getPathLength()(Code) | | |
| getRunnableThreadCount | | int getRunnableThreadCount()(Code) | | |
| getState | | VMState getState()(Code) | | return a object describing the current execution state of the VM. Note
that history information for this state has to be explicitly requested
by means of 'makeRestorable()' and 'makeForwardRestorable()' calls, because
of the involved costs
|
| getStateId | | int getStateId()(Code) | | |
| initialize | | boolean initialize()(Code) | | |
| isBoringState | | boolean isBoringState()(Code) | | |
| isDeadlocked | | boolean isDeadlocked()(Code) | | |
| isEndState | | boolean isEndState()(Code) | | |
| isInterestingState | | boolean isInterestingState()(Code) | | |
| isNewState | | boolean isNewState()(Code) | | |
| printStatus | | void printStatus()(Code) | | |
|
|