Package | Description |
---|---|
gov.nasa.jpf | |
gov.nasa.jpf.report | |
gov.nasa.jpf.search |
Modifier and Type | Method and Description |
---|---|
List<Error> |
JPF.getSearchErrors() |
Modifier and Type | Method and Description |
---|---|
Error |
Reporter.getCurrentError() |
Modifier and Type | Method and Description |
---|---|
List<Error> |
Reporter.getErrors() |
Modifier and Type | Field and Description |
---|---|
protected Error |
Search.currentError
error encountered during last transition, null otherwise
|
Modifier and Type | Field and Description |
---|---|
protected ArrayList<Error> |
Search.errors |
Modifier and Type | Method and Description |
---|---|
Error |
Search.getCurrentError() |
Error |
Search.getLastError() |
Modifier and Type | Method and Description |
---|---|
List<Error> |
Search.getErrors() |