Package | Description |
---|---|
gov.nasa.jpf | |
gov.nasa.jpf.report | |
gov.nasa.jpf.search | |
gov.nasa.jpf.vm |
Modifier and Type | Method and Description |
---|---|
Path |
Error.getPath() |
Constructor and Description |
---|
Error(int id,
Property prop,
Path p,
ThreadList l) |
Modifier and Type | Method and Description |
---|---|
Path |
Reporter.getPath() |
Modifier and Type | Method and Description |
---|---|
protected void |
Search.error(Property property,
Path path,
ThreadList threadList) |
Modifier and Type | Field and Description |
---|---|
protected Path |
VM.path |
Modifier and Type | Method and Description |
---|---|
Path |
Path.clone() |
Path |
VM.getClonedPath()
use that one if you have to store the path for subsequent use
NOTE: without a prior call to updatePath(), this does NOT contain the
ongoing transition.
|
Path |
RestorableVMState.getPath() |
Path |
VM.getPath()
NOTE: only use this locally, since the path is getting modified by the VM
The path only contains all states when queried from a stateAdvanced() notification.
|