Uses of Class
gov.nasa.jpf.Error

Packages that use Error

Package	Description
gov.nasa.jpf
gov.nasa.jpf.report
gov.nasa.jpf.search

Uses of Error in gov.nasa.jpf

Methods in gov.nasa.jpf that return types with arguments of type Error

Modifier and Type	Method and Description
List<Error>	JPF.getSearchErrors()

Uses of Error in gov.nasa.jpf.report

Methods in gov.nasa.jpf.report that return Error

Modifier and Type	Method and Description
Error	Reporter.getCurrentError()

Methods in gov.nasa.jpf.report that return types with arguments of type Error

Modifier and Type	Method and Description
List<Error>	Reporter.getErrors()

Uses of Error in gov.nasa.jpf.search

Fields in gov.nasa.jpf.search declared as Error

Modifier and Type	Field and Description
protected Error	Search.currentError error encountered during last transition, null otherwise

Fields in gov.nasa.jpf.search with type parameters of type Error

Modifier and Type	Field and Description
protected ArrayList<Error>	Search.errors

Methods in gov.nasa.jpf.search that return Error

Modifier and Type	Method and Description
Error	Search.getCurrentError()
Error	Search.getLastError()

Methods in gov.nasa.jpf.search that return types with arguments of type Error

Modifier and Type	Method and Description
List<Error>	Search.getErrors()