gov.nasa.jpf.vm

Class Transition

java.lang.Object

gov.nasa.jpf.vm.Transition

All Implemented Interfaces:

java.lang.Cloneable, java.lang.Iterable<Step>

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

concrete type to store execution paths. TrailInfo corresponds to Transition, i.e. all instructions executed in the context of a vm.forward() leading into a new state

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	Transition.StepIterator

Constructor Summary

Constructors

Constructor and Description
Transition(ChoiceGenerator<?> cg, ThreadInfo ti)

Method Summary

Modifier and Type	Method and Description
java.lang.Object	clone()
java.lang.Object	getAnnotation()
ChoiceGenerator<?>	getChoiceGenerator()
ChoiceGenerator<?>[]	getChoiceGeneratorCascade()
java.lang.String	getLabel()
Step	getLastStep()
java.lang.String	getOutput()
int	getStateId()
Step	getStep(int index)
int	getStepCount()
int	getThreadIndex()
ThreadInfo	getThreadInfo()
void	incStepCount()
java.util.Iterator<Step>	iterator()
void	setAnnotation(java.lang.Object o)
void	setOutput(java.lang.String s)
void	setStateId(int id)

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

Transition

public Transition(ChoiceGenerator<?> cg,
                  ThreadInfo ti)

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class java.lang.Object

getLabel

public java.lang.String getLabel()

getStateId

public int getStateId()

setStateId

public void setStateId(int id)

setOutput

public void setOutput(java.lang.String s)

setAnnotation

public void setAnnotation(java.lang.Object o)

getAnnotation

public java.lang.Object getAnnotation()

getOutput

public java.lang.String getOutput()

getStep

public Step getStep(int index)

getLastStep

public Step getLastStep()

getStepCount

public int getStepCount()

getThreadInfo

public ThreadInfo getThreadInfo()

getThreadIndex

public int getThreadIndex()

getChoiceGenerator

public ChoiceGenerator<?> getChoiceGenerator()

getChoiceGeneratorCascade

public ChoiceGenerator<?>[] getChoiceGeneratorCascade()

incStepCount

public void incStepCount()

iterator

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

Specified by:

iterator in interface java.lang.Iterable<Step>