gov.nasa.jpf.vm

Class Path

java.lang.Object

gov.nasa.jpf.vm.Path

All Implemented Interfaces:

Printable, java.lang.Cloneable, java.lang.Iterable<Transition>

public class Path
extends java.lang.Object
implements Printable, java.lang.Iterable<Transition>, java.lang.Cloneable

Path represents the data structure in which a execution trace is recorded.

Constructor Summary

Constructors

Constructor and Description
Path(java.lang.String app)

Method Summary

Modifier and Type	Method and Description
void	add(Transition t)
Path	clone()
java.util.Iterator<Transition>	descendingIterator()
Transition	get(int pos)
java.lang.String	getApplication()
Transition	getLast()
boolean	hasOutput()
boolean	isEmpty()
java.util.Iterator<Transition>	iterator()
void	printOn(java.io.PrintWriter pw)
void	printOutputOn(java.io.PrintWriter pw)
void	removeLast()
int	size()

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

Path

public Path(java.lang.String app)

Method Detail

clone

public Path clone()

Overrides:

clone in class java.lang.Object

getApplication

public java.lang.String getApplication()

getLast

public Transition getLast()

add

public void add(Transition t)

get

public Transition get(int pos)

isEmpty

public boolean isEmpty()

size

public int size()

hasOutput

public boolean hasOutput()

printOutputOn

public void printOutputOn(java.io.PrintWriter pw)

printOn

public void printOn(java.io.PrintWriter pw)

Specified by:

printOn in interface Printable

removeLast

public void removeLast()

iterator

public java.util.Iterator<Transition> iterator()

Specified by:

iterator in interface java.lang.Iterable<Transition>

descendingIterator

public java.util.Iterator<Transition> descendingIterator()