Package | Description |
---|---|
gov.nasa.jpf | |
gov.nasa.jpf.search | |
gov.nasa.jpf.vm |
Constructor and Description |
---|
Error(int id,
Property prop,
Path p,
ThreadList l) |
Modifier and Type | Method and Description |
---|---|
protected void |
Search.error(Property property,
Path path,
ThreadList threadList) |
Modifier and Type | Field and Description |
---|---|
ThreadList |
KernelState.threads
The list of the threads
|
Modifier and Type | Method and Description |
---|---|
ThreadList |
KernelState.getThreadList() |
ThreadList |
VM.getThreadList() |
Modifier and Type | Method and Description |
---|---|
Memento<ThreadList> |
ThreadList.getMemento() |
Memento<ThreadList> |
ThreadList.getMemento(MementoFactory factory) |
Memento<ThreadList> |
MementoFactory.getMemento(ThreadList tlist) |
Memento<ThreadList> |
DefaultMementoRestorer.getMemento(ThreadList tlist) |
Modifier and Type | Method and Description |
---|---|
Memento<ThreadList> |
MementoFactory.getMemento(ThreadList tlist) |
Memento<ThreadList> |
DefaultMementoRestorer.getMemento(ThreadList tlist) |