Uses of Class
nz.ac.waikato.modeljunit.Transition

Packages that use Transition

nz.ac.waikato.modeljunit	Overview
nz.ac.waikato.modeljunit.coverage	Model Coverage Metrics
nz.ac.waikato.modeljunit.gui.visualisaton
nz.ac.waikato.modeljunit.timing

Uses of Transition in nz.ac.waikato.modeljunit

Fields in nz.ac.waikato.modeljunit with type parameters of type Transition

protected java.util.ArrayList<Transition>

Model.fsmSequence_ Current test sequence TODO: decide whether this needs to be builtin or a listener.

Methods in nz.ac.waikato.modeljunit that return Transition

Transition	TransitionPair.getIncoming()
Transition	TransitionPair.getOutgoing()

Methods in nz.ac.waikato.modeljunit that return types with arguments of type Transition

java.util.List<Transition>

TestFailureException.getSequence()

Methods in nz.ac.waikato.modeljunit with parameters of type Transition

protected void	ModelTestCase.continueBuildGraph(Transition tr, int action) Deprecated. Records a transition in the graph, if it is not already there.
void	GraphListener.doneTransition(int action, Transition tr) Records a transition in the graph, if it is not already there.
void	ModelListener.doneTransition(int action, Transition tr) The Model calls this after taking each transition.
void	AbstractListener.doneTransition(int action, Transition tr)
void	VerboseListener.doneTransition(int action, Transition tr)
void	Model.notifyDoneTransition(int action, Transition tr) Sends a doneTransition event to all listeners

Method parameters in nz.ac.waikato.modeljunit with type arguments of type Transition

void	TestFailureException.setSequence(java.util.List<Transition> sequence)

Constructors in nz.ac.waikato.modeljunit with parameters of type Transition

TransitionPair(Transition in, Transition out)

Uses of Transition in nz.ac.waikato.modeljunit.coverage

Methods in nz.ac.waikato.modeljunit.coverage that return Transition

static Transition

AbstractCoverage.transition(Edge e, InspectableGraph model) A convenience method for converting a graph edge into a Transition.

Methods in nz.ac.waikato.modeljunit.coverage with parameters of type Transition

void	StateCoverage.doneTransition(int action, Transition tr) Increments the count of the target state of the transition.
void	TransitionPairCoverage.doneTransition(int action, Transition tr)
void	ActionCoverage.doneTransition(int action, Transition tr)
void	TransitionCoverage.doneTransition(int action, Transition tr)
void	CoverageHistory.doneTransition(int action, Transition tr) Delegates to getMetric().doneTransition(...), and records the resulting coverage.

Uses of Transition in nz.ac.waikato.modeljunit.gui.visualisaton

Methods in nz.ac.waikato.modeljunit.gui.visualisaton that return Transition

Transition

EdgeInfo.getTransition()

Methods in nz.ac.waikato.modeljunit.gui.visualisaton with parameters of type Transition

void	VisualisationListener.doneTransition(int action, Transition tr)
EdgeInfo	JUNGHelper.getEdge(Transition tr) This method will return an EdgeInfo object given a transition.
void	JUNGHelper.setEdgeDisplayed(Transition tr, boolean displayed) This will set the edge transition display value.
void	JUNGHelper.visitedEdge(Transition trans, boolean failed, java.lang.String failedMsg) This lets the visualisation panel know about any edges that have been visited and marks them as visited.

Constructors in nz.ac.waikato.modeljunit.gui.visualisaton with parameters of type Transition

EdgeInfo(Transition trans, VertexInfo src, VertexInfo dest)

EdgeInfo(Transition trans, VertexInfo src, VertexInfo dest, java.lang.Boolean displayed, java.lang.Boolean visited)

Uses of Transition in nz.ac.waikato.modeljunit.timing

Subclasses of Transition in nz.ac.waikato.modeljunit.timing

class

TimedTransition