Uses of Class
gov.nasa.jpf.vm.Path

Packages that use Path

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

Uses of Path in gov.nasa.jpf

Methods in gov.nasa.jpf that return Path

Modifier and Type	Method and Description
Path	Error.getPath()

Constructors in gov.nasa.jpf with parameters of type Path

Constructor and Description
Error(int id, Property prop, Path p, ThreadList l)

Uses of Path in gov.nasa.jpf.report

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

Modifier and Type	Method and Description
Path	Reporter.getPath()

Uses of Path in gov.nasa.jpf.search

Methods in gov.nasa.jpf.search with parameters of type Path

Modifier and Type	Method and Description
protected void	Search.error(Property property, Path path, ThreadList threadList)

Uses of Path in gov.nasa.jpf.vm

Fields in gov.nasa.jpf.vm declared as Path

Modifier and Type	Field and Description
protected Path	VM.path

Methods in gov.nasa.jpf.vm that return 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.