A B C D E F G H I J K L M N O P Q R S T U V W Z _

A

AbstractArrayIterator - Class in nz.ac.waikato.jdsl.core.ref
A class abstracting the common parts of ArrayPositionIterator and ArrayLocatorIterator.
AbstractArrayIterator(Accessor[]) - Constructor for class nz.ac.waikato.jdsl.core.ref.AbstractArrayIterator
Uses the array to store the elements that this iterator traverses.
AbstractArrayIterator(Accessor[], int) - Constructor for class nz.ac.waikato.jdsl.core.ref.AbstractArrayIterator
Traverses through the array until the first num elements have been returned.
AbstractComparator - Class in nz.ac.waikato.jdsl.core.ref
An abstract class implementing some methods of the Comparator interface.
AbstractComparator() - Constructor for class nz.ac.waikato.jdsl.core.ref.AbstractComparator
 
AbstractCoverage - Class in nz.ac.waikato.modeljunit.coverage
A partial implementation of CoverageMetric.
AbstractCoverage() - Constructor for class nz.ac.waikato.modeljunit.coverage.AbstractCoverage
This default constructor sets up the coverage_ map, sets maxCoverage=-1 (meaning unknown), and sets currCoverage_=0.
AbstractDictionary - Class in nz.ac.waikato.jdsl.core.ref
An abstraction of the Dictionary implementations that ensures the existence of a method to insert Locators back into the data structure.
AbstractDictionary() - Constructor for class nz.ac.waikato.jdsl.core.ref.AbstractDictionary
 
AbstractGraph - Class in nz.ac.waikato.jdsl.graph.ref
An implementation of many of the methods of InspectableGraph in terms of a few primitives.
AbstractGraph() - Constructor for class nz.ac.waikato.jdsl.graph.ref.AbstractGraph
 
AbstractGraph.OO_to_O_MergerIterator - Class in nz.ac.waikato.jdsl.graph.ref
 
AbstractGraph.OO_to_O_MergerIterator(ObjectIterator, ObjectIterator) - Constructor for class nz.ac.waikato.jdsl.graph.ref.AbstractGraph.OO_to_O_MergerIterator
Assumes neither iterator is null
AbstractListener - Class in nz.ac.waikato.modeljunit
An implementation of ModelListener that ignores all events.
AbstractListener() - Constructor for class nz.ac.waikato.modeljunit.AbstractListener
 
AbstractPositionalContainer - Class in nz.ac.waikato.jdsl.core.ref
An abstract positional container that others may extend if they do not wish to deal with some of the more mundane aspects of positional containers and/or if they wish to avoid implementing themselves some of the methods of container that aren't terribly pertinent to a PositionalContainer.
AbstractPositionalContainer() - Constructor for class nz.ac.waikato.jdsl.core.ref.AbstractPositionalContainer
 
AbstractTopologicalSort - Class in nz.ac.waikato.jdsl.graph.algo
This abstract class is the foundation for both types of topological sorts, that is, the standard variety where each vertex is given a unique number, and the level-numbering variety in which numbers attached to vertices are not unique.
AbstractTopologicalSort() - Constructor for class nz.ac.waikato.jdsl.graph.algo.AbstractTopologicalSort
Constructor.
accept(File) - Method in class nz.ac.waikato.modeljunit.gui.FileChooserFilter
 
Accessor - Interface in nz.ac.waikato.jdsl.core.api
All JDSL core containers provide a way to access their internal structure; Accessor is the interface that embodies this concept.
aCommonVertex(Edge, Edge) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
aCommonVertex(Edge, Edge) - Method in class nz.ac.waikato.jdsl.graph.ref.AbstractGraph
Built on endVertices(.)
aConnectingEdge(Vertex, Vertex) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
Gives an arbitrary edge from among those connecting the two specified vertices.
aConnectingEdge(Vertex, Vertex) - Method in class nz.ac.waikato.jdsl.graph.ref.AbstractGraph
Built on incidentEdges(.)
Action - Annotation Type in nz.ac.waikato.modeljunit
Indicates that the annotated method is a transition of an FSM.
action0() - Method in class nz.ac.waikato.modeljunit.examples.FSM
 
action0() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action0() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action0Guard() - Method in class nz.ac.waikato.modeljunit.examples.FSM
 
action0Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action0Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action1() - Method in class nz.ac.waikato.modeljunit.examples.FSM
 
action1() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action1() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action10() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action10() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action10Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action10Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action11() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action11() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action11Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action11Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action12() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action12() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action12Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action12Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action13() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action13() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action13Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action13Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action14() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action14() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action14Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action14Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action15() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action15() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action15Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action15Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action16() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action16() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action16Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action16Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action17() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action17() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action17Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action17Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action18() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action18() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action18Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action18Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action19() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action19() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action19Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action19Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action1Guard() - Method in class nz.ac.waikato.modeljunit.examples.FSM
 
action1Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action1Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action2() - Method in class nz.ac.waikato.modeljunit.examples.FSM
 
action2() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action2() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action20() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action20() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action20Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action20Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action2Guard() - Method in class nz.ac.waikato.modeljunit.examples.FSM
 
action2Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action2Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action3() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action3() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action3Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action3Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action4() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action4() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action4Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action4Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action5() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action5() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action5Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action5Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action6() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action6() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action6Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action6Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action7() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action7() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action7Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action7Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action8() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action8() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action8Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action8Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action9() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action9() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
action9Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
action9Guard() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
ActionCoverage - Class in nz.ac.waikato.modeljunit.coverage
Measures the number of distinct Actions that have been tested.
ActionCoverage() - Constructor for class nz.ac.waikato.modeljunit.coverage.ActionCoverage
 
actionNone() - Method in class nz.ac.waikato.modeljunit.examples.FSM
 
actionNoneGuard() - Method in class nz.ac.waikato.modeljunit.examples.FSM
 
actionPerformed(ActionEvent) - Method in class nz.ac.waikato.modeljunit.gui.PanelAnimator
 
actionPerformed(ActionEvent) - Method in class nz.ac.waikato.modeljunit.gui.PanelExecuteActions
 
actionPerformed(ActionEvent) - Method in class nz.ac.waikato.modeljunit.gui.PanelTestDesign
Including: Algorithm combobox handler Check boxes for coverage matrix Model loading button handler
actionPerformed(ActionEvent) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation
The override required by implementing the ActionPerformed class.
actions_ - Variable in class nz.ac.waikato.modeljunit.LookaheadTester
 
add(String) - Method in class nz.ac.waikato.modeljunit.examples.StringSet
 
add(String) - Method in class nz.ac.waikato.modeljunit.examples.StringSetBuggy
 
add0() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add0Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add1() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add10() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add10Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add11() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add11Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add12() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add12Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add1Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add2() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add2Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add3() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add3Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add4() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add4Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add5() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add5Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add6() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add6Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add7() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add7Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add8() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add8Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add9() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
add9Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
addActionCoverage(Integer) - Method in class nz.ac.waikato.modeljunit.gui.PanelCoverage
 
addCoverageMetric(CoverageMetric) - Static method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Add a coverage listener.
addCoverageMetric(CoverageMetric) - Method in class nz.ac.waikato.modeljunit.Tester
This is equivalent to addListener(metric), but more convenient.
addElem(int) - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
addItem(Object) - Method in class nz.ac.waikato.modeljunit.coverage.AbstractCoverage
Add a coverage item to the coverage_ map.
addListener(ModelListener) - Method in class nz.ac.waikato.modeljunit.Model
Add a listener.
addListener(String) - Method in class nz.ac.waikato.modeljunit.Model
Add one of the predefined model listeners or coverage metrics.
addListener(String) - Method in class nz.ac.waikato.modeljunit.Tester
A convenience method for adding known listeners and coverage metrics.
addListener(String, ModelListener) - Method in class nz.ac.waikato.modeljunit.Tester
Deprecated. Use addListener(listener) instead.
addListener(ModelListener) - Method in class nz.ac.waikato.modeljunit.Tester
A convenience method that adds a listener object.
addMethod(Method) - Static method in class nz.ac.waikato.modeljunit.gui.TestExeModel
 
ADDR - Variable in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
addS1() - Method in class nz.ac.waikato.modeljunit.examples.SimpleSet
 
addS1() - Method in class nz.ac.waikato.modeljunit.examples.SimpleSetWithAdaptor
 
addS1() - Method in class nz.ac.waikato.modeljunit.examples.SmartSetAdaptor
 
addS2() - Method in class nz.ac.waikato.modeljunit.examples.SimpleSet
 
addS2() - Method in class nz.ac.waikato.modeljunit.examples.SimpleSetWithAdaptor
 
addS2() - Method in class nz.ac.waikato.modeljunit.examples.SmartSetAdaptor
 
addStateCoverage(Integer) - Method in class nz.ac.waikato.modeljunit.gui.PanelCoverage
 
addTestSequence(String) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
 
addTransitionCoverage(Integer) - Method in class nz.ac.waikato.modeljunit.gui.PanelCoverage
 
addTransitionPairCoverage(Integer) - Method in class nz.ac.waikato.modeljunit.gui.PanelCoverage
 
adjacentVertices(Vertex) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
Lists all vertices adjacent to a particular vertex by any kind of edge, with repeats corresponding to parallel edges.
adjacentVertices(Vertex, int) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
Lists all vertices adjacent to a particular vertex by all edges of the types specified.
adjacentVertices(Vertex) - Method in class nz.ac.waikato.jdsl.graph.ref.AbstractGraph
Built on incidentEdges(.)
adjacentVertices(Vertex, int) - Method in class nz.ac.waikato.jdsl.graph.ref.AbstractGraph
Built on incidentEdges(.)
after(Locator) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableOrderedDictionary
Returns the Locator that is sequentially after another Locator in this Container.
after(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableSequence
The next position in the sequence.
after(Position) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
O(1) time.
after(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
O(1) time
after(Locator) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(logN) time -- may need to traverse the height of the tree to find the next note that we do not return color-locators in the leaves -- we only return key locators.
AlarmClock - Class in nz.ac.waikato.modeljunit.examples
 
AlarmClock() - Constructor for class nz.ac.waikato.modeljunit.examples.AlarmClock
 
alarmOff() - Method in class nz.ac.waikato.modeljunit.examples.AlarmClock
 
alarmOffGuard() - Method in class nz.ac.waikato.modeljunit.examples.AlarmClock
 
alarmOn() - Method in class nz.ac.waikato.modeljunit.examples.AlarmClock
 
alarmOnGuard() - Method in class nz.ac.waikato.modeljunit.examples.AlarmClock
 
alarmTimer - Variable in class nz.ac.waikato.modeljunit.examples.AlarmClock
The time that the alarm will go off.
ALGORITHM_NAME - Static variable in class nz.ac.waikato.modeljunit.gui.OptionPanelCreator
 
AlgorithmPanel - Class in nz.ac.waikato.modeljunit.gui
 
AlgorithmPanel(String, String, String) - Constructor for class nz.ac.waikato.modeljunit.gui.AlgorithmPanel
 
allowCars() - Method in class nz.ac.waikato.modeljunit.examples.TrafficLight
 
allowCarsGuard() - Method in class nz.ac.waikato.modeljunit.examples.TrafficLight
 
allowCarsTimer - Variable in class nz.ac.waikato.modeljunit.examples.TrafficLight
Timer to control the safety period where both lights are red because the lights are changing from allowing pedestrians to cross to allowing cars through
allowPedestrians() - Method in class nz.ac.waikato.modeljunit.examples.TrafficLight
 
allowPedestriansGuard() - Method in class nz.ac.waikato.modeljunit.examples.TrafficLight
Guard for the safetyPeriodEnd action.
allowPedestriansTimer - Variable in class nz.ac.waikato.modeljunit.examples.TrafficLight
Timer to control the saftey period where both lights are red because the lights are changing from allowing cars through to allowing predestrians to cross
AllRoundTester - Class in nz.ac.waikato.modeljunit
 
AllRoundTester(Model) - Constructor for class nz.ac.waikato.modeljunit.AllRoundTester
Creates a GreedyTester that will terminate each test sequence after getLoopTolerance() visits to a state.
AllRoundTester(FsmModel) - Constructor for class nz.ac.waikato.modeljunit.AllRoundTester
A convenience constructor that puts a Model wrapper around an FsmModel.
AllRoundTester(Tester) - Constructor for class nz.ac.waikato.modeljunit.AllRoundTester
Allows you to add a tester
allRoundTrips() - Method in class nz.ac.waikato.modeljunit.AllRoundTester
 
allRoundTrips(int) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Same as allRoundTrips(length), but uses a fixed seed for the random number generator.
allRoundTrips(int, Random) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Uses a greedy random walk to try and test all loops in the model.
allTransitions(Tester) - Static method in class nz.ac.waikato.modeljunit.examples.SizeExperiments
Measures how long it takes tester to satisfy all-transitions coverage.
allUsers - Variable in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
This maps each username to the User object.
allVertices() - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
Can be overridden to consider a subset of the vertices in the graph, although I can't think of any reason to do so.
AnachronismException - Exception in nz.ac.waikato.jdsl.graph.algo
This is an exception thrown specifically by the DFS to signify that an internal error has arisen in the computation of start/finish times.
AnachronismException(String) - Constructor for exception nz.ac.waikato.jdsl.graph.algo.AnachronismException
A constructor that takes a String that (hopefully) contains a relevant message about the circumstances under which this exception was thrown.
AnachronismException(String, Throwable) - Constructor for exception nz.ac.waikato.jdsl.graph.algo.AnachronismException
 
AnachronismException(Throwable) - Constructor for exception nz.ac.waikato.jdsl.graph.algo.AnachronismException
 
anEdge() - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
anEdge() - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
animationThread_ - Variable in class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation
 
anIncidentEdge(Vertex) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
anIncidentEdge(Vertex, int) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
anIncidentEdge(Vertex) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
anIncidentEdge(Vertex, int) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(degree)
apdu - Variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
 
areAdjacent(Vertex, Vertex) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
areAdjacent(Edge, Edge) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
Checks whether two edges have at least one common endpoint.
areAdjacent(Vertex, Vertex) - Method in class nz.ac.waikato.jdsl.graph.ref.AbstractGraph
Built on incidentEdges(.)
areAdjacent(Edge, Edge) - Method in class nz.ac.waikato.jdsl.graph.ref.AbstractGraph
Built on endVertices(.)
areIncident(Vertex, Edge) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
areIncident(Vertex, Edge) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
ArrayHeap - Class in nz.ac.waikato.jdsl.core.ref
An array implementation of a heap.
ArrayHeap(Comparator) - Constructor for class nz.ac.waikato.jdsl.core.ref.ArrayHeap
Creates a new heap.
ArrayHeap(Comparator, boolean) - Constructor for class nz.ac.waikato.jdsl.core.ref.ArrayHeap
Creates a new heap.
ArrayHeap(Comparator, int, boolean) - Constructor for class nz.ac.waikato.jdsl.core.ref.ArrayHeap
Creates a new heap.
ArrayLocatorIterator - Class in nz.ac.waikato.jdsl.core.ref
An array-based locator iterator.
ArrayLocatorIterator(Locator[]) - Constructor for class nz.ac.waikato.jdsl.core.ref.ArrayLocatorIterator
Uses the array to store the elements that this iterator traverses.
ArrayLocatorIterator(Locator[], int) - Constructor for class nz.ac.waikato.jdsl.core.ref.ArrayLocatorIterator
Traverses through the array, which is not copied, until num elements have been returned.
ArrayMergeSort - Class in nz.ac.waikato.jdsl.core.algo.sorts
Performs a merge-sort in O(n log n) time, provided that the atRank(int) method of the Sequence works in O(1) time.
ArrayMergeSort() - Constructor for class nz.ac.waikato.jdsl.core.algo.sorts.ArrayMergeSort
 
ArrayObjectIterator - Class in nz.ac.waikato.jdsl.core.ref
An array-based object iterator.
ArrayObjectIterator(Object[]) - Constructor for class nz.ac.waikato.jdsl.core.ref.ArrayObjectIterator
Uses the array to store the elements that this iterator traverses.
ArrayObjectIterator(Object[], int) - Constructor for class nz.ac.waikato.jdsl.core.ref.ArrayObjectIterator
Traverses through the array, which is not copied, until num elements have been returned.
ArrayPositionIterator - Class in nz.ac.waikato.jdsl.core.ref
An array-based positional iterator.
ArrayPositionIterator(Position[]) - Constructor for class nz.ac.waikato.jdsl.core.ref.ArrayPositionIterator
Uses the array to store the elements that this iterator traverses.
ArrayPositionIterator(Position[], int) - Constructor for class nz.ac.waikato.jdsl.core.ref.ArrayPositionIterator
Traverses through the array, which is not copied, until num elements have been returned.
ArrayQuickSort - Class in nz.ac.waikato.jdsl.core.algo.sorts
Performs an in-place quicksort in expected O(n log n) time, provided that the atRank(int) method of the Sequence operates in O(1) time.
ArrayQuickSort() - Constructor for class nz.ac.waikato.jdsl.core.algo.sorts.ArrayQuickSort
 
ArraySequence - Class in nz.ac.waikato.jdsl.core.ref
A Sequence implemented on top of an array.
ArraySequence() - Constructor for class nz.ac.waikato.jdsl.core.ref.ArraySequence
The default constructor for ArraySequence Initial array capacity defaults to 16.
ArraySequence(int) - Constructor for class nz.ac.waikato.jdsl.core.ref.ArraySequence
Creates an empty Sequence.
ArraySequence(boolean) - Constructor for class nz.ac.waikato.jdsl.core.ref.ArraySequence
Creates an empty Sequence.
ArraySequence(int, boolean) - Constructor for class nz.ac.waikato.jdsl.core.ref.ArraySequence
Creates an empty Sequence.
arrayToSequence(Object[], Sequence) - Static method in class nz.ac.waikato.jdsl.core.util.Converter
Places the contents of an array into a sequence, preserving order.
Assertion - Class in nz.ac.waikato.jdsl.core.ref
Deprecated. Starting with Java 2 version 1.4 assertions are part of the language, and thus this class is no longer necessary.
AssertionException - Exception in nz.ac.waikato.jdsl.core.ref
Deprecated. Starting with Java 2 version 1.4 assertions are part of the language, and thus this class is no longer necessary.
AssertionException() - Constructor for exception nz.ac.waikato.jdsl.core.ref.AssertionException
Deprecated.  
AssertionException(String) - Constructor for exception nz.ac.waikato.jdsl.core.ref.AssertionException
Deprecated.  
AssertionException(String, Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.ref.AssertionException
Deprecated.  
AssertionException(Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.ref.AssertionException
Deprecated.  
atRank(int) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableSequence
Get the position in the sequence with the specified rank
atRank(int) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
O(1) time.
atRank(int) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
O(1) time if the positions_ cache is valid (no modifications since cache was generated) O(N) if cache is invalid (must traverse up to half of Sequence)
attachVertex(Vertex, Object, Object) - Method in interface nz.ac.waikato.jdsl.graph.api.Graph
Attaches a new vertex, containing an object, to an existing vertex by inserting a new undirected edge.
attachVertex(Vertex, Object, Object) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
attachVertexFrom(Vertex, Object, Object) - Method in interface nz.ac.waikato.jdsl.graph.api.Graph
Attaches a new vertex, containing an object, by inserting a new directed edge from an existing vertex.
attachVertexFrom(Vertex, Object, Object) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
attachVertexTo(Vertex, Object, Object) - Method in interface nz.ac.waikato.jdsl.graph.api.Graph
Attaches a new vertex, containing an object, by inserting a new directed edge to an existing vertex.
attachVertexTo(Vertex, Object, Object) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
attributes() - Method in interface nz.ac.waikato.jdsl.core.api.Decorable
Returns an iterator over all the attributes attached to this decorable.
attributes() - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDecorable
 
attributes() - Method in class nz.ac.waikato.jdsl.graph.api.Edge.NONEEdge
 
attributes() - Method in class nz.ac.waikato.jdsl.graph.api.Vertex.NONEVertex
 
aVertex() - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
aVertex() - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)

B

back() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
BACK_EDGE - Static variable in class nz.ac.waikato.jdsl.graph.algo.DFS
Constant signifying that a marked edge is a back edge.
backGuard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
bad() - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
badGuard() - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
badWeight(Vertex, Edge, int) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
Can be overridden to handle edges that have zero or negative weights.
before(Locator) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableOrderedDictionary
Returns the Locator that is sequentially before another Locator in this Container.
before(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableSequence
The previous position in the sequence.
before(Position) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
O(1) time.
before(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
O(1) time
before(Locator) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(logN) time -- may need to traverse the height of the tree to find the next note that we do not return color-locators in the leaves -- we only return key locators.
BinaryTree - Interface in nz.ac.waikato.jdsl.core.api
A modifiable tree in which each node has either zero or two children.
BLACK - Static variable in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
 
BOUNDARY_VIOLATION - Static variable in interface nz.ac.waikato.jdsl.core.api.InspectableOrderedDictionary
Object returned from all four methodsof InspectableOrderedDictionary to indicate that the user tried to access before the first element of the dictionary or after the last.
BoundaryViolationException - Exception in nz.ac.waikato.jdsl.core.api
A BoundaryViolationException indicates that a Container's edges were trespassed somehow: off the end, over the top, beyond the bottom, etc.
BoundaryViolationException(String) - Constructor for exception nz.ac.waikato.jdsl.core.api.BoundaryViolationException
 
BoundaryViolationException(String, Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.api.BoundaryViolationException
 
BoundaryViolationException(Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.api.BoundaryViolationException
 
buildGraph(Random, int) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Finish building the graph.
buildGraph(Random) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Equivalent to buildGraph(new Random(FIXEDSEED), 10000).
buildGraph() - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Equivalent to buildGraph(new Random(FIXEDSEED)).
buildGraph() - Method in class nz.ac.waikato.modeljunit.Tester
Equivalent to buildGraph(10000).
buildGraph(int) - Method in class nz.ac.waikato.modeljunit.Tester
Equivalent to buildGraph(MaxSteps,true).
buildGraph(int, boolean) - Method in class nz.ac.waikato.modeljunit.Tester
Calls generate() repeatedly until the graph seems to be complete.
buildGraphBreadthFirst(int, boolean) - Method in class nz.ac.waikato.modeljunit.Tester
Generate a graph using a breadth-first approach with optimisations.
buildGraphGUI() - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
buildGUI() - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
Construct an application window.
buildGUI() - Method in class nz.ac.waikato.modeljunit.gui.PanelAnimator
Construct an animator GUI based on the current state of the Model structure.
buildGUI() - Method in class nz.ac.waikato.modeljunit.gui.Toolbar
 
buyButtonActive - Variable in class nz.ac.waikato.modeljunit.examples.ecinema.Showtime
 
buyTicket(Showtime) - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
Buy one ticket for current user, from the given shtime.
buyTicketGrd(Showtime) - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
buyTicketShow1() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
buyTicketShow1Guard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
buyTicketShow2() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
buyTicketShow2Guard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
BYE - Variable in class nz.ac.waikato.modeljunit.examples.QuiDonc
 

C

cancelAlarm() - Method in class nz.ac.waikato.modeljunit.examples.AlarmClock
 
cancelAlarmGuard() - Method in class nz.ac.waikato.modeljunit.examples.AlarmClock
 
capacity() - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDecorable
Gets the capacity of this hashtable.
case1(Position, Position) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(1) time Implements case 1, the Restructuring case Protected for purposes of allowing snapshots during visualization
case2(Position) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(1) time Implements case 2, the Recoloring case Protected for purposes of allowing snapshots during visualization
case3(Position) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(1) time Implements case 3, the Adjustment case Protected for purposes of allowing snapshots during visualization
Change_PIN(int, int) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
Change_PIN(int, int, SimCard.Status_Word) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
 
changePinNew() - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
changePinSame() - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
check(boolean) - Static method in class nz.ac.waikato.jdsl.core.ref.Assertion
Deprecated. Never use this method to indicate bad user input; this method is for asserting internal correctness of the implementation only.
check(boolean, String) - Static method in class nz.ac.waikato.jdsl.core.ref.Assertion
Deprecated. Never use this method to indicate bad user input; this method is for asserting internal correctness of the implementation only.
checkBeforeStart() - Method in class nz.ac.waikato.jdsl.core.ref.AbstractArrayIterator
 
checkDoubleRed(Position) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(logN) time -- where N = the number of locators in the tree and O(logN) = the height of the tree Check for double reds, then rotate or promote if necessary Protected for purposes of allowing snapshots during visualization
checkGuard(QuiDonc, boolean) - Static method in class nz.ac.waikato.modeljunit.examples.QuiDonc
Convenience method for the interactive interface.
checkPosition(Accessor) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
Casts the accessor passed in to the appropriate node class for this container; also checks if it is null.
checkStatus(SimCard.Status_Word, int) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
Check that an expected and actual status agree.
checkSUT() - Method in class nz.ac.waikato.modeljunit.examples.SimpleSetWithAdaptor
Check that the SUT is in the expected state.
checkSUT() - Method in class nz.ac.waikato.modeljunit.examples.SmartSetAdaptor
Check that the SUT is in the expected state.
childAtRank(Position, int) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableTree
 
childAtRank(Position, int) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
childAtRank(Position, int) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
children(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableTree
Returns an iterator over the children of the node in order.
children(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
children(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time if cache exists, O(the number of children of the node) otherwise.
ClassFileLoader - Class in nz.ac.waikato.modeljunit.gui
 
cleanup() - Method in class nz.ac.waikato.jdsl.graph.algo.AbstractTopologicalSort
Cleans up all decorations that this algorithm was storing in the provided graph.
cleanup() - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Cleans up all decorations stored in the provided graph.
cleanup() - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Removes the decorations from the vertices.
clear() - Method in class nz.ac.waikato.modeljunit.coverage.AbstractCoverage
Reset all coverage data.
clear() - Method in class nz.ac.waikato.modeljunit.coverage.CoverageHistory
This resets the history, as well as calling getMetric().reset();
clear() - Method in interface nz.ac.waikato.modeljunit.coverage.CoverageMetric
Reset all coverage data.
clear() - Method in class nz.ac.waikato.modeljunit.coverage.StateCoverage
 
clear() - Method in class nz.ac.waikato.modeljunit.examples.StringSet
 
clear() - Method in class nz.ac.waikato.modeljunit.examples.StringSetBuggy
 
clearAllButtonActive - Variable in class nz.ac.waikato.modeljunit.examples.ecinema.Showtime
 
clearCoverages() - Method in class nz.ac.waikato.modeljunit.gui.PanelCoverage
 
clearDoneTodo() - Method in class nz.ac.waikato.modeljunit.GraphListener
Resets all the done and todo information.
clone() - Method in class nz.ac.waikato.modeljunit.gui.PanelExecuteActions
 
clone() - Method in class nz.ac.waikato.modeljunit.gui.PanelTestDesign
 
close() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
closeGuard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
closestAfter(Object) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableOrderedDictionary
Returns the locator with smallest key greater than or equal to the search key.
closestAfter(Object) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(logN) time -- traverses the height of the tree once.
closestBefore(Object) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableOrderedDictionary
Returns the locator with largest key less than or equal to the search key.
closestBefore(Object) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(logN) time -- traverses the height of the tree once.
cmd(byte[]) - Method in class nz.ac.waikato.modeljunit.examples.gsm.GSM11Impl
This corresponds to sending a command to the SIM.
colorPromotion(Position, Position) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(logN) time -- where N = the number of locators in the tree and O(logN) = the height of the tree Do a color promotion and then check if colors are now wrong higher up Protected for purposes of allowing snapshots during visualization
ComparableComparator - Class in nz.ac.waikato.jdsl.core.ref
Implementation of JDSL's Comparator interface in terms of the JDK's Comparable interface.
ComparableComparator() - Constructor for class nz.ac.waikato.jdsl.core.ref.ComparableComparator
 
Comparator - Interface in nz.ac.waikato.jdsl.core.api
Defines a total ordering for a set of objects.
ComparatorExtender - Class in nz.ac.waikato.jdsl.core.ref
Takes a java.util.Comparator and adapts it to the nz.ac.waikato.jdsl.core.api.Comparator.
ComparatorExtender(Comparator) - Constructor for class nz.ac.waikato.jdsl.core.ref.ComparatorExtender
Constructs a new comparator which adapts the given java.util.Comparator.
ComparatorReverser - Class in nz.ac.waikato.jdsl.core.ref
Takes a Comparator and reverses the ordering with respect to which the elements are compared.
ComparatorReverser(Comparator) - Constructor for class nz.ac.waikato.jdsl.core.ref.ComparatorReverser
 
compare(Object, Object) - Method in interface nz.ac.waikato.jdsl.core.api.Comparator
A C-style comparison function that returns a negative value if the first object is less than the second, a positive value if the second object is less, and 0 if the two objects are equal.
compare(Object, Object) - Method in class nz.ac.waikato.jdsl.core.ref.AbstractComparator
 
compare(Object, Object) - Method in class nz.ac.waikato.jdsl.core.ref.ComparableComparator
Invokes the compareTo method of x1 on x2.
compare(Object, Object) - Method in class nz.ac.waikato.jdsl.core.ref.ComparatorExtender
Adapts the comparator method of the underlying comparator.
compare(Object, Object) - Method in class nz.ac.waikato.jdsl.core.ref.ComparatorReverser
 
compare(Object, Object) - Method in class nz.ac.waikato.jdsl.core.ref.IntegerComparator
 
computeStages(int) - Method in class nz.ac.waikato.modeljunit.gui.PanelCoverage
 
connectingEdges(Vertex, Vertex) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
Gives all edges connecting two vertices.
connectingEdges(Vertex, Vertex) - Method in class nz.ac.waikato.jdsl.graph.ref.AbstractGraph
Built on incidentEdges(.)
constructGUI() - Method in class nz.ac.waikato.modeljunit.gui.ProjectDialog
 
Container - Interface in nz.ac.waikato.jdsl.core.api
The common interface for all the mutable containers in JDSL.
container() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
O(1) time
container() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
 
contains(Accessor) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableContainer
Checks whether this container contains accessor a
contains(Accessor) - Method in class nz.ac.waikato.jdsl.core.ref.ArrayHeap
time complexity = worst-case O(1)
contains(Accessor) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
O(1) time.
contains(Accessor) - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDictionary
O(1)
contains(Accessor) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
contains(Accessor) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
O(1) time
contains(Accessor) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
contains(Accessor) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(1) time
contains(Accessor) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
contains(Object) - Method in class nz.ac.waikato.modeljunit.examples.StringSet
 
contains(Object) - Method in class nz.ac.waikato.modeljunit.examples.StringSetBuggy
 
continueBuildGraph(Transition, int) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Records a transition in the graph, if it is not already there.
contract(Position) - Method in interface nz.ac.waikato.jdsl.core.api.Tree
Replaces a node with its children in the appropriate order.
contract(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
Converter - Class in nz.ac.waikato.jdsl.core.util
Provides for conversion of JDSL data structures to java.util Collections and Java base types and for conversion of java.util Collections to JDSL data structures.
Converter() - Constructor for class nz.ac.waikato.jdsl.core.util.Converter
 
CoreException - Exception in nz.ac.waikato.jdsl.core.api
This is the class from which all exceptions of the core package are descended.
CoreException(String) - Constructor for exception nz.ac.waikato.jdsl.core.api.CoreException
 
CoreException(String, Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.api.CoreException
 
CoreException(Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.api.CoreException
 
counter_PIN_try - Variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
counter_PUK_try - Variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
coverage_ - Variable in class nz.ac.waikato.modeljunit.coverage.AbstractCoverage
Records the number of times each item has been covered.
COVERAGE_MATRIX - Static variable in class nz.ac.waikato.modeljunit.gui.TestExeModel
 
COVERAGE_NUM - Static variable in class nz.ac.waikato.modeljunit.gui.TestExeModel
 
CoverageHistory - Class in nz.ac.waikato.modeljunit.coverage
A wrapper class that adds history recording to any CoverageMetric.
CoverageHistory(CoverageMetric, int) - Constructor for class nz.ac.waikato.modeljunit.coverage.CoverageHistory
Create a history version of the coverage metric.
CoverageMetric - Interface in nz.ac.waikato.modeljunit.coverage
An interface to a test coverage metric.
createExecuteActionsPanel() - Static method in class nz.ac.waikato.modeljunit.gui.PanelExecuteActions
 
createImageIcon(String, String) - Method in class nz.ac.waikato.modeljunit.gui.Toolbar
Returns an ImageIcon, or null if the path was invalid.
createPanels() - Static method in class nz.ac.waikato.modeljunit.gui.OptionPanelCreator
 
CROSS_EDGE - Static variable in class nz.ac.waikato.jdsl.graph.algo.DFS
Constant signifying that a marked edge is a cross edge.
crossingTimer - Variable in class nz.ac.waikato.modeljunit.examples.TrafficLight
This timer controls the period in which the light is green for pedestrians to cross.
currCoverage_ - Variable in class nz.ac.waikato.modeljunit.coverage.AbstractCoverage
The number of items that have been 'covered'.
currentEnabledActions() - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Return the bitset of all actions that are enabled in the current state.
currentTime - Variable in class nz.ac.waikato.modeljunit.examples.AlarmClock
The current time of the clock
currentUser - Variable in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
currLength_ - Variable in class nz.ac.waikato.modeljunit.LookaheadTester
The length of the current test sequence generated by this tester.
currUsersTickets(Showtime) - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
the current user's tickets for the given show time.
cut(Position) - Method in interface nz.ac.waikato.jdsl.core.api.BinaryTree
Position node and all its children are removed from this binary tree and replaced with a new external node with a null element.
cut(Position) - Method in interface nz.ac.waikato.jdsl.core.api.Tree
Cuts this tree above the given node, and replaces this position with an external node with a null element.
cut(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
Takes O(S) time, where S is the number of positions in the subtree to cut
cut(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(size of the cut subtree) time
cycleStart_ - Variable in class nz.ac.waikato.jdsl.graph.algo.DirectedFindCycleDFS
The Vertex which has been encountered twice on one path, proving that a cycle exists.
cycleStart_ - Variable in class nz.ac.waikato.jdsl.graph.algo.FindCycleDFS
The Vertex which has been encountered twice on one path, proving that a cycle exists.

D

data - Variable in class nz.ac.waikato.modeljunit.examples.gsm.File
 
DATE_CORRECT - Static variable in class nz.ac.waikato.modeljunit.examples.ecinema.Showtime
 
dateTime - Variable in class nz.ac.waikato.modeljunit.examples.ecinema.Showtime
 
Decorable - Interface in nz.ac.waikato.jdsl.core.api
Decorability is the ability to attach extra pieces of information to an object.
DEFAULT_DIRECTORY - Static variable in class nz.ac.waikato.modeljunit.gui.Parameter
 
DEFAULT_RESET_PROBABILITY - Static variable in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. During random walk (including buildGraph), this is the default probability of doing reset() rather than choosing a random transition.
DEFAULT_RESET_PROBABILITY - Static variable in class nz.ac.waikato.modeljunit.RandomTester
During random walk (including buildGraph), this is the default probability of doing reset() rather than choosing a random transition.
defaultInitialCapacity - Static variable in class nz.ac.waikato.jdsl.core.ref.ArrayHeap
 
degree(Vertex) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
Gives the degree of a vertex, counting both directed and undirected edges.
degree(Vertex, int) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
Gives the degree of a vertex, counting all edges of the specified type.
degree(Vertex) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
degree(Vertex, int) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(degree)
del0() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del0Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del1() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del10() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del10Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del11() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del11Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del12() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del12Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del1Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del2() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del2Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del3() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del3Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del4() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del4Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del5() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del5Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del6() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del6Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del7() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del7Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del8() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del8Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del9() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
del9Guard() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
delElem(int) - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
 
deleteAllTickets(Showtime) - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
deleteAllTicketsGrd(Showtime) - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
deleteAllTicketsShow1() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
deleteAllTicketsShow1Guard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
deleteAllTicketsShow2() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
deleteAllTicketsShow2Guard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
deleteTicket(Showtime) - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
deleteTicketGrd(Showtime) - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
deleteTicketShow1() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
deleteTicketShow1Guard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
deleteTicketShow2() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
deleteTicketShow2Guard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
DEPTH - Variable in class nz.ac.waikato.modeljunit.LookaheadTester
How far should we look ahead?
destination(Vertex, Edge) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Can be overridden to supply the destination of an edge, although I can't think of any reason to do so.
destination(Vertex, Edge) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
Can be overridden to supply the destination of an edge, although I can't think of any reason to do so.
destination(Edge) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
destination(Edge) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
destroy(Object) - Method in interface nz.ac.waikato.jdsl.core.api.Decorable
Removes the (attribute, value) entry associated with a certain attribute, attr, from the decorable object.
destroy(Object) - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDecorable
Destroys a decoration.
destroy(Object) - Method in class nz.ac.waikato.jdsl.graph.api.Edge.NONEEdge
 
destroy(Object) - Method in class nz.ac.waikato.jdsl.graph.api.Vertex.NONEVertex
 
DF - Variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
DFS - Class in nz.ac.waikato.jdsl.graph.algo
algorithmic template may be extended to solve a variety of problems on either directed or undirected graphs.
DFS() - Constructor for class nz.ac.waikato.jdsl.graph.algo.DFS
 
dfsVisit(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Performs a recursive depth-first search starting at v
dial() - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
dialGuard() - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
DialogAbout - Class in nz.ac.waikato.modeljunit.gui
 
DialogAbout(Frame) - Constructor for class nz.ac.waikato.modeljunit.gui.DialogAbout
 
DialogCoverageLineColor - Class in nz.ac.waikato.modeljunit.gui
 
DialogCoverageLineColor(Frame) - Constructor for class nz.ac.waikato.modeljunit.gui.DialogCoverageLineColor
 
Dictionary - Interface in nz.ac.waikato.jdsl.core.api
A container that accepts (key,element) pairs and allows later lookup of the element associated with a particular key.
dictionaryToMap(InspectableDictionary, Map) - Static method in class nz.ac.waikato.jdsl.core.util.Converter
Places the contents of a dictionary into a map.
dictionaryToSortedMap(InspectableDictionary, SortedMap) - Static method in class nz.ac.waikato.jdsl.core.util.Converter
Places the contents of a dictionary into a sorted map.
DirectedDFS - Class in nz.ac.waikato.jdsl.graph.algo
 
DirectedDFS() - Constructor for class nz.ac.waikato.jdsl.graph.algo.DirectedDFS
 
directedEdges() - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
directedEdges() - Method in class nz.ac.waikato.jdsl.graph.ref.AbstractGraph
Built on edges() and isDirected(.)
DirectedFindCycleDFS - Class in nz.ac.waikato.jdsl.graph.algo
This class specializes DFS to determine if the connected component of the start vertex contains a cycle and if so return it.
DirectedFindCycleDFS() - Constructor for class nz.ac.waikato.jdsl.graph.algo.DirectedFindCycleDFS
Simple constructor initializes instance variables.
Disabled_PIN(int) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
Disabled_PIN(int, SimCard.Status_Word) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
 
disablePINGood() - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
displayAboutWindow() - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
displayAlgorithmPane() - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
displayAnimateWindow() - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
Display the window that permits animation of models.
displayCoverageWindow() - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
Display the window that shows coverage metrics for models.
DisplayErrorMessage(String, String) - Static method in class nz.ac.waikato.modeljunit.gui.ErrorMessage
 
displayFileChooser() - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
Display a file chooser and load the model.
displayProjectFileChooser(boolean) - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
displayResultsWindow() - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
Display the window that shows test results.
displaySplashWindow() - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
displayTickets() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
displayTicketsGuard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
distance(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Returns the distance of a vertex from the source.
doAction(int) - Method in class nz.ac.waikato.modeljunit.Model
Try to take the given Action from the current state.
doAction(int) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Try to take the given Action from the current state.
doAction(int) - Method in class nz.ac.waikato.modeljunit.timing.TimedModel
 
doGreedyRandomAction() - Method in class nz.ac.waikato.modeljunit.GreedyTester
 
doGreedyRandomAction(Random) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated.  
doGreedyRandomActionOrReset() - Method in class nz.ac.waikato.modeljunit.GreedyTester
 
doGreedyRandomActionOrReset(Random, boolean) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated.  
done_ - Variable in class nz.ac.waikato.jdsl.graph.algo.DirectedFindCycleDFS
This is set to true if a cycle is found, alerting the DFS to finish early
done_ - Variable in class nz.ac.waikato.jdsl.graph.algo.FindCycleDFS
This is set to true if a cycle is found, alerting the DFS to finish early
doneGuard(Object, int, boolean, int) - Method in class nz.ac.waikato.modeljunit.AbstractListener
 
doneGuard(Object, int, boolean, int) - Method in class nz.ac.waikato.modeljunit.coverage.CoverageHistory
 
doneGuard(Object, int, boolean, int) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VisualisationListener
 
doneGuard(Object, int, boolean, int) - Method in interface nz.ac.waikato.modeljunit.ModelListener
The Model calls this after each guard evaluation.
doneReset(String, boolean) - Method in class nz.ac.waikato.modeljunit.AbstractListener
 
doneReset(String, boolean) - Method in class nz.ac.waikato.modeljunit.coverage.AbstractCoverage
The Model calls this after each reset(boolean) action.
doneReset(String, boolean) - Method in class nz.ac.waikato.modeljunit.coverage.CoverageHistory
 
doneReset(String, boolean) - Method in class nz.ac.waikato.modeljunit.coverage.StateCoverage
Increments the count of the initial state.
doneReset(String, boolean) - Method in class nz.ac.waikato.modeljunit.coverage.TransitionPairCoverage
 
doneReset(String, boolean) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VisualisationListener
 
doneReset(String, boolean) - Method in interface nz.ac.waikato.modeljunit.ModelListener
The Model calls this after each reset(boolean) action.
doneReset(String, boolean) - Method in class nz.ac.waikato.modeljunit.VerboseListener
 
doneTransition(int, Transition) - Method in class nz.ac.waikato.modeljunit.AbstractListener
 
doneTransition(int, Transition) - Method in class nz.ac.waikato.modeljunit.coverage.ActionCoverage
 
doneTransition(int, Transition) - Method in class nz.ac.waikato.modeljunit.coverage.CoverageHistory
Delegates to getMetric().doneTransition(...), and records the resulting coverage.
doneTransition(int, Transition) - Method in class nz.ac.waikato.modeljunit.coverage.StateCoverage
Increments the count of the target state of the transition.
doneTransition(int, Transition) - Method in class nz.ac.waikato.modeljunit.coverage.TransitionCoverage
 
doneTransition(int, Transition) - Method in class nz.ac.waikato.modeljunit.coverage.TransitionPairCoverage
 
doneTransition(int, Transition) - Method in class nz.ac.waikato.modeljunit.GraphListener
Records a transition in the graph, if it is not already there.
doneTransition(int, Transition) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VisualisationListener
 
doneTransition(int, Transition) - Method in interface nz.ac.waikato.modeljunit.ModelListener
The Model calls this after taking each transition.
doneTransition(int, Transition) - Method in class nz.ac.waikato.modeljunit.VerboseListener
 
doOneIteration() - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Can be called manually to single-step the algorithm, but you must call init(.) before the first call to this method.
doOneIteration() - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
Can be called manually to single-step the algorithm, but you must call init(.) before the first call to this method.
doRandomAction(Random) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Take any randomly-chosen Action that is enabled.
doRandomAction() - Method in class nz.ac.waikato.modeljunit.RandomTester
Take any randomly-chosen Action that is enabled.
doRandomActionOrReset(Random, boolean) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Randomly take an enabled transition, or do a reset with a certain probability (see ModelTestCase.getResetProbability()).
doRandomActionOrReset() - Method in class nz.ac.waikato.modeljunit.RandomTester
Randomly take an enabled transition, or do a reset with a certain probability (see RandomTester.getResetProbability()).
doReset() - Method in class nz.ac.waikato.modeljunit.Model
Reset the FSM to its initial state.
doReset(String) - Method in class nz.ac.waikato.modeljunit.Model
Reset the FSM to its initial state.
doReset(boolean) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Reset the FSM to its initial state.
doReset(String, boolean) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Reset the FSM to its initial state.
doReset(String) - Method in class nz.ac.waikato.modeljunit.timing.TimedModel
 
DOUBLEBLACK - Static variable in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
 

E

ECinema - Class in nz.ac.waikato.modeljunit.examples.ecinema
A model of a simple eCinema.
ECinema() - Constructor for class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
ECinema.State - Enum in nz.ac.waikato.modeljunit.examples.ecinema
Each of these states models a separate web page.
Edge - Interface in nz.ac.waikato.jdsl.graph.api
Empty, typing interface for Positions that are edges.
edge() - Method in interface nz.ac.waikato.jdsl.graph.api.EdgeIterator
 
edge() - Method in class nz.ac.waikato.jdsl.graph.ref.EdgeIteratorAdapter
 
Edge.NONEEdge - Class in nz.ac.waikato.jdsl.graph.api
A dummy class, used to implement the constant Edge.NONE
.
edge_in_rt_style - Static variable in class nz.ac.waikato.jdsl.graph.ref.ToString
 
EDGE_TYPE - Static variable in class nz.ac.waikato.jdsl.graph.algo.DFS
Constant used as key to look up an edge's type.
EdgeDirection - Interface in nz.ac.waikato.jdsl.graph.api
Interface containing constants for specifying which edges are desired in graph-query methods.
EdgeDisplayPredicate<V,E> - Class in nz.ac.waikato.modeljunit.gui.visualisaton
 
EdgeDisplayPredicate(boolean) - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeDisplayPredicate
 
EdgeFontTransformer<V,E> - Class in nz.ac.waikato.modeljunit.gui.visualisaton
 
EdgeFontTransformer() - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeFontTransformer
 
EdgeInfo - Class in nz.ac.waikato.modeljunit.gui.visualisaton
 
EdgeInfo(Transition, VertexInfo, VertexInfo) - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
 
EdgeInfo(Transition, VertexInfo, VertexInfo, Boolean, Boolean) - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
 
EdgeIterator - Interface in nz.ac.waikato.jdsl.graph.api
Iterator over a set of edges.
EdgeIteratorAdapter - Class in nz.ac.waikato.jdsl.graph.ref
Takes an ObjectIterator known to be iterating over things that are edges, and makes it appear as an EdgeIterator.
EdgeIteratorAdapter(ObjectIterator) - Constructor for class nz.ac.waikato.jdsl.graph.ref.EdgeIteratorAdapter
 
EdgeLabelTransformer<V,E> - Class in nz.ac.waikato.modeljunit.gui.visualisaton
 
EdgeLabelTransformer(VisualizationViewer<Object, Object>) - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeLabelTransformer
 
EdgePaintTransformer<V,E> - Class in nz.ac.waikato.modeljunit.gui.visualisaton
 
EdgePaintTransformer(Color, Color, VisualizationViewer<Object, Object>) - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.EdgePaintTransformer
 
edgeRelaxed(Vertex, int, Edge, int, Vertex, int) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Can be overridden in any application where the edges considered for the shortest-path tree matter.
edges() - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
edges() - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(E)
EdgeStrokeTransformer<V,E> - Class in nz.ac.waikato.modeljunit.gui.visualisaton
 
EdgeStrokeTransformer() - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeStrokeTransformer
 
EF - Variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
elem - Variable in class nz.ac.waikato.modeljunit.examples.LargeSet
 
element() - Method in interface nz.ac.waikato.jdsl.core.api.Accessor
Gets the element currently associated with this accessor.
element() - Method in class nz.ac.waikato.jdsl.core.api.InspectableDictionary.InvalidLocator
 
element() - Method in interface nz.ac.waikato.jdsl.core.api.LocatorIterator
Shortcut for locator().element().
element() - Method in interface nz.ac.waikato.jdsl.core.api.PositionIterator
Shortcut for position().element().
element() - Method in class nz.ac.waikato.jdsl.core.ref.AbstractArrayIterator
 
element() - Method in class nz.ac.waikato.jdsl.core.ref.InOrderIterator
Takes O(1) time
element() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
O(1) time
element() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
Should never be called
element() - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence.FNSNode
 
element() - Method in class nz.ac.waikato.jdsl.core.ref.PostOrderIterator
Takes O(1) time
element() - Method in class nz.ac.waikato.jdsl.core.ref.PreOrderIterator
Takes O(1) time
element() - Method in class nz.ac.waikato.jdsl.graph.api.Edge.NONEEdge
 
element() - Method in class nz.ac.waikato.jdsl.graph.api.Vertex.NONEVertex
 
element() - Method in class nz.ac.waikato.jdsl.graph.ref.EdgeIteratorAdapter
 
element() - Method in class nz.ac.waikato.jdsl.graph.ref.VertexIteratorAdapter
 
elements() - Method in interface nz.ac.waikato.jdsl.core.api.InspectableContainer
Returns an iterator over all the elements stored in this container.
elements() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayHeap
Cached for constant factor efficiency.
elements() - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
O(1) time if the cache already exists.
elements() - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDictionary
O(1) if structure *AND* elements haven't changed, O(N) otherwise.
elements() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
Takes O(N) time from the need to iterate through the tree during snapshot, where N is the number of elements in the tree
elements() - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
O(1) time if the cache already exists Otherwise O(N) to construct it
elements() - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time if cache already exists, O(size of the tree) otherwise
elements() - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(N) time from the need to iterate through the tree during snapshot -- where N= the number of locators in the tree Could very easily be cached; not sure that would be useful
elements() - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(V+E)
EmptyContainerException - Exception in nz.ac.waikato.jdsl.core.api
An EmptyContainerException indicates that the Container can't fulfill the requested operation because it is empty.
EmptyContainerException(String) - Constructor for exception nz.ac.waikato.jdsl.core.api.EmptyContainerException
 
EmptyContainerException(String, Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.api.EmptyContainerException
 
EmptyContainerException(Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.api.EmptyContainerException
 
enabled(int) - Method in class nz.ac.waikato.modeljunit.Model
Is Action number 'index' enabled? Returns 0 if Action number 'index' is disabled, or a positive number if it is enabled.
enabled(int) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Is Action number 'index' enabled? Returns 0.0 if Action number 'index' is disabled, or a positive number if it is enabled.
enabled(int) - Method in class nz.ac.waikato.modeljunit.timing.TimedModel
Partitioning actions to make sure that only tick actions can happen when in a tick state
Enabled_PIN(int) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
Enabled_PIN(int, SimCard.Status_Word) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
 
enabledGuards() - Method in class nz.ac.waikato.modeljunit.Model
Return a fresh BitSet of all actions that are enabled in the current state.
enablePIN11() - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
endVertices(Edge) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
endVertices(Edge) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
ENTER - Variable in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
EqualityComparator - Interface in nz.ac.waikato.jdsl.core.api
This interface defines an equality comparison on a set of objects.
equals(Object) - Method in class nz.ac.waikato.modeljunit.examples.StringSet
 
equals(Object) - Method in class nz.ac.waikato.modeljunit.examples.StringSetBuggy
 
equals(Object) - Method in class nz.ac.waikato.modeljunit.Transition
 
equals(Object) - Method in class nz.ac.waikato.modeljunit.TransitionPair
 
equalsChv(byte[], byte[], int) - Method in class nz.ac.waikato.modeljunit.examples.gsm.GSM11Impl
True if chv1[0..7] equals chv2[pos2..pos2+7].
ERROR - Variable in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
ErrorMessage - Class in nz.ac.waikato.modeljunit.gui
 
ErrorMessage() - Constructor for class nz.ac.waikato.modeljunit.gui.ErrorMessage
 
EulerTour - Class in nz.ac.waikato.jdsl.core.algo.traversals
The EulerTour algorithm is a tree traversal that can be informally described as a walk around tree T, where we start by going from the root towards its left child, viewing the edges of T as being "walls" that we always keep to our left.
EulerTour() - Constructor for class nz.ac.waikato.jdsl.core.algo.traversals.EulerTour
The constructor for the algorithm.
evalState(Object, int) - Method in class nz.ac.waikato.modeljunit.LookaheadTester
Evaluate the desirability of reaching state.
evaluate(Context<Graph<V, E>, E>) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeDisplayPredicate
 
evaluate(Context<Graph<V, E>, V>) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexDisplayPredicate
 
execute(InspectableTree) - Method in class nz.ac.waikato.jdsl.core.algo.traversals.EulerTour
This method should be called after construction.
execute(InspectableGraph) - Method in class nz.ac.waikato.jdsl.graph.algo.AbstractTopologicalSort
The client calls this method to execute the algorithm.
execute(InspectableGraph, Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Runs the depth first search algorithm on a graph.
execute(InspectableGraph) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Execute a DFS without specifying an initial source vertex.
execute(InspectableGraph, Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DirectedFindCycleDFS
 
execute(InspectableGraph, Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.FindCycleDFS
 
execute(InspectableGraph, Vertex, Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraPathfinder
 
execute(InspectableGraph, Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
The easiest way to use the algorithm is to use this method.
executeAll(InspectableGraph, Vertex, int) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
The easiest way to use the algorithm is to use this method.
executeAll(InspectableGraph, Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
Just like the other version of executeAll(.), but with infinity=Integer.MAX_VALUE
expand(Position, Position, Object) - Method in interface nz.ac.waikato.jdsl.core.api.Tree
Replaces a set of consecutive children with a new node having those children as its children in the appropriate order.
expand() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
O(1) time Expands this node into an internal node Asserts if this node is external
expand() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
Should never be called
expand(Position, Position, Object) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(number of children of a new node) time
expand() - Static method in class nz.ac.waikato.modeljunit.gui.Indentation
 
expandExternal(Position) - Method in interface nz.ac.waikato.jdsl.core.api.BinaryTree
The external position specified is transformed into an internal, and it gains two external children.
expandExternal(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time

F

failure(TestFailureException) - Method in class nz.ac.waikato.modeljunit.AbstractListener
 
failure(TestFailureException) - Method in class nz.ac.waikato.modeljunit.coverage.CoverageHistory
 
failure(TestFailureException) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VisualisationListener
 
failure(TestFailureException) - Method in interface nz.ac.waikato.modeljunit.ModelListener
The Model calls this when an action has found an error.
failure(TestFailureException) - Method in class nz.ac.waikato.modeljunit.StopOnFailureListener
 
failure(TestFailureException) - Method in class nz.ac.waikato.modeljunit.VerboseListener
 
File - Class in nz.ac.waikato.modeljunit.examples.gsm
 
File(SimCard.File_Type, SimCard.F_Name, String, SimCard.Permission, File) - Constructor for class nz.ac.waikato.modeljunit.examples.gsm.File
 
FileChooserFilter - Class in nz.ac.waikato.modeljunit.gui
 
FileChooserFilter(String, String) - Constructor for class nz.ac.waikato.modeljunit.gui.FileChooserFilter
 
files - Variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
find(Object) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableDictionary
Finds an object that is mapped to a particular key.
find(Object) - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDictionary
O(1) -- expected, O(N) worst case with excessive chaining.
find(Object) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(logN) time -- where N = the number of locators in the tree and O(logN) = the height of the tree Takes the time to traverse the tree's height, which is O(logN)
findAll(Object) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableDictionary
Finds all elements mapped to a particular key.
findAll(Object) - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDictionary
O(#elts with target key), worst case O(N)
findAll(Object) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(logN+R) time -- where N = the number of locators in the tree and O(logN) = the height of the tree, and R = the number of instances of key in the tree O(log N) for one element; in theory, for each element, taking its inorder prev or next may take up to O(log N).
FindCycleDFS - Class in nz.ac.waikato.jdsl.graph.algo
This class specializes DFS to determine if the connected component of the start vertex contains a cycle and if so return it.
FindCycleDFS() - Constructor for class nz.ac.waikato.jdsl.graph.algo.FindCycleDFS
Simple constructor initializes instance variables.
FINISH_TIME - Static variable in class nz.ac.waikato.jdsl.graph.algo.DFS
Constant used as key to look up the finish time of a vertex.
finishPedestrianPeriod() - Method in class nz.ac.waikato.modeljunit.examples.TrafficLight
 
finishPedestrianPeriodGuard() - Method in class nz.ac.waikato.modeljunit.examples.TrafficLight
 
finishTime(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Returns the "Finish time" of a Vertex.
finishVisit(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Called when the search has finished with the vertex.
finishVisit(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DirectedFindCycleDFS
Once the visit has ended, they are removed from the prospective cyclic path.
finishVisit(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.FindCycleDFS
Once the visit has ended, they are removed from the prospective cyclic path.
FIRE - Variable in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
first() - Method in interface nz.ac.waikato.jdsl.core.api.InspectableOrderedDictionary
Returns the Locator that is sequentially before any other Locator in this Container.
first() - Method in interface nz.ac.waikato.jdsl.core.api.InspectableSequence
The first position of the sequence.
first() - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
O(1) time.
first() - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
O(1) time
first() - Method in class nz.ac.waikato.jdsl.core.ref.PostOrderIterator
Takes O(1) time Sets the current node to the first node.
first() - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(log N) time to traverse the height of the tree where N is the number of locators in the tree and O(logN) is the height of the tree
firstChild(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableTree
 
firstChild(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
firstChild(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
FIXEDSEED - Static variable in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated.  
FIXEDSEED - Static variable in class nz.ac.waikato.modeljunit.Tester
 
focusGained(FocusEvent) - Method in class nz.ac.waikato.modeljunit.gui.PanelTestDesign
 
focusLost(FocusEvent) - Method in class nz.ac.waikato.modeljunit.gui.PanelTestDesign
 
FORWARD_EDGE - Static variable in class nz.ac.waikato.jdsl.graph.algo.DFS
Constant signifying that a marked edge is a forward edge.
FSM - Class in nz.ac.waikato.modeljunit.examples
Simple example of a finite state machine (FSM) for testing.
FSM() - Constructor for class nz.ac.waikato.modeljunit.examples.FSM
 
fsmActions_ - Variable in class nz.ac.waikato.modeljunit.Model
All the @Action methods of fsmClass_.
FsmException - Error in nz.ac.waikato.modeljunit
Exceptions related to malformed Finite State Machines.
FsmException() - Constructor for error nz.ac.waikato.modeljunit.FsmException
 
FsmException(String) - Constructor for error nz.ac.waikato.modeljunit.FsmException
 
FsmException(String, Throwable) - Constructor for error nz.ac.waikato.modeljunit.FsmException
 
FsmException(Throwable) - Constructor for error nz.ac.waikato.modeljunit.FsmException
 
fsmFindAction(String) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Looks up an Action by name and returns its number.
FsmModel - Interface in nz.ac.waikato.modeljunit
Interface for FSM models for model-based testing.
fsmModel_ - Variable in class nz.ac.waikato.modeljunit.Model
The implementation under test (null means none yet).
fsmSequence_ - Variable in class nz.ac.waikato.modeljunit.Model
Current test sequence TODO: decide whether this needs to be builtin or a listener.
fsmState_ - Variable in class nz.ac.waikato.modeljunit.Model
The current state of the implementation under test.
FullContainerException - Exception in nz.ac.waikato.jdsl.core.ref
A FullContainerException indicates that the Container can't fulfill the requested operation because it is full.
FullContainerException(String) - Constructor for exception nz.ac.waikato.jdsl.core.ref.FullContainerException
 
FullContainerException(String, Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.ref.FullContainerException
 
FullContainerException(Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.ref.FullContainerException
 

G

G - Variable in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
 
g_ - Variable in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
 
generate() - Method in class nz.ac.waikato.modeljunit.AllRoundTester
 
generate() - Method in class nz.ac.waikato.modeljunit.GreedyTester
 
generate() - Method in class nz.ac.waikato.modeljunit.LookaheadTester
 
generate() - Method in class nz.ac.waikato.modeljunit.RandomTester
Generates one step of a random walk through the model.
generate() - Method in class nz.ac.waikato.modeljunit.Tester
Generate one more test step in the current sequence.
generate(int) - Method in class nz.ac.waikato.modeljunit.Tester
Generate some test sequences, with the given total length.
generateCode() - Method in class nz.ac.waikato.modeljunit.gui.AlgorithmPanel
This delegates to the generateCode method of the parameters pane.
generateCode() - Method in interface nz.ac.waikato.modeljunit.gui.IAlgorithmParameter
Generates the Java code that sets up this algorithm to generate tests.
generateCode() - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelAdapter
 
generateCode() - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelGreedy
 
generateCode() - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelLookahead
 
generateCode() - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelRandomWalk
 
generateCode() - Method in class nz.ac.waikato.modeljunit.gui.PanelTestDesign
 
generateImportLab() - Method in class nz.ac.waikato.modeljunit.gui.AlgorithmPanel
This delegates to the generateImportLab method of the parameters pane.
generateImportLab() - Method in interface nz.ac.waikato.modeljunit.gui.IAlgorithmParameter
Generate any Java import statements that are needed in addition to the standard modeljunit.* imports.
generateImportLab() - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelAdapter
 
generateImportLab() - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelGreedy
 
generateImportLab() - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelLookahead
 
generateImportLab() - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelRandomWalk
 
generateResults(int, Tester) - Method in class nz.ac.waikato.modeljunit.ResultExtractor
 
get(Object) - Method in interface nz.ac.waikato.jdsl.core.api.Decorable
Returns the value in the (attribute, value) entry associated with a certain attribute, attr, in this decorable object.
get(Object) - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDecorable
Gets the value of a decoration.
get(Object) - Method in class nz.ac.waikato.jdsl.graph.api.Edge.NONEEdge
 
get(Object) - Method in class nz.ac.waikato.jdsl.graph.api.Vertex.NONEVertex
 
getAction() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
 
getAction() - Method in class nz.ac.waikato.modeljunit.Transition
 
getActionHistoryList() - Method in class nz.ac.waikato.modeljunit.gui.PanelAnimator
 
getActionName(int) - Method in class nz.ac.waikato.modeljunit.Model
Returns the name of the given Action.
getActionName(int) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Returns the name of the given Action.
getActionName() - Method in exception nz.ac.waikato.modeljunit.TestFailureException
 
getActionNumber(String) - Method in class nz.ac.waikato.modeljunit.Model
Looks up an Action by name and returns its number.
getAlgorithm() - Method in class nz.ac.waikato.modeljunit.gui.Project
 
getAlgorithmName() - Method in class nz.ac.waikato.modeljunit.gui.AlgorithmPanel
 
getAlgorithmName() - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelAdapter
 
getAlgorithmName() - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
getByte(byte[], int) - Method in class nz.ac.waikato.modeljunit.examples.gsm.GSM11Impl
Reads one unsigned bytes from buf[pos].
getByte(byte[], int) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
 
getClassName() - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
getCodeView() - Method in class nz.ac.waikato.modeljunit.gui.PanelTestDesign
 
getCodeViewerInstance() - Static method in class nz.ac.waikato.modeljunit.gui.PanelCodeViewer
 
getConfiguration() - Method in class nz.ac.waikato.modeljunit.gui.Project
 
getCoverage() - Method in class nz.ac.waikato.modeljunit.coverage.AbstractCoverage
 
getCoverage() - Method in class nz.ac.waikato.modeljunit.coverage.CoverageHistory
Returns getMetric().getCoverage().
getCoverage() - Method in interface nz.ac.waikato.modeljunit.coverage.CoverageMetric
The number of 'items' covered so far.
getCoverageLineColors() - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
getCoverageMetrics() - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. A list of all the current coverage listeners
getCoverageOption() - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
getCoverageOptions() - Method in class nz.ac.waikato.modeljunit.gui.Project
 
getCurrentAlgorithm() - Method in class nz.ac.waikato.modeljunit.gui.PanelTestDesign
 
getCurrentState() - Method in class nz.ac.waikato.modeljunit.Model
Returns the current state of the implementation under test.
getCurrentState() - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Returns the current state of the implementation under test.
getCycle() - Method in class nz.ac.waikato.jdsl.graph.algo.DirectedFindCycleDFS
Returns an ObjectIterator containing all of the Vertices in the found cycle.
getCycle() - Method in class nz.ac.waikato.jdsl.graph.algo.FindCycleDFS
Returns an ObjectIterator containing all of the Vertices in the found cycle.
getDepth() - Method in class nz.ac.waikato.modeljunit.LookaheadTester
 
getDescription() - Method in class nz.ac.waikato.modeljunit.AllRoundTester
 
getDescription() - Method in class nz.ac.waikato.modeljunit.coverage.ActionCoverage
 
getDescription() - Method in class nz.ac.waikato.modeljunit.coverage.CoverageHistory
Delegates to getMetric().getDescription().
getDescription() - Method in interface nz.ac.waikato.modeljunit.coverage.CoverageMetric
A medium-length description of this coverage metric.
getDescription() - Method in class nz.ac.waikato.modeljunit.coverage.StateCoverage
 
getDescription() - Method in class nz.ac.waikato.modeljunit.coverage.TransitionCoverage
 
getDescription() - Method in class nz.ac.waikato.modeljunit.coverage.TransitionPairCoverage
 
getDescription() - Method in class nz.ac.waikato.modeljunit.GreedyTester
 
getDescription() - Method in class nz.ac.waikato.modeljunit.gui.FileChooserFilter
 
getDescription() - Method in class nz.ac.waikato.modeljunit.LookaheadTester
 
getDescription() - Method in class nz.ac.waikato.modeljunit.RandomTester
 
getDescription() - Method in class nz.ac.waikato.modeljunit.Tester
A brief description of this test generation algorithm.
getDestVertex() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
 
getDestVertexName() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
 
getDetails() - Method in class nz.ac.waikato.modeljunit.coverage.AbstractCoverage
 
getDetails() - Method in class nz.ac.waikato.modeljunit.coverage.CoverageHistory
Returns getMetric().getDetails().
getDetails() - Method in interface nz.ac.waikato.modeljunit.coverage.CoverageMetric
Details of which items have been covered and how many times.
getDone(Object) - Method in class nz.ac.waikato.modeljunit.GraphListener
Returns a bitset of all the DONE bits for this state.
getEdge(Transition) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.JUNGHelper
This method will return an EdgeInfo object given a transition.
getEdgeToParent(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Can be overridden to supply a way of storing and retrieving one edge per vertex.
getEndState() - Method in class nz.ac.waikato.modeljunit.Transition
 
getExplanation() - Method in class nz.ac.waikato.modeljunit.gui.AlgorithmPanel
 
getExplanation() - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelAdapter
 
getFactory() - Static method in class nz.ac.waikato.modeljunit.ListenerFactory
Returns the singleton instance of this factory class.
getFailedEdge() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
 
getFailedMsg() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
 
getFailedTests() - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Returns the number of test failures.
getFailureVerbosity() - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
getFailureVerbosity() - Method in class nz.ac.waikato.modeljunit.gui.Project
 
getFailureVerbosity() - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. The amount of information printed when a test fails.
getFileChooserOpenMode() - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
getFileName() - Method in class nz.ac.waikato.modeljunit.gui.Project
Get the current filename for the project.
getFrame() - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
getGenerateGraph() - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
getGenerateGraph() - Method in class nz.ac.waikato.modeljunit.gui.Project
 
getGraph() - Method in class nz.ac.waikato.modeljunit.GraphListener
Returns the graph of the FSM model.
getGraph() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.JUNGHelper
Get the JUNG graph.
getGraph() - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Returns the graph of the FSM model.
getGraphListener() - Method in class nz.ac.waikato.modeljunit.Model
Get the GraphListener for this model.
getGraphVisualisationInstance() - Static method in class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation
Use singleton pattern to get instance of graph view panel
getHistory() - Method in class nz.ac.waikato.modeljunit.coverage.CoverageHistory
Returns the list of coverage snapshots.
getIncoming() - Method in class nz.ac.waikato.modeljunit.TransitionPair
 
getIncomingEdges() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexInfo
 
getInstance() - Static method in class nz.ac.waikato.modeljunit.gui.ClassFileLoader
 
getInstance() - Static method in class nz.ac.waikato.modeljunit.gui.PanelAnimator
 
getInstance() - Static method in class nz.ac.waikato.modeljunit.gui.PanelCoverage
 
getInstance() - Static method in class nz.ac.waikato.modeljunit.gui.Project
 
getIsDisplayed() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
 
getIsDisplayed() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexInfo
 
getIsFailedVertex() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexInfo
 
getIsVisited() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
 
getIsVisited() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexInfo
 
getJUNGViewInstance() - Static method in class nz.ac.waikato.modeljunit.gui.visualisaton.JUNGHelper
Get an instance of this class.
getLastModified() - Method in class nz.ac.waikato.modeljunit.gui.Project
 
getLayout(JUNGHelper.LayoutType) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.JUNGHelper
This method will return the layout required for a visualisation viewer.
getListener(String) - Method in class nz.ac.waikato.modeljunit.ListenerFactory
Gets a pre-defined listener, or null if one is not known.
getListener(String) - Method in class nz.ac.waikato.modeljunit.Model
Get a listener by name, or null if that name is unused.
getListenerClass(String) - Method in class nz.ac.waikato.modeljunit.ListenerFactory
Returns the class that will be used to create the given kind of listeners, or null if unknown.
getListenerNames() - Method in class nz.ac.waikato.modeljunit.Model
The set of names of all the current coverage metrics and listeners
getLocator(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Can be overridden to supply a way of storing and retrieving one locator per vertex.
getLocator(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
Can be overridden to supply a way of storing and retrieving one locator per vertex.
getLoopTolerance() - Method in class nz.ac.waikato.modeljunit.AllRoundTester
The maximum number of times that any state can appear in a test sequence during test generation.
getLowestTimeout() - Method in class nz.ac.waikato.modeljunit.timing.TimedModel
Gets the timeout that will expire next in the model.
getLowestTimeoutValue() - Method in class nz.ac.waikato.modeljunit.timing.TimedModel
Gets the value of the lowest enabled timeout.
getMaximum() - Method in class nz.ac.waikato.modeljunit.coverage.AbstractCoverage
The maximum number of items that can be covered.
getMaximum() - Method in class nz.ac.waikato.modeljunit.coverage.ActionCoverage
 
getMaximum() - Method in class nz.ac.waikato.modeljunit.coverage.CoverageHistory
Returns getMetric().getMaximum().
getMaximum() - Method in interface nz.ac.waikato.modeljunit.coverage.CoverageMetric
The maximum coverage possible.
getMaxLength() - Method in class nz.ac.waikato.modeljunit.LookaheadTester
The maximum length of each generated test.
getMethodList() - Static method in class nz.ac.waikato.modeljunit.gui.TestExeModel
 
getMetric() - Method in class nz.ac.waikato.modeljunit.coverage.CoverageHistory
Returns the underlying coverage metric.
getModel() - Method in class nz.ac.waikato.modeljunit.AbstractListener
Returns the model that this listener is listening to.
getModel() - Static method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
getModel() - Method in class nz.ac.waikato.modeljunit.Model
Returns the model object that is begin tested.
getModel() - Method in interface nz.ac.waikato.modeljunit.ModelListener
Returns the model that this listener is listening to.
getModel() - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Returns the model object that is begin tested.
getModel() - Method in class nz.ac.waikato.modeljunit.Tester
 
getModel() - Method in exception nz.ac.waikato.modeljunit.TestFailureException
 
getModelChooserDirectory() - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
The absolute path to the directory that contains the .class model files.
getModelClass() - Static method in class nz.ac.waikato.modeljunit.gui.TestExeModel
 
getModelClass() - Method in class nz.ac.waikato.modeljunit.Model
Returns the FSM class that is the test model.
getModelClass() - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Returns the FSM class that is the test model.
getModelFile() - Method in class nz.ac.waikato.modeljunit.gui.Project
 
getModelFolder() - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
The path to the directory containing the model files.
getModelName() - Method in class nz.ac.waikato.modeljunit.Model
Returns the name of the FSM class that is the test model.
getModelName() - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Returns the name of the FSM class that is the test model.
getModelName() - Method in exception nz.ac.waikato.modeljunit.TestFailureException
 
getModelObject() - Static method in class nz.ac.waikato.modeljunit.gui.TestExeModel
 
getModelPath() - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
The absolute path of the model (.class) file.
getName() - Method in class nz.ac.waikato.modeljunit.AllRoundTester
 
getName() - Method in class nz.ac.waikato.modeljunit.coverage.ActionCoverage
 
getName() - Method in class nz.ac.waikato.modeljunit.coverage.CoverageHistory
Delegates to getMetric().getName().
getName() - Method in class nz.ac.waikato.modeljunit.coverage.StateCoverage
 
getName() - Method in class nz.ac.waikato.modeljunit.coverage.TransitionCoverage
 
getName() - Method in class nz.ac.waikato.modeljunit.coverage.TransitionPairCoverage
 
getName() - Method in class nz.ac.waikato.modeljunit.GraphListener
 
getName() - Method in class nz.ac.waikato.modeljunit.GreedyTester
 
getName() - Method in class nz.ac.waikato.modeljunit.gui.Project
Get the project name
getName() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexInfo
 
getName() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VisualisationListener
 
getName() - Method in class nz.ac.waikato.modeljunit.LookaheadTester
 
getName() - Method in interface nz.ac.waikato.modeljunit.ModelListener
Get the short name that this listener is known by.
getName() - Method in class nz.ac.waikato.modeljunit.RandomTester
 
getName() - Method in class nz.ac.waikato.modeljunit.StopOnFailureListener
 
getName() - Method in class nz.ac.waikato.modeljunit.Tester
The name of this test generation algorithm.
getName() - Method in class nz.ac.waikato.modeljunit.VerboseListener
 
getNames() - Method in class nz.ac.waikato.modeljunit.ListenerFactory
Returns all the known names of predefined listeners.
getNewActionValue() - Method in class nz.ac.waikato.modeljunit.LookaheadTester
 
getNewTransValue() - Method in class nz.ac.waikato.modeljunit.LookaheadTester
 
getNextTimeIncrement() - Method in class nz.ac.waikato.modeljunit.examples.AlarmClock
 
getNextTimeIncrement() - Method in class nz.ac.waikato.modeljunit.examples.TrafficLight
Take random steps of between 1 and 10 time units (inclusive)
getNextTimeIncrement() - Method in interface nz.ac.waikato.modeljunit.timing.TimedFsmModel
Function used to get the amount of time to move forward the next time that the time is incremented.
getNumActions() - Method in class nz.ac.waikato.modeljunit.Model
The total number of Actions.
getNumActions() - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. The total number of Actions.
getOptionPanel() - Method in class nz.ac.waikato.modeljunit.gui.AlgorithmPanel
 
getOutgoing() - Method in class nz.ac.waikato.modeljunit.TransitionPair
 
getOutgoingEdges() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexInfo
 
getOutput() - Method in class nz.ac.waikato.modeljunit.Model
The current output stream, which is used for messages and warnings.
getPackageLocation() - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
The path to the top-level package directory of the model.
getPackageName() - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
The name of the Java package that contains the model.
getPanelExecuteActionsInstance() - Static method in class nz.ac.waikato.modeljunit.gui.PanelExecuteActions
 
getParameter() - Method in class nz.ac.waikato.modeljunit.gui.Project
 
getPercentage() - Method in class nz.ac.waikato.modeljunit.coverage.AbstractCoverage
 
getPercentage() - Method in class nz.ac.waikato.modeljunit.coverage.CoverageHistory
Returns getMetric().getPercentage().
getPercentage() - Method in interface nz.ac.waikato.modeljunit.coverage.CoverageMetric
The current coverage percentage.
getProgress() - Method in class nz.ac.waikato.modeljunit.gui.PanelCoverage
 
getProject() - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
getProperty(String) - Method in class nz.ac.waikato.modeljunit.gui.Project
Get a configuration value
getRand() - Method in class nz.ac.waikato.modeljunit.ResultExtractor
 
getRandom() - Method in class nz.ac.waikato.modeljunit.Tester
Get the random number generator that is used for test generation.
getResetButton() - Method in class nz.ac.waikato.modeljunit.gui.PanelAnimator
 
getResetProbability() - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
getResetProbability() - Method in class nz.ac.waikato.modeljunit.gui.Project
 
getResetProbability() - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. The probability of spontaneously doing a reset rather than a normal transition during random walks etc.
getResetProbability() - Method in class nz.ac.waikato.modeljunit.RandomTester
The probability of spontaneously doing a reset rather than a normal transition during random walks etc.
getResultViewerInstance() - Static method in class nz.ac.waikato.modeljunit.gui.PanelResultViewer
 
getRootTreeNode() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.JUNGHelper
This will return a root tree node.
getSequence() - Method in exception nz.ac.waikato.modeljunit.TestFailureException
 
getSequences_() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
 
getSrcVertex() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
 
getSrcVertexName() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
 
getStages() - Method in class nz.ac.waikato.modeljunit.gui.PanelCoverage
To get how many times the test has to run to draw the line chart
getStartState() - Method in class nz.ac.waikato.modeljunit.Transition
 
getState() - Method in class nz.ac.waikato.modeljunit.examples.AlarmClock
 
getState() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
getState() - Method in class nz.ac.waikato.modeljunit.examples.FSM
 
getState() - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
getState() - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
Converts elem into a string of 'T' and 'F' characters.
getState() - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
getState() - Method in class nz.ac.waikato.modeljunit.examples.SimpleSet
 
getState() - Method in class nz.ac.waikato.modeljunit.examples.SimpleSetWithAdaptor
 
getState() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
getState() - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
getState() - Method in class nz.ac.waikato.modeljunit.examples.TrafficLight
 
getState() - Method in interface nz.ac.waikato.modeljunit.FsmModel
Return the current state of the FSM model.
getState() - Method in exception nz.ac.waikato.modeljunit.TestFailureException
 
getStateLabel() - Method in class nz.ac.waikato.modeljunit.gui.PanelAnimator
 
getTestCaseVariableName() - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
getTestDesignPanelInstance(ModelJUnitGUI) - Static method in class nz.ac.waikato.modeljunit.gui.PanelTestDesign
Singleton factory method for creating the test design panel.
getTester(int) - Method in class nz.ac.waikato.modeljunit.gui.AlgorithmPanel
This delegates to the getTester method of the parameters pane.
getTester(int) - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelAdapter
 
getTester(int) - Static method in class nz.ac.waikato.modeljunit.gui.TestExeModel
 
getTesting() - Method in class nz.ac.waikato.modeljunit.Model
True means we are generating real tests.
getTestLength() - Method in class nz.ac.waikato.modeljunit.ResultExtractor
 
getTime() - Method in class nz.ac.waikato.modeljunit.timing.TimedModel
Gets the current Time of the model.
getTimeoutName(int) - Method in class nz.ac.waikato.modeljunit.timing.TimedModel
 
getTimeoutProbability() - Method in class nz.ac.waikato.modeljunit.timing.TimedModel
 
getTitle() - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
getTodo(Object) - Method in class nz.ac.waikato.modeljunit.GraphListener
Returns a bitset of all the TODO bits for this state.
getTransition() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
 
getVerbosity() - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
getVerbosity() - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Says how many progress messages will be printed.
getVersion() - Method in class nz.ac.waikato.modeljunit.gui.Project
 
getVersion() - Static method in class nz.ac.waikato.modeljunit.Model
The version of ModelJUnit
getVertex(Object) - Method in class nz.ac.waikato.modeljunit.GraphListener
Maps a state to a vertex object of the FSM graph.
getVertex() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexInfo
 
getVertex(Object) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Maps a state to a vertex object of the FSM graph.
getVertexMap() - Method in class nz.ac.waikato.modeljunit.GraphListener
Returns a map that maps each state of the model to the corresponding vertex of the graph.
getVertices() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.JUNGHelper
This method will get all the vertices as an arraylist.
getVisualisationViewer() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation
This method gives the controls access to the visualisation viewer.
getWalkLength() - Method in class nz.ac.waikato.modeljunit.gui.Project
 
getWalkLength() - Static method in class nz.ac.waikato.modeljunit.gui.TestExeModel
 
getWord(byte[], int) - Method in class nz.ac.waikato.modeljunit.examples.gsm.GSM11Impl
Reads a two-byte word from buf[pos..pos+1].
getWord(byte[], int) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
 
gotoRegister() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
gotoRegisterGuard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
graftOnLeft(Position, Object, BinaryTree) - Method in interface nz.ac.waikato.jdsl.core.api.BinaryTree
Position subtreeRoot of this binary tree is demoted one level, with all the positions and elements unchanged, and becomes the right child of a new node storing the given element.
graftOnLeft(Position, Object, BinaryTree) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
Takes O(S) time, where S is the number of positions in the new subtree to graft on You are only allowed to link in and replaceSubtree with other instances of NodeBinaryTree (or subclasses thereof)
graftOnRight(Position, Object, BinaryTree) - Method in interface nz.ac.waikato.jdsl.core.api.BinaryTree
Position subtreeRoot of this binary tree is demoted one level, with all the positions and elements unchanged, and becomes the left child of a new node, storing the given element.
graftOnRight(Position, Object, BinaryTree) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
Takes O(S) time, where S is the number of positions in the new subtree to graft on You are only allowed to link in and replaceSubtree with other instances of NodeBinaryTree (or subclasses thereof)
Graph - Interface in nz.ac.waikato.jdsl.graph.api
An interface describing a combinatorial graph.
graph - Variable in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexStrokeTransformer
 
graph_ - Variable in class nz.ac.waikato.jdsl.graph.algo.AbstractTopologicalSort
The Graph that the algorithm executes upon.
graph_ - Variable in class nz.ac.waikato.jdsl.graph.algo.DFS
The graph being traversed.
graph_ - Variable in class nz.ac.waikato.modeljunit.GreedyTester
 
graph_ - Variable in class nz.ac.waikato.modeljunit.LookaheadTester
 
graphDoneReset(String) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.JUNGHelper
This is run when the graph is reset.
GraphException - Exception in nz.ac.waikato.jdsl.graph.api
nz.ac.waikato.jdsl.graph.api package.
GraphException(String) - Constructor for exception nz.ac.waikato.jdsl.graph.api.GraphException
 
GraphException(String, Throwable) - Constructor for exception nz.ac.waikato.jdsl.graph.api.GraphException
 
GraphException(Throwable) - Constructor for exception nz.ac.waikato.jdsl.graph.api.GraphException
 
GraphListener - Class in nz.ac.waikato.modeljunit
This ModelListener builds a graph of the observed parts of the model.
GraphListener() - Constructor for class nz.ac.waikato.modeljunit.GraphListener
 
greedyRandomWalk(int) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated.  
greedyRandomWalk(int, Random) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated.  
GreedyTester - Class in nz.ac.waikato.modeljunit
Test a system by making greedy walks through an EFSM model of the system.
GreedyTester(Model) - Constructor for class nz.ac.waikato.modeljunit.GreedyTester
Creates a test generator that can generate random walks.
GreedyTester(FsmModel) - Constructor for class nz.ac.waikato.modeljunit.GreedyTester
A convenience constructor that puts a Model wrapper around an FsmModel.
GSM11Impl - Class in nz.ac.waikato.modeljunit.examples.gsm
This is a simple Java implementation of the GSM 11.11 standard.
GSM11Impl() - Constructor for class nz.ac.waikato.modeljunit.examples.gsm.GSM11Impl
 
GSM11ImplTest - Class in nz.ac.waikato.modeljunit.examples.gsm
 
GSM11ImplTest() - Constructor for class nz.ac.waikato.modeljunit.examples.gsm.GSM11ImplTest
 

H

has(Object) - Method in interface nz.ac.waikato.jdsl.core.api.Decorable
Tests whether there is an (attribute, value) entry associated with a certain attribute in this decorable object.
has(Object) - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDecorable
Tests if a decoration exists.
has(Object) - Method in class nz.ac.waikato.jdsl.graph.api.Edge.NONEEdge
 
has(Object) - Method in class nz.ac.waikato.jdsl.graph.api.Vertex.NONEVertex
 
hash(Object) - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDecorable
Gets the hashcode for a particular object.
hashCode() - Method in class nz.ac.waikato.modeljunit.timing.TimedTransition
Returns the hashscode for a timed transition.
hashCode() - Method in class nz.ac.waikato.modeljunit.Transition
 
hashCode() - Method in class nz.ac.waikato.modeljunit.TransitionPair
 
HashComparator - Interface in nz.ac.waikato.jdsl.core.api
This interface provides a way of mapping any object in a set to an integer, for purposes of implementing hash tables.
HashtableDecorable - Class in nz.ac.waikato.jdsl.core.ref
An implementation of Decorable using a hashtable.
HashtableDecorable() - Constructor for class nz.ac.waikato.jdsl.core.ref.HashtableDecorable
 
HashtableDictionary - Class in nz.ac.waikato.jdsl.core.ref
An implementation of Dictionary using a chaining hashtable.
HashtableDictionary(HashComparator) - Constructor for class nz.ac.waikato.jdsl.core.ref.HashtableDictionary
This constructor takes a Comparator which can determine if it can compare a key, and if two keys are equal, nothing more.
HashtableDictionary(HashComparator, int) - Constructor for class nz.ac.waikato.jdsl.core.ref.HashtableDictionary
This constructor takes a Comparator which can determine if it can compare a key, and if two keys are equal, nothing more, and an integer denoting the initial capacity.
hashValue(Object) - Method in interface nz.ac.waikato.jdsl.core.api.HashComparator
Returns the hash code value to be used for the object in this comparator.
hashValue(Object) - Method in class nz.ac.waikato.jdsl.core.ref.IntegerHashComparator
defines a mapping f: Integer -> \mathbb{Z} \cap [0, 2^{31} -1]
hashValue(Object) - Method in class nz.ac.waikato.jdsl.core.ref.ObjectHashComparator
 
hasNext() - Method in interface nz.ac.waikato.jdsl.core.api.ObjectIterator
 
hasNext() - Method in class nz.ac.waikato.jdsl.core.ref.AbstractArrayIterator
 
hasNext() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayObjectIterator
Takes O(1) time
hasNext() - Method in class nz.ac.waikato.jdsl.core.ref.InOrderIterator
Takes O(1) time
hasNext() - Method in class nz.ac.waikato.jdsl.core.ref.PostOrderIterator
Takes O(1) time
hasNext() - Method in class nz.ac.waikato.jdsl.core.ref.PreOrderIterator
Takes O(1) time
hasNext() - Method in class nz.ac.waikato.jdsl.graph.ref.AbstractGraph.OO_to_O_MergerIterator
 
hasNext() - Method in class nz.ac.waikato.jdsl.graph.ref.EdgeIteratorAdapter
 
hasNext() - Method in class nz.ac.waikato.jdsl.graph.ref.VertexIteratorAdapter
 
HeapSort - Class in nz.ac.waikato.jdsl.core.algo.sorts
Performs a heap-sort in O(n log n) time, provided only that the replaceElement(.) method of the Sequence works in O(1) time (and thus the style of implementation of the Sequence is not relevant).
HeapSort() - Constructor for class nz.ac.waikato.jdsl.core.algo.sorts.HeapSort
 
heavy - Variable in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexStrokeTransformer
 
highlight - Variable in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexStrokeTransformer
 

I

IAlgorithmParameter - Interface in nz.ac.waikato.modeljunit.gui
 
iCurrentIndex_ - Variable in class nz.ac.waikato.jdsl.core.ref.AbstractArrayIterator
 
iCurrentIndex_ - Variable in class nz.ac.waikato.jdsl.core.ref.ArrayObjectIterator
 
iLastIndex_ - Variable in class nz.ac.waikato.jdsl.core.ref.AbstractArrayIterator
 
iLastIndex_ - Variable in class nz.ac.waikato.jdsl.core.ref.ArrayObjectIterator
 
IN - Static variable in interface nz.ac.waikato.jdsl.graph.api.EdgeDirection
 
IncidenceListGraph - Class in nz.ac.waikato.jdsl.graph.ref
An implementation of the Graph interface, including self-loops, parallel edges, and mixed directed and undirected edges.
IncidenceListGraph() - Constructor for class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
Creates a new IncidenceListGraph with default parameters.
incidentEdges(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Can be overridden in any application where the default choice of edges to consider at any vertex is not satisfactory.
incidentEdges(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
Can be overridden in any application where the default choice of edges to consider at any vertex is not satisfactory.
incidentEdges(Vertex) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
incidentEdges(Vertex, int) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
incidentEdges(Vertex) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(degree)
incidentEdges(Vertex, int) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(degree)
incrementItem(Object) - Method in class nz.ac.waikato.modeljunit.coverage.AbstractCoverage
Increments the count of item in the coverage_ map.
incrementTime() - Method in class nz.ac.waikato.modeljunit.timing.TimedModel
Increment the current time by a random value between the minimum and maximum delays.
indent(String) - Static method in class nz.ac.waikato.modeljunit.gui.Indentation
This adds the current indentation prefix to str.
Indentation - Class in nz.ac.waikato.modeljunit.gui
 
Indentation() - Constructor for class nz.ac.waikato.modeljunit.gui.Indentation
 
INFINITY - Variable in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
 
INFO - Variable in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
InfoLabelTransformer<v,E> - Class in nz.ac.waikato.modeljunit.gui.visualisaton
 
InfoLabelTransformer() - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.InfoLabelTransformer
 
init() - Method in class nz.ac.waikato.jdsl.core.algo.traversals.EulerTour
Called in execute(.), before algorithm is executed.
init(InspectableGraph) - Method in class nz.ac.waikato.jdsl.graph.algo.AbstractTopologicalSort
This helper method is called by the execute(.) method.
init(InspectableGraph, Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Called automatically by executeAll(); must be called by the client prior to the first call to doOneIteration() if finer-grained control of the algorithm is needed.
init(InspectableGraph, Vertex, int) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
Called automatically by executeAll(); must be called by the client prior to the first call to doOneIteration() if finer-grained control of the algorithm is needed.
initCmd(int, int, int, int) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
Sets up the first few bytes of the APDU, ready to send to the SIM.
initialize(int) - Method in class nz.ac.waikato.modeljunit.gui.AlgorithmPanel
This delegates to the initialize method of the parameters pane.
initialize(int) - Method in interface nz.ac.waikato.modeljunit.gui.IAlgorithmParameter
Initialize particular tester object.
initialize(int) - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelAdapter
 
initialize(int) - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelGreedy
Initialize tester and model
initialize(int) - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelLookahead
 
initialize(int) - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelRandomWalk
 
initializeTester(int) - Method in class nz.ac.waikato.modeljunit.gui.PanelTestDesign
After user successfully load a new model this method will be called to initialize model and tester to run test and set the new model loaded flag to false.
initMap() - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Can be overridden to initialize a locator-lookup data structure of your choosing, but the default implementation, which decorates each vertex with its locator, is probably sufficient for most purposes.
initMap() - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
Can be overridden to initialize a locator-lookup data structure of your choosing, but the default implementation, which uses a java.util.Hashtable, is probably sufficient for most purposes.
InOrderIterator - Class in nz.ac.waikato.jdsl.core.ref
The inorder iterator gives an inorder iteration of a binary tree.
InOrderIterator(InspectableBinaryTree) - Constructor for class nz.ac.waikato.jdsl.core.ref.InOrderIterator
Constructs a new InOrderIterator to iterate over the given container Puts a reference to each position into the array -- takes O(N) time where N = the number of positions in the container (given assumptions discussed in header)
insert(Object, Object) - Method in interface nz.ac.waikato.jdsl.core.api.KeyBasedContainer
Inserts a (key,element) pair into this container.
insert(Object, Object) - Method in class nz.ac.waikato.jdsl.core.ref.ArrayHeap
If the array is full, its capacity is doubled before the insertion by copying the elements into a new array.
insert(Object, Object) - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDictionary
O(1) expected, O(N) if insertion pushes the size above the rehashing threshhold.
insert(Object, Object) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(logN) time -- where N = the number of locators in the tree and O(logN) = the height of the tree The worst-case insertion would restructure once each step up the tree.
insertAfter(Position, Object) - Method in interface nz.ac.waikato.jdsl.core.api.Sequence
Inserts an object after a position in the sequence.
insertAfter(Position, Object) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
This method also clears the Position and element caches.
insertAfter(Position, Object) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
This method also clears the position cache.
insertAfterSibling(Position, Object) - Method in interface nz.ac.waikato.jdsl.core.api.Tree
Inserts a new sibling after a given node
insertAfterSibling(Position, Object) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
insertAtRank(int, Object) - Method in interface nz.ac.waikato.jdsl.core.api.Sequence
Inserts based on an integer rank similar to array indices.
insertAtRank(int, Object) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
This method also clears the Position and element caches.
insertAtRank(int, Object) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
This method also clears the position cache.
insertBefore(Position, Object) - Method in interface nz.ac.waikato.jdsl.core.api.Sequence
Inserts an object before a position in the sequence.
insertBefore(Position, Object) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
This method also clears the Position and element caches.
insertBefore(Position, Object) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
This method also clears the position cache.
insertBeforeSibling(Position, Object) - Method in interface nz.ac.waikato.jdsl.core.api.Tree
Inserts a new sibling before a given node.
insertBeforeSibling(Position, Object) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
insertChildAtRank(Position, int, Object) - Method in interface nz.ac.waikato.jdsl.core.api.Tree
Inserts a new child of node at the specified rank.
insertChildAtRank(Position, int, Object) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(the number of children of the node) time
insertDirectedEdge(Vertex, Vertex, Object) - Method in interface nz.ac.waikato.jdsl.graph.api.Graph
Inserts a new directed edge from an existing vertex to another.
insertDirectedEdge(Vertex, Vertex, Object) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
insertEdge(Vertex, Vertex, Object) - Method in interface nz.ac.waikato.jdsl.graph.api.Graph
Inserts a new undirected edge between two existing vertices.
insertEdge(Vertex, Vertex, Object) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
insertFirst(Object) - Method in interface nz.ac.waikato.jdsl.core.api.Sequence
Inserts an object as first element of the sequence
insertFirst(Object) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
This method also clears the Position and element caches.
insertFirst(Object) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
This method also clears the position cache.
insertFirstChild(Position, Object) - Method in interface nz.ac.waikato.jdsl.core.api.Tree
Inserts a new child of node as the first child.
insertFirstChild(Position, Object) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
insertLast(Object) - Method in interface nz.ac.waikato.jdsl.core.api.Sequence
Inserts an object as last element of the sequence.
insertLast(Object) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
This method also clears the Position and element caches.
insertLast(Object) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
This method also clears the position cache.
insertLastChild(Position, Object) - Method in interface nz.ac.waikato.jdsl.core.api.Tree
Inserts a new child of node as the last child.
insertLastChild(Position, Object) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
insertVertex(Object) - Method in interface nz.ac.waikato.jdsl.graph.api.Graph
Inserts a new isolated vertex.
insertVertex(Object) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
InspectableBinaryTree - Interface in nz.ac.waikato.jdsl.core.api
Please refer to the documentation of the BinaryTree interface.
inspectableBinaryTree() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayHeap
Creates an InspectableBinaryTree snapshot view of the heap.
inspectableBinaryTree() - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Used for visualization and testers
InspectableContainer - Interface in nz.ac.waikato.jdsl.core.api
A "read only" interface to a container; please see Container for more details.
InspectableDictionary - Interface in nz.ac.waikato.jdsl.core.api
A read-only lookup structure; please refer to the documentation of Dictionary for more details.
InspectableDictionary.InvalidLocator - Class in nz.ac.waikato.jdsl.core.api
A locator that is always invalid.
InspectableDictionary.InvalidLocator(String) - Constructor for class nz.ac.waikato.jdsl.core.api.InspectableDictionary.InvalidLocator
 
InspectableDictionary.InvalidLocator() - Constructor for class nz.ac.waikato.jdsl.core.api.InspectableDictionary.InvalidLocator
 
InspectableGraph - Interface in nz.ac.waikato.jdsl.graph.api
An interface describing the accessor methods of a combinatorial graph.
InspectableKeyBasedContainer - Interface in nz.ac.waikato.jdsl.core.api
Please refer to the documentation of KeyBasedContainer.
InspectableOrderedDictionary - Interface in nz.ac.waikato.jdsl.core.api
A read-only lookup structure in which an ordering of the keys is maintained; please refer to the documentation of OrderedDictionary for more details.
InspectablePositionalContainer - Interface in nz.ac.waikato.jdsl.core.api
Please refer to the documentation of PositionalContainer.
InspectableSequence - Interface in nz.ac.waikato.jdsl.core.api
Please refer to the documentation of Sequence.
InspectableTree - Interface in nz.ac.waikato.jdsl.core.api
Please refer to the documentation of Tree
IntegerComparator - Class in nz.ac.waikato.jdsl.core.ref
Compares java.lang.Integers.
IntegerComparator() - Constructor for class nz.ac.waikato.jdsl.core.ref.IntegerComparator
 
IntegerDijkstraPathfinder - Class in nz.ac.waikato.jdsl.graph.algo
using Dijkstra's algorithm.
IntegerDijkstraPathfinder() - Constructor for class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraPathfinder
 
IntegerDijkstraTemplate - Class in nz.ac.waikato.jdsl.graph.algo
Implementation of Dijkstra's algorithm using the template-method pattern: the core functionality is coded in a few final methods that call overridable methods to do some of the work.
IntegerDijkstraTemplate() - Constructor for class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
 
IntegerHashComparator - Class in nz.ac.waikato.jdsl.core.ref
An implementation of a HashComparator for java.lang.Integers
IntegerHashComparator() - Constructor for class nz.ac.waikato.jdsl.core.ref.IntegerHashComparator
 
IntegerPrimTemplate - Class in nz.ac.waikato.jdsl.graph.algo
Implementation of the algorithm of Prim and Jarnik for finding a minimum spanning tree, using the template-method pattern: the core functionality is coded in a few final methods that call overridable methods to do some of the work.
IntegerPrimTemplate() - Constructor for class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
 
interestingIncidentEdges(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
A method that returns an iterator over those edges incident to the parameter vertex in the graph which should be considered for exploration.
interestingIncidentEdges(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DirectedDFS
This implementation of interestingEdges(Vertex) returns all of the directed edges originating at the parameter Vertex.
interestingIncidentEdges(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.FindCycleDFS
This method tells the DFS which graph edges to check.
InvalidAccessorException - Exception in nz.ac.waikato.jdsl.core.api
Used when an accessor (position or locator) is invalid, either internally invalid or invalid with respect to a particular container.
InvalidAccessorException(String) - Constructor for exception nz.ac.waikato.jdsl.core.api.InvalidAccessorException
 
InvalidAccessorException(String, Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.api.InvalidAccessorException
 
InvalidAccessorException(Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.api.InvalidAccessorException
 
InvalidAttributeException - Exception in nz.ac.waikato.jdsl.core.api
Used when the key for an attribute lookup is not supported by the implementation's lookup mechanism.
InvalidAttributeException(String) - Constructor for exception nz.ac.waikato.jdsl.core.api.InvalidAttributeException
 
InvalidAttributeException(String, Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.api.InvalidAttributeException
 
InvalidAttributeException(Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.api.InvalidAttributeException
 
InvalidContainerException - Exception in nz.ac.waikato.jdsl.core.api
Used to indicate that a container passed to a function is of the wrong type or otherwise invalid for that function call.
InvalidContainerException(String) - Constructor for exception nz.ac.waikato.jdsl.core.api.InvalidContainerException
 
InvalidContainerException(String, Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.api.InvalidContainerException
 
InvalidContainerException(Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.api.InvalidContainerException
 
InvalidEdgeException - Exception in nz.ac.waikato.jdsl.graph.api
An object of this class gets thrown when topological information related to Edges is somehow incorrect.
InvalidEdgeException(String) - Constructor for exception nz.ac.waikato.jdsl.graph.api.InvalidEdgeException
 
InvalidEdgeException(String, Throwable) - Constructor for exception nz.ac.waikato.jdsl.graph.api.InvalidEdgeException
 
InvalidEdgeException(Throwable) - Constructor for exception nz.ac.waikato.jdsl.graph.api.InvalidEdgeException
 
InvalidKeyException - Exception in nz.ac.waikato.jdsl.core.api
Used when a key passed to a key-based container is not supported by the implementation's lookup mechanism.
InvalidKeyException(String) - Constructor for exception nz.ac.waikato.jdsl.core.api.InvalidKeyException
 
InvalidKeyException(String, Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.api.InvalidKeyException
 
InvalidKeyException(Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.api.InvalidKeyException
 
InvalidMethodCallException - Exception in nz.ac.waikato.jdsl.core.api
InvalidMethodCallException is intended for use only in methods that you expect never to be called -- for instance, in the prev() method of the head node in a sequence.
InvalidMethodCallException(String) - Constructor for exception nz.ac.waikato.jdsl.core.api.InvalidMethodCallException
 
InvalidMethodCallException(String, Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.api.InvalidMethodCallException
 
InvalidMethodCallException(Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.api.InvalidMethodCallException
 
InvalidQueryException - Exception in nz.ac.waikato.jdsl.graph.algo
This exception is currently used only by the two subclasses of AbstractTopologicalSort.
InvalidQueryException(String) - Constructor for exception nz.ac.waikato.jdsl.graph.algo.InvalidQueryException
 
InvalidQueryException(String, Throwable) - Constructor for exception nz.ac.waikato.jdsl.graph.algo.InvalidQueryException
 
InvalidQueryException(Throwable) - Constructor for exception nz.ac.waikato.jdsl.graph.algo.InvalidQueryException
 
InvalidVertexException - Exception in nz.ac.waikato.jdsl.graph.api
An object of this class gets thrown when topological information related to vertices is incorrect.
InvalidVertexException(String) - Constructor for exception nz.ac.waikato.jdsl.graph.api.InvalidVertexException
 
InvalidVertexException(String, Throwable) - Constructor for exception nz.ac.waikato.jdsl.graph.api.InvalidVertexException
 
InvalidVertexException(Throwable) - Constructor for exception nz.ac.waikato.jdsl.graph.api.InvalidVertexException
 
is_cyclic_ - Variable in class nz.ac.waikato.jdsl.graph.algo.AbstractTopologicalSort
Whether the graph has cycles or not.
isBackEdge(Edge) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Tests if an edge is a back edge.
isBlack(Position) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Returns whether or not the given position of the underlying tre is black; for visualization/testing purposes.
isComparable(Object) - Method in interface nz.ac.waikato.jdsl.core.api.EqualityComparator
Allows a container (or any client) to find out whether an object is a member of the ordered set over which this comparator is defined.
isComparable(Object) - Method in class nz.ac.waikato.jdsl.core.ref.ComparableComparator
 
isComparable(Object) - Method in class nz.ac.waikato.jdsl.core.ref.ComparatorExtender
Tests if an object is comparator by asking the comparator if compare(o,o)
isComparable(Object) - Method in class nz.ac.waikato.jdsl.core.ref.ComparatorReverser
 
isComparable(Object) - Method in class nz.ac.waikato.jdsl.core.ref.IntegerComparator
 
isComparable(Object) - Method in class nz.ac.waikato.jdsl.core.ref.IntegerHashComparator
determines if the Comparator can use this Object
isComparable(Object) - Method in class nz.ac.waikato.jdsl.core.ref.ObjectHashComparator
 
isComplete() - Method in class nz.ac.waikato.modeljunit.GraphListener
Returns true after the graph seems to be completely explored.
isCrossEdge(Edge) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Tests if an edge is a cross edge.
isCyclic() - Method in class nz.ac.waikato.jdsl.graph.algo.AbstractTopologicalSort
Query method for asking whether the Graph is cyclic, (and therefore inappropriate for a topological ordering).
isDirected(Edge) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
isDirected(Edge) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
isDone() - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Tests if the depth first search is done.
isDone() - Method in class nz.ac.waikato.jdsl.graph.algo.DirectedFindCycleDFS
Returns true iff a cycle has been found.
isDone() - Method in class nz.ac.waikato.jdsl.graph.algo.FindCycleDFS
Returns true iff a cycle has been found.
isDone(Object, int) - Method in class nz.ac.waikato.modeljunit.GraphListener
True if the given action has been executed from the given state.
isDoubleBlack(Position) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Returns whether or not the given position of the underlying tre is double-black; for visualization/testing purposes.
isEmpty() - Method in interface nz.ac.waikato.jdsl.core.api.InspectableContainer
Checks whether this container holds zero elements.
isEmpty() - Method in class nz.ac.waikato.jdsl.core.ref.AbstractPositionalContainer
Checks if this container is empty.
isEmpty() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayHeap
time complexity = worst-case O(1)
isEmpty() - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDictionary
O(1)
isEmpty() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
Overridden from AbstractPositionalContainer to be O(1) time.
isEmpty() - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
isEmpty() - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(1) time
isEmpty() - Method in class nz.ac.waikato.modeljunit.examples.StringSet
 
isEmpty() - Method in class nz.ac.waikato.modeljunit.examples.StringSetBuggy
 
isEnabled(int) - Method in class nz.ac.waikato.modeljunit.Model
Is Action number 'index' enabled? Returns true if Action number 'index' is enabled.
isEqualTo(Object, Object) - Method in interface nz.ac.waikato.jdsl.core.api.EqualityComparator
Tests the two parameter objects in the set over which the comparator is defined for equality.
isEqualTo(Object, Object) - Method in class nz.ac.waikato.jdsl.core.ref.AbstractComparator
 
isEqualTo(Object, Object) - Method in class nz.ac.waikato.jdsl.core.ref.IntegerHashComparator
tests equality on two Integers
isEqualTo(Object, Object) - Method in class nz.ac.waikato.jdsl.core.ref.ObjectHashComparator
returns x1.equals(x2)
isExternal(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableTree
Checks if a position is a leaf of this tree.
isExternal(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
isExternal(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
isFinished(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Tests whether a vertex has been reached.
isFirst(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableSequence
Check if the given position is the first.
isFirst(Position) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
O(1) time.
isFirst(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
O(1) time
isForwardEdge(Edge) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Tests if an edge is a forward edge.
isGreaterThan(Object, Object) - Method in interface nz.ac.waikato.jdsl.core.api.Comparator
Tests the strict order of two objects in the set over which this comparator is defined.
isGreaterThan(Object, Object) - Method in class nz.ac.waikato.jdsl.core.ref.AbstractComparator
 
isGreaterThanOrEqualTo(Object, Object) - Method in interface nz.ac.waikato.jdsl.core.api.Comparator
Tests non-strict order of two objects in the universe over which this comparator is defined.
isGreaterThanOrEqualTo(Object, Object) - Method in class nz.ac.waikato.jdsl.core.ref.AbstractComparator
 
isInitialState() - Method in class nz.ac.waikato.modeljunit.Model
True iff the current state is the initial state.
isInternal(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableTree
Checks if a position is an internal node of this tree.
isInternal(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
isInternal() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
O(1) time
isInternal() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
Should never be called
isInternal(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
isLast(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableSequence
Check if the given position is the last.
isLast(Position) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
O(1) time.
isLast(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
O(1) time
isLeftChild() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
O(1) time
isLessThan(Object, Object) - Method in interface nz.ac.waikato.jdsl.core.api.Comparator
Tests the strict order of two objects in the set over which this comparator is defined.
isLessThan(Object, Object) - Method in class nz.ac.waikato.jdsl.core.ref.AbstractComparator
 
isLessThanOrEqualTo(Object, Object) - Method in interface nz.ac.waikato.jdsl.core.api.Comparator
Tests non-strict order of two objects in the universe over which this comparator is defined.
isLessThanOrEqualTo(Object, Object) - Method in class nz.ac.waikato.jdsl.core.ref.AbstractComparator
 
isLineChartDrawable() - Method in class nz.ac.waikato.modeljunit.gui.PanelTestDesign
If user checked any coverage check button or want to generate .dot graph file.
isModelLoaded() - Static method in class nz.ac.waikato.modeljunit.gui.TestExeModel
 
isModified() - Method in class nz.ac.waikato.modeljunit.gui.Project
Read the modified flag.
isPicked() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexInfo
 
isReachable(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Tests whether a vertex is reachable from the source.
isRed(Position) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Returns whether or not the given position of the underlying tre is red; for visualization/testing purposes.
isRoot(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableTree
Checks if a position is the root of this tree.
isRoot(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
isRoot(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
isStartState() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexInfo
 
isSuperNode() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
Used to determine if this node is the super node
isSuperNode() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
Used to determine if this node is the super node (overridden)
isTerminal() - Method in class nz.ac.waikato.modeljunit.Model
True iff the current state is a terminal state.
isTestRunnable(boolean) - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
The function will test whether a model was loaded and whether a algorithm was selected, if both been done, return true otherwise return false
isTodo(Object, int) - Method in class nz.ac.waikato.modeljunit.GraphListener
True if the guard of the given action was once true in the given state, but that action has not yet been executed from that state.
isTreeEdge(Edge) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Tests if an edge is a tree edge.
isUnseen(Edge) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Tests if an edge has been seen yet.
isUnvisited(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Tests if a vertex has not been visited.
isValid() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
Should never be called
isVisited(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Tests if a vertex has been visited.
isVisiting(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Tests if a vertex is being visited.
iterator() - Method in class nz.ac.waikato.modeljunit.examples.StringSet
 
iterator() - Method in class nz.ac.waikato.modeljunit.examples.StringSetBuggy
 
iteratorToDictionary(Iterator, Dictionary) - Static method in class nz.ac.waikato.jdsl.core.util.Converter
Places the contents of a java.util iterator into a dictionary.
iteratorToList(ObjectIterator, List) - Static method in class nz.ac.waikato.jdsl.core.util.Converter
Places the contents of a JDSL iterator into a List, preserving order.
iteratorToMap(ObjectIterator, Map) - Static method in class nz.ac.waikato.jdsl.core.util.Converter
Places the contents of a JDSL iterator into a Map.
iteratorToPriorityQueue(Iterator, PriorityQueue) - Static method in class nz.ac.waikato.jdsl.core.util.Converter
Places the contents of a java.util iterator into a PQ.
iteratorToSequence(Iterator, Sequence) - Static method in class nz.ac.waikato.jdsl.core.util.Converter
Places the contents of a java.util iterator into a sequence.
iteratorToSet(ObjectIterator, Set) - Static method in class nz.ac.waikato.jdsl.core.util.Converter
Places the contents of a JDSL iterator into a Set.
IView - Interface in nz.ac.waikato.modeljunit.gui
IView.java

J

JUNGHelper - Class in nz.ac.waikato.modeljunit.gui.visualisaton
 
JUNGHelper() - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.JUNGHelper
Main Constructor to initialise class wide variables.
JUNGHelper.LayoutType - Enum in nz.ac.waikato.modeljunit.gui.visualisaton
 

K

key() - Method in class nz.ac.waikato.jdsl.core.api.InspectableDictionary.InvalidLocator
 
key() - Method in interface nz.ac.waikato.jdsl.core.api.Locator
 
key() - Method in interface nz.ac.waikato.jdsl.core.api.LocatorIterator
Shortcut for locator().key()
key() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayLocatorIterator
 
key1() - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
key1Guard() - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
key2() - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
key2Guard() - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
KeyBasedContainer - Interface in nz.ac.waikato.jdsl.core.api
Key-based containers are containers that store (key,element) pairs; each pair is represented by a Locator.
keys() - Method in interface nz.ac.waikato.jdsl.core.api.InspectableKeyBasedContainer
Returns an iterator over all the keys stored in this container.
keys() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayHeap
Cached for constant factor efficiency.
keys() - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDictionary
O(1) if structure hasn't changed, O(N) otherwise.
keys() - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(N) time from the need to iterate through the tree during snapshot -- where N= the number of locators in the tree Could very easily be cached; not sure that would be useful

L

LargeSet - Class in nz.ac.waikato.modeljunit.examples
A model of a set with N elements.
LargeSet() - Constructor for class nz.ac.waikato.modeljunit.examples.LargeSet
Equivalent to LargeSet(2).
LargeSet(int) - Constructor for class nz.ac.waikato.modeljunit.examples.LargeSet
Construct a model of a set with N elements.
last() - Method in interface nz.ac.waikato.jdsl.core.api.InspectableOrderedDictionary
Returns the Locator that is sequentially after any other Locator in this Container.
last() - Method in interface nz.ac.waikato.jdsl.core.api.InspectableSequence
The last position of the sequence.
last() - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
O(1) time.
last() - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
O(1) time
last() - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(log N) time to traverse the height of the tree where N is the number of locators in the tree and O(logN) is the height of the tree
lastChild(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableTree
 
lastChild(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
lastChild(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
left() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
O(1) time
left() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
Should never be called
leftChild(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableBinaryTree
Provides the left child of a given node.
leftChild(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
light - Variable in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexStrokeTransformer
 
LINE_COVERAG_COLOR - Static variable in class nz.ac.waikato.modeljunit.gui.DialogCoverageLineColor
 
LineColor - Class in nz.ac.waikato.modeljunit.gui
 
LineColor(String, Color) - Constructor for class nz.ac.waikato.modeljunit.gui.LineColor
 
link(Position, BinaryTree) - Method in interface nz.ac.waikato.jdsl.core.api.BinaryTree
Links binary tree newSubtree at external node node by replacing node with the root of newSubtree.
link(Position, Tree) - Method in interface nz.ac.waikato.jdsl.core.api.Tree
Links tree t at external node extNode by replacing ExtNode with the root of t.
link(Position, BinaryTree) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
Takes O(S) time, where S is the number of positions in this subtree You are only allowed to link in and replaceSubtree with other instances of NodeBinaryTree (or subclasses thereof)
link(Position, Tree) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(size of the new subtree to be linked in) time
ListenerFactory - Class in nz.ac.waikato.modeljunit
This singleton object defines all the pre-defined model listeners (and coverage metrics).
ListenerFactory() - Constructor for class nz.ac.waikato.modeljunit.ListenerFactory
 
ListMergeSort - Class in nz.ac.waikato.jdsl.core.algo.sorts
Performs a merge-sort in O(n log n) time, provided that isEmpty(), first(), insertLast(), and removeFirst() all operate in O(1) time.
ListMergeSort() - Constructor for class nz.ac.waikato.jdsl.core.algo.sorts.ListMergeSort
 
listToSequence(List, Sequence) - Static method in class nz.ac.waikato.jdsl.core.util.Converter
Places the contents of a list into a sequence, preserving order.
load(File) - Static method in class nz.ac.waikato.modeljunit.gui.Project
 
loadClass(String) - Method in class nz.ac.waikato.modeljunit.gui.ClassFileLoader
 
loadModelClass(String, String) - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
loadModelClass(Class) - Method in class nz.ac.waikato.modeljunit.Model
Loads the given class and finds its @Action methods.
loadModelClass(Class) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Loads the given class and finds its @Action methods.
loadModelClass(Class) - Method in class nz.ac.waikato.modeljunit.timing.TimedModel
Loads the given class and finds its @Action methods.
loadModelClassFromFile() - Static method in class nz.ac.waikato.modeljunit.gui.TestExeModel
Tries to load an instance of the current model class from a .class file.
loadModelFile(File) - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
loc_to_collections_style_s - Static variable in class nz.ac.waikato.jdsl.core.ref.ToString
 
locArray_ - Variable in class nz.ac.waikato.jdsl.core.ref.ArrayLocatorIterator
 
Locator - Interface in nz.ac.waikato.jdsl.core.api
A locator is a coat-check, of sorts, for a (key,element) pair inside a KeyBasedContainer.
locator() - Method in interface nz.ac.waikato.jdsl.core.api.LocatorIterator
 
locator() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayLocatorIterator
 
LocatorIterator - Interface in nz.ac.waikato.jdsl.core.api
Iterator over a set of locators.
locators() - Method in interface nz.ac.waikato.jdsl.core.api.InspectableKeyBasedContainer
Allows access to all the locators stored by this container.
locators() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayHeap
Cached for constant factor efficiency.
locators() - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDictionary
O(1) if structure hasn't changed, O(N) otherwise.
locators() - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(N) time from the need to iterate through the tree during snapshot -- where N= the number of locators in the tree Could very easily be cached; not sure that would be useful
locators - Variable in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
 
login(String, String) - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
loginAmandineEmpty() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
loginAmandineEmptyGuard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
loginAmandineOk() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
loginAmandineOkGuard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
loginEmpty() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
loginEmptyGuard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
loginEricBad() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
loginEricBadGuard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
loginEricOk() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
loginEricOkGuard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
loginGrd() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
logout() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
logoutGuard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
LookaheadTester - Class in nz.ac.waikato.modeljunit
A test generator that looks N-levels ahead in the graph.
LookaheadTester(Model) - Constructor for class nz.ac.waikato.modeljunit.LookaheadTester
Creates a test generator that can does smart look ahead.
LookaheadTester(FsmModel) - Constructor for class nz.ac.waikato.modeljunit.LookaheadTester
A convenience constructor that puts a Model wrapper around an FsmModel.

M

m_color - Variable in class nz.ac.waikato.modeljunit.gui.LineColor
 
m_strCoverage - Variable in class nz.ac.waikato.modeljunit.gui.LineColor
 
m_tester - Variable in class nz.ac.waikato.modeljunit.gui.OptionPanelAdapter
The array of tester object Using array because we need to separate several tester for different panel.
main(String[]) - Static method in class nz.ac.waikato.modeljunit.examples.AlarmClock
 
main(String[]) - Static method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
main(String[]) - Static method in class nz.ac.waikato.modeljunit.examples.FSM
This main method illustrates how we can use ModelJUnit to generate a small test suite.
main(String[]) - Static method in class nz.ac.waikato.modeljunit.examples.gsm.GSM11ImplTest
In case we want to run this JUnit test from the command line.
main(String[]) - Static method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
main(String[]) - Static method in class nz.ac.waikato.modeljunit.examples.LargeSet
An example of generating tests from this model.
main(String[]) - Static method in class nz.ac.waikato.modeljunit.examples.QuiDonc
An interactive interface to QuiDonce, for illustration purposes.
main(String[]) - Static method in class nz.ac.waikato.modeljunit.examples.SimpleSet
An example of generating tests from this model.
main(String[]) - Static method in class nz.ac.waikato.modeljunit.examples.SimpleSetWithAdaptor
An example of generating tests from this model.
main(String[]) - Static method in class nz.ac.waikato.modeljunit.examples.SizeExperiments
An example of generating tests from this model.
main(String[]) - Static method in class nz.ac.waikato.modeljunit.examples.SmartSetAdaptor
An example of generating tests from this model.
main(String[]) - Static method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
This main method illustrates how we can use ModelJUnit to generate a small test suite.
main(String[]) - Static method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
This main method illustrates how we can use ModelJUnit to generate a small test suite.
main(String[]) - Static method in class nz.ac.waikato.modeljunit.examples.TrafficLight
 
main(String[]) - Static method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
main(String[]) - Static method in class nz.ac.waikato.modeljunit.LookaheadTester
 
main(String[]) - Static method in class nz.ac.waikato.modeljunit.ResultExtractor
 
makeUncontained() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
O(1) time Makes this node uncontained
makeUncontained() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
Should never be called
makeUndirected(Edge) - Method in interface nz.ac.waikato.jdsl.graph.api.ModifiableGraph
Makes a directed edge undirected.
makeUndirected(Edge) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
mapToDictionary(Map, Dictionary) - Static method in class nz.ac.waikato.jdsl.core.util.Converter
Places the contents of a map into a dictionary.
Max_Pin_Try - Static variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
Max_Puk_Try - Static variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
maxCoverage_ - Variable in class nz.ac.waikato.modeljunit.coverage.AbstractCoverage
The maximum number of coverage items.
maxLength_ - Variable in class nz.ac.waikato.modeljunit.LookaheadTester
The maximum length of each generated test
medium - Variable in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexStrokeTransformer
 
message - Variable in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
This is the most recent message that has been output.
MF - Static variable in class nz.ac.waikato.modeljunit.examples.gsm.GSM11Impl
 
min() - Method in interface nz.ac.waikato.jdsl.core.api.PriorityQueue
Allows access to element with highest priority without removing it from the priority queue.
min() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayHeap
time complexity = worst-case O(1)
MIN_DEGREE - Static variable in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeDisplayPredicate
 
MIN_DEGREE - Static variable in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexDisplayPredicate
 
minimumWaitElapsed() - Method in class nz.ac.waikato.modeljunit.examples.TrafficLight
 
minimumWaitElapsedGuard() - Method in class nz.ac.waikato.modeljunit.examples.TrafficLight
 
Model - Class in nz.ac.waikato.modeljunit
This class is a wrapper around a user-supplied EFSM model.
Model(FsmModel) - Constructor for class nz.ac.waikato.modeljunit.Model
Constructs an EFSM model from the given FsmModel object.
model_ - Variable in class nz.ac.waikato.modeljunit.AbstractListener
 
model_ - Variable in class nz.ac.waikato.modeljunit.Tester
The model from which tests will be generated.
MODELJUNIT_VERSION - Static variable in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
ModelJUnitGUI - Class in nz.ac.waikato.modeljunit.gui
The main ModelJUnit GUI class.
ModelJUnitGUI() - Constructor for class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
ModelJUnitMenuBar - Class in nz.ac.waikato.modeljunit.gui
The application window Menu Bar.
ModelJUnitMenuBar(ModelJUnitGUI) - Constructor for class nz.ac.waikato.modeljunit.gui.ModelJUnitMenuBar
Construct a new Menu bar with appropriate action listener hooks.
ModelListener - Interface in nz.ac.waikato.modeljunit
An interface for objects that listen for model events.
ModelTestCase - Class in nz.ac.waikato.modeljunit
Deprecated. Use one of the subclasses of Tester instead.
ModelTestCase(FsmModel) - Constructor for class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Constructs an FSM model from the given FsmModel object.
ModifiableGraph - Interface in nz.ac.waikato.jdsl.graph.api
An interface describing the modifier methods of a combinatorial graph that can safely be inherited by more restricted graphs.
modify() - Method in class nz.ac.waikato.modeljunit.gui.Project
Set the "modified" flag to indicate that the project is unsaved.
mouseClicked(MouseEvent) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation
 
mouseEntered(MouseEvent) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation
 
mouseExited(MouseEvent) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation
 
mousePressed(MouseEvent) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation
This is used to listen to click events within the visualisation viewer.
mouseReleased(MouseEvent) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation
 
movie - Variable in class nz.ac.waikato.modeljunit.examples.ecinema.Showtime
 

N

name - Variable in class nz.ac.waikato.modeljunit.examples.ecinema.User
 
name - Variable in class nz.ac.waikato.modeljunit.examples.gsm.File
 
NAME - Variable in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
NEW_ACTION - Variable in class nz.ac.waikato.modeljunit.LookaheadTester
How worthwhile is it to use a completely new action?
NEW_TRANS - Variable in class nz.ac.waikato.modeljunit.LookaheadTester
How worthwhile is it to explore a new transition?
newContainer() - Method in interface nz.ac.waikato.jdsl.core.api.Container
Creates a new, empty container of the same class as this one (and therefore of the same interface as this one).
newContainer() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayHeap
time complexity = worst-case O(1)
newContainer() - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
Returns an empty ArraySequence.
newContainer() - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDictionary
O(1)
newContainer() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
newContainer() - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
 
newContainer() - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
newContainer() - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(1) time
newContainer() - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
newModel() - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
newModel() - Method in class nz.ac.waikato.modeljunit.gui.PanelAbstract
Tell the tab that the model has changed
newModel() - Method in class nz.ac.waikato.modeljunit.gui.PanelAnimator
 
newModel() - Method in class nz.ac.waikato.modeljunit.gui.PanelCodeViewer
 
newModel() - Method in class nz.ac.waikato.modeljunit.gui.PanelCoverage
 
newModel() - Method in class nz.ac.waikato.modeljunit.gui.PanelExecuteActions
 
newModel() - Method in class nz.ac.waikato.modeljunit.gui.PanelResultViewer
 
newModel() - Method in class nz.ac.waikato.modeljunit.gui.PanelTestDesign
 
newModel() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation
This should be called by the top-level program whenever the model changes.
newPQ() - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Can be overridden to supply a priority queue of your choosing, but the default implementation, which gives an empty nz.ac.waikato.jdsl.core.ref.ArrayHeap, is probably sufficient for most purposes.
newPQ() - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
Can be overridden to supply a priority queue of your choosing, but the default implementation, which gives an empty nz.ac.waikato.jdsl.core.ref.ArrayHeap, is probably sufficient for most purposes.
nextAccessor() - Method in class nz.ac.waikato.jdsl.core.ref.AbstractArrayIterator
 
nextEdge() - Method in interface nz.ac.waikato.jdsl.graph.api.EdgeIterator
 
nextEdge() - Method in class nz.ac.waikato.jdsl.graph.ref.EdgeIteratorAdapter
 
nextLocator() - Method in interface nz.ac.waikato.jdsl.core.api.LocatorIterator
 
nextLocator() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayLocatorIterator
 
nextObject() - Method in interface nz.ac.waikato.jdsl.core.api.ObjectIterator
 
nextObject() - Method in class nz.ac.waikato.jdsl.core.ref.AbstractArrayIterator
Takes O(1) time
nextObject() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayObjectIterator
Takes O(1) time
nextObject() - Method in class nz.ac.waikato.jdsl.core.ref.InOrderIterator
Takes O(1) time
nextObject() - Method in class nz.ac.waikato.jdsl.core.ref.PostOrderIterator
Takes O(1) time
nextObject() - Method in class nz.ac.waikato.jdsl.core.ref.PreOrderIterator
 
nextObject() - Method in class nz.ac.waikato.jdsl.graph.ref.AbstractGraph.OO_to_O_MergerIterator
 
nextObject() - Method in class nz.ac.waikato.jdsl.graph.ref.EdgeIteratorAdapter
 
nextObject() - Method in class nz.ac.waikato.jdsl.graph.ref.VertexIteratorAdapter
 
nextPosition() - Method in interface nz.ac.waikato.jdsl.core.api.PositionIterator
 
nextPosition() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayPositionIterator
 
nextPosition() - Method in class nz.ac.waikato.jdsl.core.ref.InOrderIterator
Takes O(1) time
nextPosition() - Method in class nz.ac.waikato.jdsl.core.ref.PostOrderIterator
Takes O(1) time
nextPosition() - Method in class nz.ac.waikato.jdsl.core.ref.PreOrderIterator
Takes O(1) time
nextPosition() - Method in class nz.ac.waikato.jdsl.graph.ref.EdgeIteratorAdapter
 
nextPosition() - Method in class nz.ac.waikato.jdsl.graph.ref.VertexIteratorAdapter
 
nextVertex() - Method in interface nz.ac.waikato.jdsl.graph.api.VertexIterator
 
nextVertex() - Method in class nz.ac.waikato.jdsl.graph.ref.VertexIteratorAdapter
 
NO_SUCH_KEY - Static variable in interface nz.ac.waikato.jdsl.core.api.InspectableDictionary
This Locator is returned when a method that should return a locator with a given key can find no such key within the data structure
NodeBinaryTree - Class in nz.ac.waikato.jdsl.core.ref
A node-based Binary Tree.
NodeBinaryTree() - Constructor for class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
Create a tree.
NodeBinaryTree(NodeBinaryTree.NBTNode) - Constructor for class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
Create a tree from a set of nodes.
NodeBinaryTree.NBTNode - Class in nz.ac.waikato.jdsl.core.ref
This is the class for all user-visible nodes It contains links for its parent, children, and element.
NodeBinaryTree.NBTNode(NodeBinaryTree.NBTNode, Object) - Constructor for class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
make a new external node
NodeBinaryTree.NBTSuperNode - Class in nz.ac.waikato.jdsl.core.ref
This is the supernode.
NodeBinaryTree.NBTSuperNode(NodeBinaryTree, NodeBinaryTree.NBTNode) - Constructor for class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
Constructs the super node with its tree and root
NodeSequence - Class in nz.ac.waikato.jdsl.core.ref
A Sequence based on a doubly-linked-list implementation.
NodeSequence() - Constructor for class nz.ac.waikato.jdsl.core.ref.NodeSequence
The default constructor for NodeSequence, as well as the only one.
NodeSequence.FNSNode - Class in nz.ac.waikato.jdsl.core.ref
This nested class is the node for NodeSequence.
NodeSequence.FNSNode(Object) - Constructor for class nz.ac.waikato.jdsl.core.ref.NodeSequence.FNSNode
Default constructor for the Node.
NodeTree - Class in nz.ac.waikato.jdsl.core.ref
A node-based Tree.
NodeTree() - Constructor for class nz.ac.waikato.jdsl.core.ref.NodeTree
The default constructor for NodeTree, which creates a tree with one node whose element is null.
NONE - Static variable in interface nz.ac.waikato.jdsl.graph.api.Edge
Used when a function requires an edge to be specified but there is no edge to specify, or when a function needs to return an edge but there is no edge to return.
NONE - Static variable in interface nz.ac.waikato.jdsl.graph.api.Vertex
Used when a function needs to return a vertex but there is no vertex to return.
NonEmptyContainerException - Exception in nz.ac.waikato.jdsl.core.api
A NonEmptyContainerException indicates that the Container can't fulfill the requested operation because it is not empty.
NonEmptyContainerException(String) - Constructor for exception nz.ac.waikato.jdsl.core.api.NonEmptyContainerException
 
NonEmptyContainerException(String, Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.api.NonEmptyContainerException
 
NonEmptyContainerException(Throwable) - Constructor for exception nz.ac.waikato.jdsl.core.api.NonEmptyContainerException
 
NoSuchEdgeException - Exception in nz.ac.waikato.jdsl.graph.api
An object of this class gets thrown when an Edge object with certain properties does not exist in the graph.
NoSuchEdgeException(String) - Constructor for exception nz.ac.waikato.jdsl.graph.api.NoSuchEdgeException
 
NoSuchEdgeException(String, Throwable) - Constructor for exception nz.ac.waikato.jdsl.graph.api.NoSuchEdgeException
 
NoSuchEdgeException(Throwable) - Constructor for exception nz.ac.waikato.jdsl.graph.api.NoSuchEdgeException
 
NoSuchVertexException - Exception in nz.ac.waikato.jdsl.graph.api
An object of this class gets thrown when a Vertex object with certain properties does not exist in the graph.
NoSuchVertexException(String) - Constructor for exception nz.ac.waikato.jdsl.graph.api.NoSuchVertexException
 
NoSuchVertexException(String, Throwable) - Constructor for exception nz.ac.waikato.jdsl.graph.api.NoSuchVertexException
 
NoSuchVertexException(Throwable) - Constructor for exception nz.ac.waikato.jdsl.graph.api.NoSuchVertexException
 
NOTALLOW - Variable in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
notifyDoneGuard(Object, int, boolean, int) - Method in class nz.ac.waikato.modeljunit.Model
Sends a doneGuard event to all listeners
notifyDoneReset(String, boolean) - Method in class nz.ac.waikato.modeljunit.Model
Sends a doneReset event to all listeners
notifyDoneTransition(int, Transition) - Method in class nz.ac.waikato.modeljunit.Model
Sends a doneTransition event to all listeners
notifyFailure(TestFailureException) - Method in class nz.ac.waikato.modeljunit.Model
Sends a failure event to all listeners.
notifyStartAction(Object, int, String) - Method in class nz.ac.waikato.modeljunit.Model
Sends a startAction event to all listeners
now - Variable in class nz.ac.waikato.modeljunit.examples.TrafficLight
The current time of the model
num1() - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
num18() - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
num18Guard() - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
num1Guard() - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
num2() - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
num2Guard() - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
NUM_COVERAGE - Static variable in class nz.ac.waikato.modeljunit.gui.Parameter
 
NUM_PANE - Static variable in class nz.ac.waikato.modeljunit.gui.OptionPanelCreator
The number of algorithms plus a default panel.
number(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.AbstractTopologicalSort
Used for retrieving the topological order-number associated with the given Vertex.
NUMBER_KEY_ - Variable in class nz.ac.waikato.jdsl.graph.algo.AbstractTopologicalSort
This Object is the key for the numbering Decoration.
numChildren(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableTree
 
numChildren(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time Can be determined by the inherent nature of the type of node rather than by counting
numChildren(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
numEdges() - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
numEdges() - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
numTodo() - Method in class nz.ac.waikato.modeljunit.GraphListener
Returns the number of unexplored paths/branches in the graph.
numVertices() - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
numVertices() - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
nz.ac.waikato.jdsl.core.algo.sorts - package nz.ac.waikato.jdsl.core.algo.sorts
 
nz.ac.waikato.jdsl.core.algo.traversals - package nz.ac.waikato.jdsl.core.algo.traversals
 
nz.ac.waikato.jdsl.core.api - package nz.ac.waikato.jdsl.core.api
 
nz.ac.waikato.jdsl.core.ref - package nz.ac.waikato.jdsl.core.ref
 
nz.ac.waikato.jdsl.core.util - package nz.ac.waikato.jdsl.core.util
 
nz.ac.waikato.jdsl.graph.algo - package nz.ac.waikato.jdsl.graph.algo
 
nz.ac.waikato.jdsl.graph.api - package nz.ac.waikato.jdsl.graph.api
 
nz.ac.waikato.jdsl.graph.ref - package nz.ac.waikato.jdsl.graph.ref
 
nz.ac.waikato.modeljunit - package nz.ac.waikato.modeljunit
Overview
nz.ac.waikato.modeljunit.coverage - package nz.ac.waikato.modeljunit.coverage
Model Coverage Metrics
nz.ac.waikato.modeljunit.examples - package nz.ac.waikato.modeljunit.examples
Examples of Using ModelJUnit
nz.ac.waikato.modeljunit.examples.ecinema - package nz.ac.waikato.modeljunit.examples.ecinema
 
nz.ac.waikato.modeljunit.examples.gsm - package nz.ac.waikato.modeljunit.examples.gsm
 
nz.ac.waikato.modeljunit.gui - package nz.ac.waikato.modeljunit.gui
A GUI for ModelJUnit
nz.ac.waikato.modeljunit.gui.visualisaton - package nz.ac.waikato.modeljunit.gui.visualisaton
 
nz.ac.waikato.modeljunit.timing - package nz.ac.waikato.modeljunit.timing
 

O

object() - Method in interface nz.ac.waikato.jdsl.core.api.ObjectIterator
 
object() - Method in class nz.ac.waikato.jdsl.core.ref.AbstractArrayIterator
Takes O(1) time
object() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayObjectIterator
Takes O(1) time
object() - Method in class nz.ac.waikato.jdsl.core.ref.InOrderIterator
Takes O(1) time
object() - Method in class nz.ac.waikato.jdsl.core.ref.PostOrderIterator
Takes O(1) time
object() - Method in class nz.ac.waikato.jdsl.core.ref.PreOrderIterator
 
object() - Method in class nz.ac.waikato.jdsl.graph.ref.AbstractGraph.OO_to_O_MergerIterator
 
object() - Method in class nz.ac.waikato.jdsl.graph.ref.EdgeIteratorAdapter
 
object() - Method in class nz.ac.waikato.jdsl.graph.ref.VertexIteratorAdapter
 
ObjectHashComparator - Class in nz.ac.waikato.jdsl.core.ref
Implements the JDSL HashComparator interface in terms of Java's native Object methods equals(.) and hashCode().
ObjectHashComparator() - Constructor for class nz.ac.waikato.jdsl.core.ref.ObjectHashComparator
 
ObjectIterator - Interface in nz.ac.waikato.jdsl.core.api
Iterator over a set of objects.
opposite(Vertex, Edge) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
opposite(Vertex, Edge) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
OptionPanelAdapter - Class in nz.ac.waikato.modeljunit.gui
 
OptionPanelAdapter(String, String, String) - Constructor for class nz.ac.waikato.modeljunit.gui.OptionPanelAdapter
 
OptionPanelCreator - Class in nz.ac.waikato.modeljunit.gui
 
OptionPanelCreator() - Constructor for class nz.ac.waikato.modeljunit.gui.OptionPanelCreator
 
OptionPanelDefault - Class in nz.ac.waikato.modeljunit.gui
 
OptionPanelDefault(String, String, String) - Constructor for class nz.ac.waikato.modeljunit.gui.OptionPanelDefault
 
OptionPanelGreedy - Class in nz.ac.waikato.modeljunit.gui
 
OptionPanelGreedy(String, String, String) - Constructor for class nz.ac.waikato.modeljunit.gui.OptionPanelGreedy
 
OptionPanelLookahead - Class in nz.ac.waikato.modeljunit.gui
 
OptionPanelLookahead(String, String, String) - Constructor for class nz.ac.waikato.modeljunit.gui.OptionPanelLookahead
 
OptionPanelRandomWalk - Class in nz.ac.waikato.modeljunit.gui
 
OptionPanelRandomWalk(String, String, String) - Constructor for class nz.ac.waikato.modeljunit.gui.OptionPanelRandomWalk
 
OrderedDictionary - Interface in nz.ac.waikato.jdsl.core.api
A Dictionary in which the keys are totally ordered.
origin(Edge) - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
origin(Edge) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
otherChild(NodeBinaryTree.NBTNode) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
O(1) time
otherChild(NodeBinaryTree.NBTNode) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
Should never be called
OUT - Static variable in interface nz.ac.waikato.jdsl.graph.api.EdgeDirection
 
output_ - Variable in class nz.ac.waikato.modeljunit.Model
Output device used for messages and warnings.

P

paintComponent(Graphics) - Method in class nz.ac.waikato.modeljunit.gui.PanelCoverage
 
paintShapeForVertex(RenderContext<V, E>, V, Shape) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexGradientRenderer
 
paintVertex(RenderContext<V, E>, Layout<V, E>, V) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexGradientRenderer
 
PanelAbstract - Class in nz.ac.waikato.modeljunit.gui
The superclass of all top-level tabs of the GUI.
PanelAbstract() - Constructor for class nz.ac.waikato.modeljunit.gui.PanelAbstract
 
PanelAnimator - Class in nz.ac.waikato.modeljunit.gui
This gets the current Model object and builds a GUI based upon the actions it contains.
PanelAnimator() - Constructor for class nz.ac.waikato.modeljunit.gui.PanelAnimator
 
PanelCodeViewer - Class in nz.ac.waikato.modeljunit.gui
 
PanelCoverage - Class in nz.ac.waikato.modeljunit.gui
 
PanelExecuteActions - Class in nz.ac.waikato.modeljunit.gui
 
PanelJUNGVisualisation - Class in nz.ac.waikato.modeljunit.gui.visualisaton
 
PanelJUNGVisualisation() - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation
The PanelGraphVisualisation constructor.
PanelJUNGVisualisation.AnimateThread - Class in nz.ac.waikato.modeljunit.gui.visualisaton
This inner class is used to control the animation of new states being added to the visualisation.
PanelJUNGVisualisation.AnimateThread(JTree) - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation.AnimateThread
The thread constructor
PanelResultViewer - Class in nz.ac.waikato.modeljunit.gui
 
PanelTestDesign - Class in nz.ac.waikato.modeljunit.gui
 
Parameter - Class in nz.ac.waikato.modeljunit.gui
 
Parameter() - Constructor for class nz.ac.waikato.modeljunit.gui.Parameter
 
parent(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableTree
Gets the parent of a given node.
parent() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
O(1) time
parent() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
Should never be called
parent(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
parent(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
PARENT - Static variable in class nz.ac.waikato.jdsl.graph.algo.DFS
Constant used as key to look up the parent of a vertex.
parent(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Retrieves the parent Vertex of a Vertex
parent - Variable in class nz.ac.waikato.modeljunit.examples.gsm.File
 
password - Variable in class nz.ac.waikato.modeljunit.examples.ecinema.User
 
pathExists() - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraPathfinder
Returns whether a path between the source and the destination exists
pedestrianArrive() - Method in class nz.ac.waikato.modeljunit.examples.TrafficLight
Action for pedestrians arriving at the crossing.
PERM_ADM - Static variable in class nz.ac.waikato.modeljunit.examples.gsm.GSM11Impl
 
PERM_ALWAYS - Static variable in class nz.ac.waikato.modeljunit.examples.gsm.GSM11Impl
Constants for file access permissions
PERM_CHV1 - Static variable in class nz.ac.waikato.modeljunit.examples.gsm.GSM11Impl
 
PERM_NEVER - Static variable in class nz.ac.waikato.modeljunit.examples.gsm.GSM11Impl
 
perm_read - Variable in class nz.ac.waikato.modeljunit.examples.gsm.File
 
perm_session - Variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
pi - Variable in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexStrokeTransformer
 
PIN - Variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
pos_to_element_s - Static variable in class nz.ac.waikato.jdsl.core.ref.ToString
 
posArray_ - Variable in class nz.ac.waikato.jdsl.core.ref.ArrayPositionIterator
 
posInsertAfter(Position, Position) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
Makes toInsert the predecessor of willBeSuccessor.
posInsertAfter(Position, Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
Make toInsert the successor of willBePredecessor
posInsertAtRank(int, Position) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
Makes toInsert to rank'th Position in this Sequence.
posInsertAtRank(int, Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
Make toInsert the rank'th position in this sequence
posInsertBefore(Position, Position) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
Makes toInsert the predecessor of willBeSuccessor.
posInsertBefore(Position, Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
Make toInsert the predecessor of willBeSuccessor
posInsertFirst(Position) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
Makes toInsert the first Position of this Sequence.
posInsertFirst(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
Make toInsert the first position of this sequence
posInsertLast(Position) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
Makes toInsert the last Position of this Sequence.
posInsertLast(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
Make toInsert the last position of this sequence
Position - Interface in nz.ac.waikato.jdsl.core.api
An abstraction of the notion of a "place" in a container -- where an element is stored relative to other elements in the container.
position() - Method in interface nz.ac.waikato.jdsl.core.api.PositionIterator
 
position() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayPositionIterator
 
position() - Method in class nz.ac.waikato.jdsl.core.ref.InOrderIterator
Takes O(1) time
position() - Method in class nz.ac.waikato.jdsl.core.ref.PostOrderIterator
Takes O(1) time
position() - Method in class nz.ac.waikato.jdsl.core.ref.PreOrderIterator
Takes O(1) time
position() - Method in class nz.ac.waikato.jdsl.graph.ref.EdgeIteratorAdapter
 
position() - Method in class nz.ac.waikato.jdsl.graph.ref.VertexIteratorAdapter
 
PositionalContainer - Interface in nz.ac.waikato.jdsl.core.api
Positional containers (for example, sequences, trees, and graphs) are containers in which elements are related to each other through adjacency information.
PositionIterator - Interface in nz.ac.waikato.jdsl.core.api
Iterator over a set of positions.
positions() - Method in interface nz.ac.waikato.jdsl.core.api.InspectablePositionalContainer
Provides an iterator over all of the positions of the container.
positions() - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
O(1) time if the cache already exitsts.
positions() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
Takes O(N) time from the need to iterate through the tree during snapshot, where N is the number of positions in the tree
positions() - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
O(1) time if the cache already exists Otherwise O(N) to construct it
positions() - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time if cache already exists, O(size of the tree) otherwise
positions() - Method in class nz.ac.waikato.jdsl.graph.ref.AbstractGraph
Built on vertices() and edges().
PostOrderIterator - Class in nz.ac.waikato.jdsl.core.ref
The postorder iterator gives a postorder traversal of any tree.
PostOrderIterator(InspectableBinaryTree) - Constructor for class nz.ac.waikato.jdsl.core.ref.PostOrderIterator
Constructs a new PostOrderIterator to iterate over the given container Puts a reference to each position into the array -- takes O(N) time where N = the number of positions in the container
PostOrderIterator(InspectableTree) - Constructor for class nz.ac.waikato.jdsl.core.ref.PostOrderIterator
Constructs a new PostOrderIterator to iterate over the given container Puts a reference to each position into the array -- takes O(N) time where N = the number of positions in the container
pq_ - Variable in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
 
preExploredGraph(GraphListener) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.JUNGHelper
This is used to fully explore a graph.
PreOrderIterator - Class in nz.ac.waikato.jdsl.core.ref
The preorder iterator gives a preorder iteration of the tree.
PreOrderIterator(InspectableBinaryTree) - Constructor for class nz.ac.waikato.jdsl.core.ref.PreOrderIterator
Constructs a new PreOrderIterator to iterate over the given binary tree Puts a reference to each position into the array -- takes O(N) time where N = the number of positions in the tree
PreOrderIterator(InspectableTree) - Constructor for class nz.ac.waikato.jdsl.core.ref.PreOrderIterator
Constructs a new PreOrderIterator to iterate over the given general tree Puts a reference to each position into the array -- takes O(N) time where N = the number of positions in the tree
printAction(String) - Method in class nz.ac.waikato.modeljunit.examples.AlarmClock
 
printCoverage() - Method in class nz.ac.waikato.modeljunit.Tester
Prints the name and toString message from each coverage metric.
printFailure(int, String) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Print failure messages, when a test/tests fail.
printGraphDot(String) - Method in class nz.ac.waikato.modeljunit.GraphListener
Saves the FSM graph into the given file, in DOT format.
printGraphDot(String) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Saves the FSM graph into the given file, in DOT format.
printMessage(String) - Method in class nz.ac.waikato.modeljunit.Model
Print a message to the current output writer (see Model.getOutput()).
printProgress(int, String) - Method in class nz.ac.waikato.modeljunit.GraphListener
 
printProgress(int, String) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Print progress messages, during FSM-based testing.
printWarning(String) - Method in class nz.ac.waikato.modeljunit.Model
Prints a warning message to the current output writer.
printWarning(String) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Print a warning, during analysis of the FSM class.
PriorityQueue - Interface in nz.ac.waikato.jdsl.core.api
A partially-ordered container that allows for removal of the element with highest priority.
Project - Class in nz.ac.waikato.modeljunit.gui
A container class for projects.
Project() - Constructor for class nz.ac.waikato.modeljunit.gui.Project
Create a new (empty) project, untitled and unsaved
ProjectDialog - Class in nz.ac.waikato.modeljunit.gui
A dialogue to create or edit a ModelJUnit project, including selection of a class file for the SUT.
ProjectDialog(ModelJUnitGUI) - Constructor for class nz.ac.waikato.modeljunit.gui.ProjectDialog
 
ProjectDialog(ModelJUnitGUI, Project) - Constructor for class nz.ac.waikato.modeljunit.gui.ProjectDialog
 
prospectiveCycle_ - Variable in class nz.ac.waikato.jdsl.graph.algo.DirectedFindCycleDFS
This stores a list of Vertices which are being checked to see if there is a cycle among them.
prospectiveCycle_ - Variable in class nz.ac.waikato.jdsl.graph.algo.FindCycleDFS
This stores a list of Vertices which are being checked to see if there is a cycle among them.
PUK - Static variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
putListener(String, Class<? extends ModelListener>) - Method in class nz.ac.waikato.modeljunit.ListenerFactory
Defines a new kind of pre-defined listener.

Q

Q - Variable in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
 
queue_ - Variable in class nz.ac.waikato.jdsl.graph.algo.AbstractTopologicalSort
Sequence used as a queue by the sort() method.
QuiDonc - Class in nz.ac.waikato.modeljunit.examples
A simple EFSM model of the Qui-Donc service.
QuiDonc() - Constructor for class nz.ac.waikato.modeljunit.examples.QuiDonc
 
QuiDonc(PrintWriter) - Constructor for class nz.ac.waikato.modeljunit.examples.QuiDonc
 
QuiDonc.State - Enum in nz.ac.waikato.modeljunit.examples
 

R

rand_ - Variable in class nz.ac.waikato.modeljunit.Tester
A Random number generator for use in test generation.
RandomTester - Class in nz.ac.waikato.modeljunit
Test a system by making random walks through an EFSM model of the system.
RandomTester(Model) - Constructor for class nz.ac.waikato.modeljunit.RandomTester
Creates a test generator that can generate random walks.
RandomTester(FsmModel) - Constructor for class nz.ac.waikato.modeljunit.RandomTester
A convenience constructor that puts a Model wrapper around an FsmModel.
randomWalk(int) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Calls fsmRandomWalk/3 with FIXEDSEED so that tests are repeatable.
randomWalk(int, Random) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Does a random walk through a finite state machine.
rankOf(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableSequence
Get the rank of a given position.
rankOf(Position) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
O(1) time.
rankOf(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
O(1) time if the positions_ cache is valid (no modifications since cache was generated) O(N) if cache is invalid (must traverse rank elements of Sequence)
rankOfChild(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableTree
 
rankOfChild(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
rankOfChild(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(the number of children of the node) time
Read_Binary() - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
Read_Binary(SimCard.Status_Word, String) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
This always reads from offset 0, and reads just 2 bytes.
read_data - Variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
recolorAfterRemove(Position) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(logN) time -- where N = the number of locators in the tree and O(logN) = the height of the tree.
RED - Static variable in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
 
RedBlackTree - Class in nz.ac.waikato.jdsl.core.ref
A Dictionary implemented as a red-black tree.
RedBlackTree(Comparator) - Constructor for class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(1) time This constructor creates the tree with a single no-element-stored-here locator.
redrawGraph() - Method in class nz.ac.waikato.modeljunit.gui.PanelCoverage
 
reg(String, String) - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
regGuard(String) - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
registerAmandine() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
registerAmandineGuard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
registerEmpty() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
registerEmptyGuard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
registerEric() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
registerEricGuard() - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
rehash() - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDecorable
 
relaxingEdge(Vertex, Edge, int, Vertex, int) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
Can be overridden in any application where the edges considered for the minimum spanning tree matter.
remove(Locator) - Method in interface nz.ac.waikato.jdsl.core.api.KeyBasedContainer
Removes a (key,element) pair from the container.
remove(Position) - Method in interface nz.ac.waikato.jdsl.core.api.Sequence
Removes and invalidates the specified position
remove(Locator) - Method in class nz.ac.waikato.jdsl.core.ref.ArrayHeap
If array-shrinking is specified at construction time and the load factor of the array is 0.25 after the removal, the capacity of the array is halved by copying the elements into a new array.
remove(Position) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
This method also clears the Position and element caches.
remove(Locator) - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDictionary
O(1) expected: strictly O(1) unless removal reduces size below the downhashing threshhold, in which case it is O(N)
remove(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
This method also clears the position cache.
remove(Locator) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(logN) time -- where N = the number of locators in the tree and O(logN) = the height of the tree The worst-case removal would restructure once each step up the tree.
remove(Object) - Method in class nz.ac.waikato.modeljunit.examples.StringSet
 
remove(Object) - Method in class nz.ac.waikato.modeljunit.examples.StringSetBuggy
 
removeAboveExternal(Position) - Method in interface nz.ac.waikato.jdsl.core.api.BinaryTree
The parent of node is deleted, and the sibling of node, with all its children, is installed in its place; node is also deleted.
removeAboveExternal(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
removeAfter(Position) - Method in interface nz.ac.waikato.jdsl.core.api.Sequence
Remove and invalidates the position after the position specified
removeAfter(Position) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
This method also clears the Position and element caches.
removeAfter(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
This method also clears the position cache.
removeAll(Object) - Method in interface nz.ac.waikato.jdsl.core.api.Dictionary
Removes all the (key,element) pairs matching the parameter key.
removeAll(Object) - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDictionary
O(#elts with target key) expected, worst case O(N) with excessive chaining, or if removeAll drops the size below the downhashing threshhold.
removeAll(Object) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(RlogN) time where R = the number of objects with key key and log N = the height of the tree (N locators in the tree) (one removal case per each object)
removeAllCoverageMetrics() - Static method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Remove all coverage listeners.
removeAllListeners() - Method in class nz.ac.waikato.modeljunit.Model
Remove all coverage listeners.
removeAtRank(int) - Method in interface nz.ac.waikato.jdsl.core.api.Sequence
Removes and invalidates the position at the specified rank
removeAtRank(int) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
This method also clears the Position and element caches.
removeAtRank(int) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
This method also clears the position cache.
removeBefore(Position) - Method in interface nz.ac.waikato.jdsl.core.api.Sequence
Removes and invalidates the position before the position specified.
removeBefore(Position) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
This method also clears the Position and element caches.
removeBefore(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
This method also clears the position cache.
removeCoverageMetric(CoverageMetric) - Static method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Remove a coverage listener.
removeEdge(Edge) - Method in interface nz.ac.waikato.jdsl.graph.api.Graph
 
removeEdge(Edge) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
removeExternal(Position) - Method in interface nz.ac.waikato.jdsl.core.api.Tree
Removes an external node (a leaf).
removeExternal(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
removeFirst() - Method in interface nz.ac.waikato.jdsl.core.api.Sequence
Removes and invalidates the first position of this.
removeFirst() - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
This method also clears the Position and element caches.
removeFirst() - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
This method also clears the position cache.
removeKey(Object) - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDictionary
Removes the first element found with the given key from the hashtable.
removeKey(Object) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(logN) time -- where N = the number of locators in the tree and O(logN) = the height of the tree The worst-case removal would restructure once each step up the tree.
removeLast() - Method in interface nz.ac.waikato.jdsl.core.api.Sequence
Removes and invalidates the last position of this.
removeLast() - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
This method also clears the Position and element caches.
removeLast() - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
This method also clears the position cache.
removeListener(String) - Method in class nz.ac.waikato.modeljunit.ListenerFactory
Remove the listener class associated with name.
removeListener(String) - Method in class nz.ac.waikato.modeljunit.Model
Remove a coverage listener by name.
removeMin() - Method in interface nz.ac.waikato.jdsl.core.api.PriorityQueue
Pops the highest-priority element off the priority queue and updates the priority queue.
removeMin() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayHeap
If array-shrinking is specified at construction time and the load factor of the array is 0.25 after the removal, the capacity of the array is halved by copying the elements into a new array.
removeS1() - Method in class nz.ac.waikato.modeljunit.examples.SimpleSet
 
removeS1() - Method in class nz.ac.waikato.modeljunit.examples.SimpleSetWithAdaptor
 
removeS1() - Method in class nz.ac.waikato.modeljunit.examples.SmartSetAdaptor
 
removeS2() - Method in class nz.ac.waikato.modeljunit.examples.SimpleSet
 
removeS2() - Method in class nz.ac.waikato.modeljunit.examples.SimpleSetWithAdaptor
 
removeS2() - Method in class nz.ac.waikato.modeljunit.examples.SmartSetAdaptor
 
removeSelfAndAbove() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
O(1) time This method removes this node and its parent, replacing its parent with my sibling This is the asymmetric opposite of expand.
removeSelfAndAbove() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
Should never be called
removeVertex(Vertex) - Method in interface nz.ac.waikato.jdsl.graph.api.Graph
Removes a vertex and all its incident edges.
removeVertex(Vertex) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(degree)
replaceElement(Accessor, Object) - Method in interface nz.ac.waikato.jdsl.core.api.Container
Changes the element stored at an accessor.
replaceElement(Accessor, Object) - Method in class nz.ac.waikato.jdsl.core.ref.ArrayHeap
time complexity = worst-case O(1)
replaceElement(Accessor, Object) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
This method also invalidates the elements cache.
replaceElement(Accessor, Object) - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDictionary
O(1)
replaceElement(Object) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
O(1) time Replaces my element, returning the old element
replaceElement(Object) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
Should never be called
replaceElement(Accessor, Object) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
replaceElement(Accessor, Object) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
O(1) time
replaceElement(Accessor, Object) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
replaceElement(Accessor, Object) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(1) time
replaceElement(Accessor, Object) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
replaceKey(Locator, Object) - Method in interface nz.ac.waikato.jdsl.core.api.KeyBasedContainer
Replaces the key in the given (key,element) pair, adjusting the container as necessary.
replaceKey(Locator, Object) - Method in class nz.ac.waikato.jdsl.core.ref.ArrayHeap
time complexity = worst-case O(log n)
replaceKey(Locator, Object) - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDictionary
O(1)
replaceKey(Locator, Object) - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(logN) time -- where N = the number of locators in the tree and O(logN) = the height of the tree Takes the running time it would take to execute both remove and insert.
replaceSelf(NodeBinaryTree.NBTNode) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
O(1) time Replaces me with a new node, as far as my parent is concerned protected so restructurable trees can use it
replaceSelf(NodeBinaryTree.NBTNode) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
Should never be called
replaceSubtree(Position, BinaryTree) - Method in interface nz.ac.waikato.jdsl.core.api.BinaryTree
Swaps a subtree of this binary tree with a binary tree passed in.
replaceSubtree(Position, Tree) - Method in interface nz.ac.waikato.jdsl.core.api.Tree
Replaces the subtree rooted at node with the tree t.
replaceSubtree(Position, BinaryTree) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
Takes O(S1+S2) time, where S1 and S2 are the number of positions in each subtree You are only allowed to link in and replaceSubtree with other instances of NodeBinaryTree (or subclasses thereof)
replaceSubtree(Position, Tree) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(size of the new subtree + size of the cut tree) time
reportPath() - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraPathfinder
 
reset() - Method in interface nz.ac.waikato.jdsl.core.api.ObjectIterator
Puts the iterator back in its initial, before-the-first state
reset() - Method in class nz.ac.waikato.jdsl.core.ref.AbstractArrayIterator
Takes O(1) time
reset() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayObjectIterator
Takes O(1) time
reset() - Method in class nz.ac.waikato.jdsl.core.ref.InOrderIterator
Takes O(1) time Sets the current node to the first node.
reset() - Method in class nz.ac.waikato.jdsl.core.ref.PostOrderIterator
Takes O(1) time Sets the current node to the first node.
reset() - Method in class nz.ac.waikato.jdsl.core.ref.PreOrderIterator
Takes O(1) time Sets the current node to the first node.
reset() - Method in class nz.ac.waikato.jdsl.graph.ref.AbstractGraph.OO_to_O_MergerIterator
 
reset() - Method in class nz.ac.waikato.jdsl.graph.ref.EdgeIteratorAdapter
 
reset() - Method in class nz.ac.waikato.jdsl.graph.ref.VertexIteratorAdapter
 
reset(boolean) - Method in class nz.ac.waikato.modeljunit.examples.AlarmClock
 
reset(boolean) - Method in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
reset(boolean) - Method in class nz.ac.waikato.modeljunit.examples.FSM
 
reset(boolean) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
reset() - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
 
reset(boolean) - Method in class nz.ac.waikato.modeljunit.examples.LargeSet
Set all bits of elem to false.
reset(boolean) - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
reset(boolean) - Method in class nz.ac.waikato.modeljunit.examples.SimpleSet
 
reset(boolean) - Method in class nz.ac.waikato.modeljunit.examples.SimpleSetWithAdaptor
 
reset(boolean) - Method in class nz.ac.waikato.modeljunit.examples.SmartSetAdaptor
 
reset(boolean) - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
reset(boolean) - Method in class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
reset(boolean) - Method in class nz.ac.waikato.modeljunit.examples.TrafficLight
 
reset(boolean) - Method in interface nz.ac.waikato.modeljunit.FsmModel
Reset the model to its initial state.
reset() - Static method in class nz.ac.waikato.modeljunit.gui.TestExeModel
 
reset() - Method in class nz.ac.waikato.modeljunit.LookaheadTester
 
reset() - Method in class nz.ac.waikato.modeljunit.Tester
Performs a user-requested reset of the model.
resetActionHistoryList() - Method in class nz.ac.waikato.modeljunit.gui.PanelExecuteActions
If user load a new model, this function should be involved to reset the action history
resetCoverageMetrics() - Static method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Reset all the coverage statistics.
resetModelToNull() - Static method in class nz.ac.waikato.modeljunit.gui.TestExeModel
If user loaded an invalid model class, the model class and model object have to be reset to null.
resetRunTimeInformation() - Method in class nz.ac.waikato.modeljunit.gui.PanelResultViewer
 
resetRunTimeInformation() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.JUNGHelper
Reset JUNGView.
resetRunTimeInformation() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation
This is run to reset the tree view and the panel when a new graph is selected.
resetSubComponents() - Method in class nz.ac.waikato.modeljunit.gui.PanelExecuteActions
Every time user execute an action this function should be involved to update action list.
resetToEmpty() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
Used for resetting the tree to an empty tree after a link or replaceSubtree operation.
response - Variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
 
result - Variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
ResultDetails - Class in nz.ac.waikato.modeljunit.gui
 
ResultDetails(String, String, String, String, String) - Constructor for class nz.ac.waikato.modeljunit.gui.ResultDetails
 
ResultExtractor - Class in nz.ac.waikato.modeljunit
This class runs several random and greedyRandom walks and outputs them to a text file
ResultExtractor() - Constructor for class nz.ac.waikato.modeljunit.ResultExtractor
 
ResultExtractor(int) - Constructor for class nz.ac.waikato.modeljunit.ResultExtractor
 
reverseDirection(Edge) - Method in interface nz.ac.waikato.jdsl.graph.api.ModifiableGraph
Reverse the direction of an edge.
reverseDirection(Edge) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
right() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
O(1) time
right() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
Should never be called
rightChild(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableBinaryTree
Provides the right child of a given node.
rightChild(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
root() - Method in interface nz.ac.waikato.jdsl.core.api.InspectableTree
Gets the root of this tree.
root() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
root() - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
run() - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
run() - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation.AnimateThread
 
run() - Method in class nz.ac.waikato.modeljunit.ResultExtractor
 
runAlgorithm(int) - Method in class nz.ac.waikato.modeljunit.gui.AlgorithmPanel
This delegates to the runAlgorithm(idx) method of the parameters pane.
runAlgorithm(int) - Method in interface nz.ac.waikato.modeljunit.gui.IAlgorithmParameter
 
runAlgorithm(int) - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelAdapter
 
runAlgorithm(int) - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelGreedy
 
runAlgorithm(int) - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelLookahead
 
runAlgorithm(int) - Method in class nz.ac.waikato.modeljunit.gui.OptionPanelRandomWalk
 
runModel() - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
RUNS - Static variable in class nz.ac.waikato.modeljunit.examples.SizeExperiments
Number of times to repeat each experiment, to get an average.
runTestAuto() - Static method in class nz.ac.waikato.modeljunit.gui.TestExeModel
Generate and execute tests automatically.
runtime - Static variable in class nz.ac.waikato.modeljunit.gui.ClassFileLoader
 
runUntil() - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Repeatedly calls method doOneIteration() until either the priority queue is empty or method shouldContinue() returns false.

S

s1 - Variable in class nz.ac.waikato.modeljunit.examples.SimpleSet
 
s1 - Variable in class nz.ac.waikato.modeljunit.examples.SimpleSetWithAdaptor
 
s2 - Variable in class nz.ac.waikato.modeljunit.examples.SimpleSet
 
s2 - Variable in class nz.ac.waikato.modeljunit.examples.SimpleSetWithAdaptor
 
S2_STRINGS - Variable in class nz.ac.waikato.modeljunit.examples.SmartSetAdaptor
 
save(Project) - Static method in class nz.ac.waikato.modeljunit.gui.Project
Save the project state to the currently set filename.
saveProject() - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
saveTestFile(String) - Method in class nz.ac.waikato.modeljunit.gui.PanelExecuteActions
 
Select_file(SimCard.F_Name) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
Select_file(SimCard.F_Name, SimCard.Status_Word) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
 
selectDF_Gsm() - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
selectDF_Roaming() - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
selectEF_FR() - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
selectEF_IMSI() - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
selectEF_LP() - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
selectMF() - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
SEP - Static variable in class nz.ac.waikato.modeljunit.gui.Indentation
 
Sequence - Interface in nz.ac.waikato.jdsl.core.api
A positional container whose elements are linearly organized.
sequenceToList(InspectableSequence, List) - Static method in class nz.ac.waikato.jdsl.core.util.Converter
Places the contents of a sequence into a list, preserving order.
sequenceToSet(InspectableSequence, Set) - Static method in class nz.ac.waikato.jdsl.core.util.Converter
Places the contents of a sequence into a set.
SerializableObject - Class in nz.ac.waikato.jdsl.core.ref
An object which can be used as a key for decorations, but which is Serializable.
SerializableObject() - Constructor for class nz.ac.waikato.jdsl.core.ref.SerializableObject
 
set(Object, Object) - Method in interface nz.ac.waikato.jdsl.core.api.Decorable
Sets the value in the (attribute, value) entry associated with a certain attribute in this decorable object.
set(Object, Object) - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDecorable
Sets the value of a decoration.
set(Object, Object) - Method in class nz.ac.waikato.jdsl.graph.api.Edge.NONEEdge
 
set(Object, Object) - Method in class nz.ac.waikato.jdsl.graph.api.Vertex.NONEVertex
 
setActionName(String) - Method in exception nz.ac.waikato.modeljunit.TestFailureException
 
setAlarm() - Method in class nz.ac.waikato.modeljunit.examples.AlarmClock
 
setAlarmGuard() - Method in class nz.ac.waikato.modeljunit.examples.AlarmClock
Guard for the setAlarm action, only allows the action to occur if the alarm is not currently set
setAlgorithm(int) - Method in class nz.ac.waikato.modeljunit.gui.Project
 
setAlgorithm(IAlgorithmParameter) - Static method in class nz.ac.waikato.modeljunit.gui.TestExeModel
 
setAlgorithmName(String) - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
setArrayShrinkability(boolean) - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
A public convenience method that allows the user to toggle the shrinkability of the array.
setChild(NodeBinaryTree.NBTNode, NodeBinaryTree.NBTNode) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
O(1) time Replaces one of my children with a new node protected to allow SuperNode to override it
setChild(NodeBinaryTree.NBTNode, NodeBinaryTree.NBTNode) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
O(1) time Sets this node's root; any other use of this method is invalid
setChv(int, int) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
Packs a PIN number (given as an int) into 8 bytes.
setClassName(String) - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
setConfiguration(Map<String, String>) - Method in class nz.ac.waikato.modeljunit.gui.Project
 
setContainer(NodeBinaryTree) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
O(1) time Sets the parameter container as this node's container
setCoverageLineColors(Color[]) - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
setCoverageOption(boolean[]) - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
setCoverageOptions(boolean[]) - Method in class nz.ac.waikato.modeljunit.gui.Project
 
setDepth(int) - Method in class nz.ac.waikato.modeljunit.LookaheadTester
Set the lookahead depth.
setDirectionFrom(Edge, Vertex) - Method in interface nz.ac.waikato.jdsl.graph.api.ModifiableGraph
Sets the direction of an edge away from a vertex.
setDirectionFrom(Edge, Vertex) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
setDirectionTo(Edge, Vertex) - Method in interface nz.ac.waikato.jdsl.graph.api.ModifiableGraph
Sets the direction of an edge towards a vertex.
setDirectionTo(Edge, Vertex) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
setEdgeDisplayed(Transition, boolean) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.JUNGHelper
This will set the edge transition display value.
setEdgeToParent(Vertex, Edge) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Can be overridden to supply a way of storing and retrieving one edge per vertex.
setElement(Object) - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence.FNSNode
Sets the position's element
setFailedEdge(Boolean) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
 
setFailedMsg(String) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
 
setFailureVerbosity(boolean) - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
setFailureVerbosity(boolean) - Method in class nz.ac.waikato.modeljunit.gui.Project
 
setFailureVerbosity(int) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Sets the amount of information printed when tests fail.
setFileChooserOpenMode(int) - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
setFileID(SimCard.F_Name) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
Translate a model filename into a real filename.
setFileName(File) - Method in class nz.ac.waikato.modeljunit.gui.Project
Set a filename for the project to save to.
setGeneratedCode(String) - Method in class nz.ac.waikato.modeljunit.gui.PanelExecuteActions
Get generated code from other panel Get rid of statement "tester.generate();" Using statements in action history list replace "tester.generate();"
setGenerateGraph(boolean) - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
setGenerateGraph(boolean) - Method in class nz.ac.waikato.modeljunit.gui.Project
 
setGraph(InspectableGraph, Map<Object, Vertex>) - Method in class nz.ac.waikato.modeljunit.coverage.AbstractCoverage
A default implementation that does nothing.
setGraph(InspectableGraph, Map<Object, Vertex>) - Method in class nz.ac.waikato.modeljunit.coverage.ActionCoverage
 
setGraph(InspectableGraph, Map<Object, Vertex>) - Method in class nz.ac.waikato.modeljunit.coverage.CoverageHistory
Delegates to getMetric().setModel(...).
setGraph(InspectableGraph, Map<Object, Vertex>) - Method in interface nz.ac.waikato.modeljunit.coverage.CoverageMetric
This is called when the graph seems to be complete.
setGraph(InspectableGraph, Map<Object, Vertex>) - Method in class nz.ac.waikato.modeljunit.coverage.StateCoverage
 
setGraph(InspectableGraph, Map<Object, Vertex>) - Method in class nz.ac.waikato.modeljunit.coverage.TransitionCoverage
 
setGraph(InspectableGraph, Map<Object, Vertex>) - Method in class nz.ac.waikato.modeljunit.coverage.TransitionPairCoverage
 
setHighlight(boolean) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexStrokeTransformer
 
setIncomingEdges(int) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexInfo
 
setInstance(Project) - Static method in class nz.ac.waikato.modeljunit.gui.Project
 
setIsDisplayed(boolean) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
 
setIsDisplayed(boolean) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexInfo
 
setIsFailedVertex(Boolean) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexInfo
 
setIsPicked(boolean) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexInfo
 
setIsVisited(Boolean) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
 
setIsVisited(Boolean) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexInfo
 
setLastModified(Date) - Method in class nz.ac.waikato.modeljunit.gui.Project
 
setLeft(NodeBinaryTree.NBTNode) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
O(1) time Sets the parameter node as this node's left child
setLeft() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
Should never be called
setLocator(Vertex, Locator) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Can be overridden to supply a way of storing and retrieving one locator per vertex.
setLocator(Vertex, Locator) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
Can be overridden to supply a way of storing and retrieving one locator per vertex.
setLoopTolerance(int) - Method in class nz.ac.waikato.modeljunit.AllRoundTester
Lets you set how many times the algorithm will tolerate a loop
setMaxLength(int) - Method in class nz.ac.waikato.modeljunit.LookaheadTester
Set the maximum length of each generated test.
setModel(Model) - Method in class nz.ac.waikato.modeljunit.AbstractListener
 
setModel(Model) - Method in class nz.ac.waikato.modeljunit.coverage.CoverageHistory
This tells the underlying metric about the model, even though the model will not be sending events directly to that metric (the events come through this wrapper).
setModel(Model) - Method in class nz.ac.waikato.modeljunit.GraphListener
Starts to build the FSM graph by exploring the fsm object.
setModel(Model) - Static method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
setModel(Model) - Method in interface nz.ac.waikato.modeljunit.ModelListener
Tell the listener which model it is listening to.
setModel(FsmModel) - Method in exception nz.ac.waikato.modeljunit.TestFailureException
 
setModelChooserDirectory(String) - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
Set the absolute path (including the package directories) to the .class model files.
setModelFile(File) - Method in class nz.ac.waikato.modeljunit.gui.Project
 
setModelFolder(String) - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
Set the path to the directory containing the model files.
setModelName(String) - Method in exception nz.ac.waikato.modeljunit.TestFailureException
 
setModelPath(String) - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
Set the absolute path of the model (.class) file.
setModelRelatedButton(JButton) - Method in class nz.ac.waikato.modeljunit.gui.PanelTestDesign
 
setName(String) - Method in class nz.ac.waikato.modeljunit.gui.Project
Update the project name
setNewActionValue(int) - Method in class nz.ac.waikato.modeljunit.LookaheadTester
Set the NEW_ACTION parameter.
setNewTransValue(int) - Method in class nz.ac.waikato.modeljunit.LookaheadTester
Set the NEW_TRANS parameter.
setOptionPanel(OptionPanelAdapter) - Method in class nz.ac.waikato.modeljunit.gui.AlgorithmPanel
 
setOutgoingEdges(int) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexInfo
 
setOutput(Writer) - Method in class nz.ac.waikato.modeljunit.Model
Sets the current output stream.
setPackageLocation(String) - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
Set the path to the top-level package directory of the model.
setPackageName(String) - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
The name of the Java package that contains the model.
setParameter(Parameter) - Method in class nz.ac.waikato.modeljunit.gui.Project
 
setParent(NodeBinaryTree.NBTNode) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
O(1) time Sets the parameter node as this node's parent
setParent() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
Should never be called
setProgress(int, int) - Method in class nz.ac.waikato.modeljunit.gui.PanelCoverage
 
setProperty(String, String) - Method in class nz.ac.waikato.modeljunit.gui.Project
Set a configuration value.
setRand(Random) - Method in class nz.ac.waikato.modeljunit.ResultExtractor
 
setRandom(Random) - Method in class nz.ac.waikato.modeljunit.Tester
This allows you to specify a random number generator.
setResetProbability(double) - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
setResetProbability(double) - Method in class nz.ac.waikato.modeljunit.gui.Project
 
setResetProbability(double) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Set the probability of doing a reset during random walks.
setResetProbability(double) - Method in class nz.ac.waikato.modeljunit.RandomTester
Set the probability of doing a reset during random walks.
setRight(NodeBinaryTree.NBTNode) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
O(1) time Sets the parameter node as this node's right child
setRight() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
Should never be called
setRoot(NodeBinaryTree.NBTNode) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
O(1) time Sets this node's root
setSequence(List<Transition>) - Method in exception nz.ac.waikato.modeljunit.TestFailureException
 
setShowLabels(boolean) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexLabelTransformer
 
setStartState(boolean) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexInfo
 
setState(Object) - Method in exception nz.ac.waikato.modeljunit.TestFailureException
 
setTestCaseVariableName(String) - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
setTester(Tester, int) - Static method in class nz.ac.waikato.modeljunit.gui.TestExeModel
 
setTesting(boolean) - Method in class nz.ac.waikato.modeljunit.Model
Sets the testing flag.
setTestLength(int) - Method in class nz.ac.waikato.modeljunit.ResultExtractor
 
setTime(int) - Method in class nz.ac.waikato.modeljunit.timing.TimedModel
Sets the current time in the FSM object.
setTimeoutProbability(double) - Method in class nz.ac.waikato.modeljunit.timing.TimedModel
 
setTitle(String) - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
setToSequence(Set, Sequence) - Static method in class nz.ac.waikato.jdsl.core.util.Converter
Places the contents of a set into a sequence.
setUp() - Method in class nz.ac.waikato.modeljunit.examples.gsm.GSM11ImplTest
 
setVerbosity(boolean) - Static method in class nz.ac.waikato.modeljunit.gui.Parameter
 
setVerbosity(int) - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Sets the level of progress messages that will be printed as this class builds the FSM graph and generates tests.
setVersion(String) - Method in class nz.ac.waikato.modeljunit.gui.Project
 
setWalkLength(int) - Method in class nz.ac.waikato.modeljunit.gui.Project
 
setWalkLength(int) - Static method in class nz.ac.waikato.modeljunit.gui.TestExeModel
 
setWord(byte[], int, int) - Method in class nz.ac.waikato.modeljunit.examples.gsm.GSM11Impl
Writes a two-byte word into buf[pos..pos+1].
setWord(int, int) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
 
shortestPathFound(Vertex, int) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Can be overridden to give you a notification when the shortest path to a vertex is determined.
shouldContinue() - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraPathfinder
 
shouldContinue() - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Can be overridden in any application where the full shortest-path tree is not needed and the algorithm should terminate early.
shouldContinue() - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
Can be overridden in any application where the full minimum spanning tree is not needed and the algorithm should terminate early.
show_ - Variable in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeDisplayPredicate
 
show_ - Variable in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexDisplayPredicate
 
showAnimation_ - Variable in class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation
 
showEdgeLabels(boolean) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeLabelTransformer
 
showEmptyExploredGraph(GraphListener) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation
This will show the fully explored graph
showExplored(boolean) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeDisplayPredicate
 
showExplored(boolean) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexDisplayPredicate
 
showProjectDialog(Project) - Method in class nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
 
Showtime - Class in nz.ac.waikato.modeljunit.examples.ecinema
 
Showtime() - Constructor for class nz.ac.waikato.modeljunit.examples.ecinema.Showtime
 
showtimes - Variable in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
shrink() - Static method in class nz.ac.waikato.modeljunit.gui.Indentation
 
sibling(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableBinaryTree
Provides the sibling of a given node (the other child of the node's parent)
sibling(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
siblingAfter(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableTree
 
siblingAfter(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
siblingAfter(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
siblingBefore(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableTree
 
siblingBefore(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
siblingBefore(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(the number of children of the node) time
siblings(Position) - Method in interface nz.ac.waikato.jdsl.core.api.InspectableTree
Returns an iterator over the siblings of the node in order.
siblings(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
siblings(Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(the number of children of the node) time
SimCard - Class in nz.ac.waikato.modeljunit.examples.gsm
This is an EFSM model of the SIM card within a mobile phone.
SimCard(SimCardAdaptor) - Constructor for class nz.ac.waikato.modeljunit.examples.gsm.SimCard
If sut0 is null, then the model runs without testing any SUT.
SimCard.B_Status - Enum in nz.ac.waikato.modeljunit.examples.gsm
 
SimCard.E_Status - Enum in nz.ac.waikato.modeljunit.examples.gsm
 
SimCard.F_Name - Enum in nz.ac.waikato.modeljunit.examples.gsm
 
SimCard.File_Type - Enum in nz.ac.waikato.modeljunit.examples.gsm
 
SimCard.Permission - Enum in nz.ac.waikato.modeljunit.examples.gsm
 
SimCard.Status_Word - Enum in nz.ac.waikato.modeljunit.examples.gsm
 
SimCardAdaptor - Class in nz.ac.waikato.modeljunit.examples.gsm
This class connects the SimCard model to the GSM11Impl.
SimCardAdaptor() - Constructor for class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
 
SimpleSet - Class in nz.ac.waikato.modeljunit.examples
A model of a set with two elements: s1 and s2.
SimpleSet() - Constructor for class nz.ac.waikato.modeljunit.examples.SimpleSet
 
SimpleSetWithAdaptor - Class in nz.ac.waikato.modeljunit.examples
A model of a set with two elements: s1 and s2.
SimpleSetWithAdaptor() - Constructor for class nz.ac.waikato.modeljunit.examples.SimpleSetWithAdaptor
Tests a StringSet implementation.
SimpleSetWithAdaptor(Set<String>) - Constructor for class nz.ac.waikato.modeljunit.examples.SimpleSetWithAdaptor
 
size() - Method in interface nz.ac.waikato.jdsl.core.api.InspectableContainer
Gives the number of elements stored in the container.
size() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayHeap
time complexity = worst-case O(1)
size() - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
O(1) time.
size() - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDecorable
Gets the size.
size() - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDictionary
O(1)
size() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
O(1) time
size() - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
O(1) time
size() - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
size() - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
Takes O(1) time
size() - Method in class nz.ac.waikato.jdsl.graph.ref.AbstractGraph
Built on numVertices() and numEdges().
size() - Method in class nz.ac.waikato.modeljunit.examples.StringSet
 
size() - Method in class nz.ac.waikato.modeljunit.examples.StringSetBuggy
 
SizeExperiments - Class in nz.ac.waikato.modeljunit.examples
The performs some simple experiments on various test generation algorithms to compare the average size of the test suites that they must generate to achieve 100% transition coverage.
SizeExperiments() - Constructor for class nz.ac.waikato.modeljunit.examples.SizeExperiments
 
SmartSetAdaptor - Class in nz.ac.waikato.modeljunit.examples
This class shows how we can use inheritance to add adaptor code.
SmartSetAdaptor(Set<String>) - Constructor for class nz.ac.waikato.modeljunit.examples.SmartSetAdaptor
 
SORRY - Variable in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
sort(Sequence, Comparator) - Method in class nz.ac.waikato.jdsl.core.algo.sorts.ArrayMergeSort
 
sort(Sequence, Comparator) - Method in class nz.ac.waikato.jdsl.core.algo.sorts.ArrayQuickSort
 
sort(Sequence, Comparator) - Method in class nz.ac.waikato.jdsl.core.algo.sorts.HeapSort
 
sort(Sequence, Comparator) - Method in class nz.ac.waikato.jdsl.core.algo.sorts.ListMergeSort
Recursively divides a Sequence into (roughly) equal subsequences and merges them back together once sorted.
sort(Sequence, Comparator) - Method in interface nz.ac.waikato.jdsl.core.algo.sorts.SortObject
Method that actually sorts the sequence, with the first element after the sort being the one that the comparator reported was smallest.
sort() - Method in class nz.ac.waikato.jdsl.graph.algo.AbstractTopologicalSort
This abstract method is overridden in the subclasses.
sort() - Method in class nz.ac.waikato.jdsl.graph.algo.TopologicalSort
The meat of the algorithm.
sort() - Method in class nz.ac.waikato.jdsl.graph.algo.UnitWeightedTopologicalNumbering
The meat of the algorithm.
sortedmapToOrderedDictionary(SortedMap, OrderedDictionary) - Static method in class nz.ac.waikato.jdsl.core.util.Converter
Places the contents of a sorted map into an ordered dictionary.
sortedVertices() - Method in class nz.ac.waikato.jdsl.graph.algo.TopologicalSort
Returns a VertexIterator containing all the Vertices in topologically sorted order.
SortObject - Interface in nz.ac.waikato.jdsl.core.algo.sorts
Algorithm interface for sorting a sequence according to a given comparator of elements.
source - Variable in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
 
source_ - Variable in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
 
SpecialFSM - Class in nz.ac.waikato.modeljunit.examples
Simple FSM that is specialized so All Round Trips runs faster than Greedy or Random.
SpecialFSM() - Constructor for class nz.ac.waikato.modeljunit.examples.SpecialFSM
 
SpecialFSMNoLoops - Class in nz.ac.waikato.modeljunit.examples
Simple FSM that is specialized so All Round Trips runs better
SpecialFSMNoLoops() - Constructor for class nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops
 
SPELL - Variable in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
splitEdge(Edge, Object) - Method in interface nz.ac.waikato.jdsl.graph.api.ModifiableGraph
Splits an existing edge by inserting a new vertex and two new edges, and removing the old edge.
splitEdge(Edge, Object) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(1)
star() - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
starGuard() - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
START_TIME - Static variable in class nz.ac.waikato.jdsl.graph.algo.DFS
Constant used as key to look up the start time of a vertex.
startAction(Object, int, String) - Method in class nz.ac.waikato.modeljunit.AbstractListener
 
startAction(Object, int, String) - Method in class nz.ac.waikato.modeljunit.coverage.CoverageHistory
 
startAction(Object, int, String) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VisualisationListener
 
startAction(Object, int, String) - Method in interface nz.ac.waikato.modeljunit.ModelListener
This is called just before an action is about to be executed.
startBuildGraph() - Method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Starts to build the FSM graph by exploring the fsm object.
startTime(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Returns the "Start time" of a Vertex.
startVisit(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Called when a vertex is visited.
startVisit(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DirectedFindCycleDFS
As new vertices are visited, they are added to the prospective cyclic path.
startVisit(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.FindCycleDFS
As new vertices are visited, they are added to the prospective cyclic path.
state - Variable in class nz.ac.waikato.modeljunit.examples.ecinema.ECinema
 
stateChanged(ChangeEvent) - Method in class nz.ac.waikato.modeljunit.gui.PanelTestDesign
 
StateCoverage - Class in nz.ac.waikato.modeljunit.coverage
Counts the number of times each state has been entered.
StateCoverage() - Constructor for class nz.ac.waikato.modeljunit.coverage.StateCoverage
 
stateName(Object) - Static method in class nz.ac.waikato.modeljunit.GraphListener
Converts a state into a name.
stateName(Object) - Static method in class nz.ac.waikato.modeljunit.ModelTestCase
Deprecated. Converts a state into a name.
status(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Accesses the current status of the given Vertex.
status_block - Variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
status_en - Variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
status_PIN_block - Variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
StopOnFailureListener - Class in nz.ac.waikato.modeljunit
An implementation of ModelListener that throws an exception when the first test failure is detected.
StopOnFailureListener() - Constructor for class nz.ac.waikato.modeljunit.StopOnFailureListener
 
str1 - Variable in class nz.ac.waikato.modeljunit.examples.SimpleSetWithAdaptor
 
str2 - Variable in class nz.ac.waikato.modeljunit.examples.SimpleSetWithAdaptor
 
stringfor(Locator) - Method in class nz.ac.waikato.jdsl.core.ref.ToString.LocatorCollectionsStyle
 
stringfor(Locator) - Method in interface nz.ac.waikato.jdsl.core.ref.ToString.LocatorToString
 
stringfor(Position) - Method in interface nz.ac.waikato.jdsl.core.ref.ToString.PositionToString
 
stringfor(Position) - Method in class nz.ac.waikato.jdsl.core.ref.ToString.PositionWritesElementOnly
 
stringfor(InspectableSequence, ToString.PositionToString) - Static method in class nz.ac.waikato.jdsl.core.ref.ToString
Gives string representation of a sequence, parameterized by how to represent each position (i.e., constructs a string by iterating over all positions of the sequence, concatenating the specified string representation of each position).
stringfor(InspectableSequence) - Static method in class nz.ac.waikato.jdsl.core.ref.ToString
Default version of stringfor( InspSeq, PTS ).
stringfor(InspectableTree, ToString.PositionToString) - Static method in class nz.ac.waikato.jdsl.core.ref.ToString
Gives string representation of a tree, parametrized by how to represent each position.
stringfor(InspectableTree) - Static method in class nz.ac.waikato.jdsl.core.ref.ToString
Default version of stringfor( InspTree, PTS ).
stringfor(InspectableKeyBasedContainer, ToString.LocatorToString) - Static method in class nz.ac.waikato.jdsl.core.ref.ToString
Gives string representation of a dictionary or priority queue, parameterized by how to represent each locator (i.e., constructs a string by iterating over all locators of the container, concatenating the specified string representation of each locator).
stringfor(InspectableKeyBasedContainer) - Static method in class nz.ac.waikato.jdsl.core.ref.ToString
Default version of stringfor( InspKBC, LTS ).
stringfor(Position) - Static method in class nz.ac.waikato.jdsl.core.ref.ToString
 
stringfor(Locator) - Static method in class nz.ac.waikato.jdsl.core.ref.ToString
 
stringfor(Edge, InspectableGraph) - Method in class nz.ac.waikato.jdsl.graph.ref.ToString.EdgeInRTStyle
 
stringfor(Edge, InspectableGraph) - Method in class nz.ac.waikato.jdsl.graph.ref.ToString.EdgeToEmptyString
 
stringfor(Edge, InspectableGraph) - Method in interface nz.ac.waikato.jdsl.graph.ref.ToString.EdgeToString
 
stringfor(InspectableGraph, ToString.VertexToString, ToString.EdgeToString) - Static method in class nz.ac.waikato.jdsl.graph.ref.ToString
Code lifted shamelessly from rt's corresponding class in jdsltools.testers.graph, then adapted to the style of my nz.ac.waikato.jdsl.core.ref.ToString.
stringfor(InspectableGraph) - Static method in class nz.ac.waikato.jdsl.graph.ref.ToString
 
stringfor(Edge) - Static method in class nz.ac.waikato.jdsl.graph.ref.ToString
 
stringfor(Vertex) - Static method in class nz.ac.waikato.jdsl.graph.ref.ToString
 
stringfor(Vertex) - Method in class nz.ac.waikato.jdsl.graph.ref.ToString.VertexToEmptyString
 
stringfor(Vertex) - Method in interface nz.ac.waikato.jdsl.graph.ref.ToString.VertexToString
 
stringfor(Vertex) - Method in class nz.ac.waikato.jdsl.graph.ref.ToString.VertexWritesElementOnly
 
StringSet - Class in nz.ac.waikato.modeljunit.examples
A simple implementation of a set of strings.
StringSet() - Constructor for class nz.ac.waikato.modeljunit.examples.StringSet
 
StringSetBuggy - Class in nz.ac.waikato.modeljunit.examples
A simple implementation of a set of strings.
StringSetBuggy() - Constructor for class nz.ac.waikato.modeljunit.examples.StringSetBuggy
 
StringSetTest - Class in nz.ac.waikato.modeljunit.examples
A simple example of a JUnit test that uses model-based test generation, from the model SimpleSetWithAdaptor.
StringSetTest(String) - Constructor for class nz.ac.waikato.modeljunit.examples.StringSetTest
 
sut - Variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
If this is non-null, each action calls the corresponding adaptor action, which tests the GSM11 implementation.
sut - Variable in class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
 
sut_ - Variable in class nz.ac.waikato.modeljunit.examples.SimpleSetWithAdaptor
 
sut_ - Variable in class nz.ac.waikato.modeljunit.examples.SmartSetAdaptor
 
swapElements(Position, Position) - Method in interface nz.ac.waikato.jdsl.core.api.PositionalContainer
Swaps the elements associated with the two positions, leaving the positions themselves "where" they were.
swapElements(Position, Position) - Method in class nz.ac.waikato.jdsl.core.ref.AbstractPositionalContainer
Works on top of PositionalContainer method replaceElement(Position, Object) and InspectableContainer method contains().
swapElements(Position, Position) - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
O(1) time
swapWithNode(NodeBinaryTree.NBTNode) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode
Should never be called

T

Tester - Class in nz.ac.waikato.modeljunit
An abstract superclass for all the test generation algorithms.
Tester(Model) - Constructor for class nz.ac.waikato.modeljunit.Tester
Create a test generator for the given model.
Tester(FsmModel) - Constructor for class nz.ac.waikato.modeljunit.Tester
A convenience constructor that puts a Model wrapper around an FsmModel.
TestExeModel - Class in nz.ac.waikato.modeljunit.gui
 
TestExeModel() - Constructor for class nz.ac.waikato.modeljunit.gui.TestExeModel
 
TestFailureException - Exception in nz.ac.waikato.modeljunit
Exceptions related to failed tests.
TestFailureException() - Constructor for exception nz.ac.waikato.modeljunit.TestFailureException
 
TestFailureException(String) - Constructor for exception nz.ac.waikato.modeljunit.TestFailureException
 
TestFailureException(String, Throwable) - Constructor for exception nz.ac.waikato.modeljunit.TestFailureException
 
TestFailureException(Throwable) - Constructor for exception nz.ac.waikato.modeljunit.TestFailureException
 
testGSM11() - Method in class nz.ac.waikato.modeljunit.examples.gsm.GSM11ImplTest
 
testSet() - Method in class nz.ac.waikato.modeljunit.examples.StringSetTest
 
tickets - Variable in class nz.ac.waikato.modeljunit.examples.ecinema.Showtime
 
tickets - Variable in class nz.ac.waikato.modeljunit.examples.ecinema.User
 
ticketsLeft - Variable in class nz.ac.waikato.modeljunit.examples.ecinema.Showtime
 
Time - Annotation Type in nz.ac.waikato.modeljunit.timing
Time annotation for use in TimedModels.
time_ - Variable in class nz.ac.waikato.modeljunit.timing.TimedTransition
 
TimedFsmModel - Interface in nz.ac.waikato.modeljunit.timing
 
TimedModel - Class in nz.ac.waikato.modeljunit.timing
An extension of the model class which supports timed models.
TimedModel(TimedFsmModel) - Constructor for class nz.ac.waikato.modeljunit.timing.TimedModel
 
TimedTransition - Class in nz.ac.waikato.modeljunit.timing
 
TimedTransition(int, Object, String, Object) - Constructor for class nz.ac.waikato.modeljunit.timing.TimedTransition
 
Timeout - Annotation Type in nz.ac.waikato.modeljunit.timing
Annotation for Timeouts.
toCSV() - Method in class nz.ac.waikato.modeljunit.coverage.CoverageHistory
Converts the history coverage values to a comma-separated string.
todoReset_ - Variable in class nz.ac.waikato.modeljunit.coverage.StateCoverage
 
Toolbar - Class in nz.ac.waikato.modeljunit.gui
The toolbar class for ModelJUnit.
Toolbar(ModelJUnitGUI) - Constructor for class nz.ac.waikato.modeljunit.gui.Toolbar
 
TopologicalSort - Class in nz.ac.waikato.jdsl.graph.algo
This algorithm class performs a topological ordering on a given DAG.
TopologicalSort() - Constructor for class nz.ac.waikato.jdsl.graph.algo.TopologicalSort
Constructor
toString() - Method in class nz.ac.waikato.jdsl.core.ref.ArrayHeap
time complexity = worst-case O(n)
toString() - Method in class nz.ac.waikato.jdsl.core.ref.ArraySequence
O(n) time.
toString() - Method in class nz.ac.waikato.jdsl.core.ref.HashtableDictionary
O(N) human readable description of the contents of this dictionary, conforming to the Collections spec for key-element structures.
toString() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode
 
toString() - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
 
toString() - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence.FNSNode
 
toString() - Method in class nz.ac.waikato.jdsl.core.ref.NodeSequence
 
toString() - Method in class nz.ac.waikato.jdsl.core.ref.NodeTree
 
toString() - Method in class nz.ac.waikato.jdsl.core.ref.RedBlackTree
 
ToString - Class in nz.ac.waikato.jdsl.core.ref
Collection of static methods that generate a string representing a container or accessor.
toString() - Method in class nz.ac.waikato.jdsl.graph.api.Edge.NONEEdge
 
toString() - Method in class nz.ac.waikato.jdsl.graph.api.Vertex.NONEVertex
 
toString() - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
 
ToString - Class in nz.ac.waikato.jdsl.graph.ref
string representing a graph.
toString() - Method in class nz.ac.waikato.modeljunit.coverage.AbstractCoverage
 
toString() - Method in class nz.ac.waikato.modeljunit.coverage.CoverageHistory
Returns getMetric().toString().
toString() - Method in class nz.ac.waikato.modeljunit.gui.Parameter
 
toString() - Method in class nz.ac.waikato.modeljunit.timing.TimedTransition
 
toString() - Method in class nz.ac.waikato.modeljunit.Transition
 
toString() - Method in class nz.ac.waikato.modeljunit.TransitionPair
 
ToString.EdgeInRTStyle - Class in nz.ac.waikato.jdsl.graph.ref
 
ToString.EdgeToEmptyString - Class in nz.ac.waikato.jdsl.graph.ref
 
ToString.EdgeToEmptyString() - Constructor for class nz.ac.waikato.jdsl.graph.ref.ToString.EdgeToEmptyString
 
ToString.EdgeToString - Interface in nz.ac.waikato.jdsl.graph.ref
 
ToString.LocatorCollectionsStyle - Class in nz.ac.waikato.jdsl.core.ref
Stringifies a locator in the Java Collections style: (key)=(element).
ToString.LocatorCollectionsStyle() - Constructor for class nz.ac.waikato.jdsl.core.ref.ToString.LocatorCollectionsStyle
 
ToString.LocatorToString - Interface in nz.ac.waikato.jdsl.core.ref
Way to parameterize the stringifying of a locator, within the stringifying of a container.
ToString.PositionToString - Interface in nz.ac.waikato.jdsl.core.ref
Way to parametrize the stringifying of a position, within the stringifying of a container.
ToString.PositionWritesElementOnly - Class in nz.ac.waikato.jdsl.core.ref
Stringifies a position by giving the string representation of the position's element.
ToString.PositionWritesElementOnly() - Constructor for class nz.ac.waikato.jdsl.core.ref.ToString.PositionWritesElementOnly
 
ToString.VertexToEmptyString - Class in nz.ac.waikato.jdsl.graph.ref
 
ToString.VertexToEmptyString() - Constructor for class nz.ac.waikato.jdsl.graph.ref.ToString.VertexToEmptyString
 
ToString.VertexToString - Interface in nz.ac.waikato.jdsl.graph.ref
 
ToString.VertexWritesElementOnly - Class in nz.ac.waikato.jdsl.graph.ref
 
ToString.VertexWritesElementOnly() - Constructor for class nz.ac.waikato.jdsl.graph.ref.ToString.VertexWritesElementOnly
 
trafficFlowTimer - Variable in class nz.ac.waikato.modeljunit.examples.TrafficLight
This timer controls the minimum 20 second period in which the light must be green for cars.When the timer expires the minimumWaitElapsed action will be called
TrafficLight - Class in nz.ac.waikato.modeljunit.examples
 
TrafficLight() - Constructor for class nz.ac.waikato.modeljunit.examples.TrafficLight
 
TrafficLight.STATE - Enum in nz.ac.waikato.modeljunit.examples
 
transform(Object) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeFontTransformer
 
transform(Object) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeLabelTransformer
 
transform(Object) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgePaintTransformer
 
transform(Object) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.EdgeStrokeTransformer
Return the stroke for this edge.
transform(Object) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.InfoLabelTransformer
 
transform(V) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexEdgePaintTransformer
 
transform(Object) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexFontTransformer
 
transform(Object) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexLabelTransformer
 
transform(V) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexPaintTransformer
 
transform(V) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexStrokeTransformer
 
transition(Edge, InspectableGraph) - Static method in class nz.ac.waikato.modeljunit.coverage.AbstractCoverage
A convenience method for converting a graph edge into a Transition.
Transition - Class in nz.ac.waikato.modeljunit
A transition represents a triple (StartState,Action,EndState).
Transition(Object, String, Object) - Constructor for class nz.ac.waikato.modeljunit.Transition
 
TransitionCoverage - Class in nz.ac.waikato.modeljunit.coverage
Measures the number of Transitions that have been tested.
TransitionCoverage() - Constructor for class nz.ac.waikato.modeljunit.coverage.TransitionCoverage
 
TransitionPair - Class in nz.ac.waikato.modeljunit
A transition pair is a pair of transitions (incoming,outgoing).
TransitionPair(Transition, Transition) - Constructor for class nz.ac.waikato.modeljunit.TransitionPair
 
TransitionPairCoverage - Class in nz.ac.waikato.modeljunit.coverage
Measures the number of distinct Actions that have been tested.
TransitionPairCoverage() - Constructor for class nz.ac.waikato.modeljunit.coverage.TransitionPairCoverage
 
transitions_ - Variable in class nz.ac.waikato.modeljunit.LookaheadTester
 
traverseBackEdge(Edge, Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Called when a back edge is traversed.
traverseBackEdge(Edge, Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DirectedFindCycleDFS
When a back edge has been encountered, the graph has a cycle.
traverseBackEdge(Edge, Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.FindCycleDFS
When a back edge has been encountered, the graph has a cycle.
traverseCrossEdge(Edge, Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Called when a cross edge is traversed.
traverseForwardEdge(Edge, Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Called when a forward edge is traversed.
traverseTreeEdge(Edge, Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Called when a discovery edge is traversed.
Tree - Interface in nz.ac.waikato.jdsl.core.api
A positional container representing an ordered tree.
tree_ - Variable in class nz.ac.waikato.jdsl.core.algo.traversals.EulerTour
The tree on which the algorithm executes.
TREE_EDGE - Static variable in class nz.ac.waikato.jdsl.graph.algo.DFS
Constant signifying that a marked edge is a tree edge.
TREE_NUMBER - Static variable in class nz.ac.waikato.jdsl.graph.algo.DFS
Constant used as key to look up the tree to which a Vertex belongs.
treeEdgeFound(Vertex, Edge, int) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
Can be overridden to give you a notification when a vertex is added to the minimum spanning tree.
treeNum_ - Variable in class nz.ac.waikato.jdsl.graph.algo.DFS
The number of the DFS tree being traversed.
treeNumber(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Retrieves an index representing a connected DFS component.
treeToSet(InspectableTree, Set) - Static method in class nz.ac.waikato.jdsl.core.util.Converter
Places the contents of a tree into a set.
treeWeight - Variable in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
 
type(Edge) - Method in class nz.ac.waikato.jdsl.graph.algo.DFS
Accesses the current type of the given Edge.
type - Variable in class nz.ac.waikato.modeljunit.examples.gsm.File
 

U

Unblock_PIN(int, int) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
Unblock_PIN(int, int, SimCard.Status_Word) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
 
unblockPINBad() - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
unblockPINGood12() - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
UNDIR - Static variable in interface nz.ac.waikato.jdsl.graph.api.EdgeDirection
 
undirectedEdges() - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
undirectedEdges() - Method in class nz.ac.waikato.jdsl.graph.ref.AbstractGraph
Built on edges() and isDirected(.)
UNITLENGTHFUNCTION - Static variable in class nz.ac.waikato.modeljunit.gui.visualisaton.JUNGHelper
 
UnitWeightedTopologicalNumbering - Class in nz.ac.waikato.jdsl.graph.algo
This algorithm class computes the optimal unit-weighted topological numbering for a given DAG.
UnitWeightedTopologicalNumbering() - Constructor for class nz.ac.waikato.jdsl.graph.algo.UnitWeightedTopologicalNumbering
Constructor
UNSEEN - Static variable in class nz.ac.waikato.jdsl.graph.algo.DFS
Constant signifying that an edge has not yet been seen.
unsplitEdge(Vertex, Object) - Method in interface nz.ac.waikato.jdsl.graph.api.ModifiableGraph
Transforms edge-vertex-edge into a single edge.
unsplitEdge(Vertex, Object) - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
Note: the "two" edges incident on v cannot be the same edge.
UNVISITED - Static variable in class nz.ac.waikato.jdsl.graph.algo.DFS
Constant signifying that an vertex has not been visited
update(Object) - Method in interface nz.ac.waikato.modeljunit.gui.IView
 
updateCode(String) - Method in class nz.ac.waikato.modeljunit.gui.PanelCodeViewer
 
updateContainer(Accessor) - Method in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
Recursively changes the container of all nodes in the subtree anchored at root to this container, adding to _size for each node whose container we change Takes O(S) time -- where S is the number of elements in the subtree
updateGUI() - Method in class nz.ac.waikato.modeljunit.gui.PanelAnimator
 
updateGUI(boolean) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation
This method is used to update the panel.
updateInfoPanel(Object) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation
This will update the info panel based on what object is passed to it.
updatePanelSettings() - Method in class nz.ac.waikato.modeljunit.gui.PanelTestDesign
Load panel settings from the current Parameter class.
updateRunTimeInformation(String) - Method in class nz.ac.waikato.modeljunit.gui.PanelResultViewer
 
User - Class in nz.ac.waikato.modeljunit.examples.ecinema
 

V

valueChanged(ListSelectionEvent) - Method in class nz.ac.waikato.modeljunit.gui.PanelExecuteActions
 
valueOf(String) - Static method in enum nz.ac.waikato.modeljunit.examples.ecinema.ECinema.State
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum nz.ac.waikato.modeljunit.examples.gsm.SimCard.B_Status
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum nz.ac.waikato.modeljunit.examples.gsm.SimCard.E_Status
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum nz.ac.waikato.modeljunit.examples.gsm.SimCard.F_Name
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum nz.ac.waikato.modeljunit.examples.gsm.SimCard.File_Type
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum nz.ac.waikato.modeljunit.examples.gsm.SimCard.Permission
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum nz.ac.waikato.modeljunit.examples.gsm.SimCard.Status_Word
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum nz.ac.waikato.modeljunit.examples.QuiDonc.State
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum nz.ac.waikato.modeljunit.examples.TrafficLight.STATE
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum nz.ac.waikato.modeljunit.gui.visualisaton.JUNGHelper.LayoutType
Returns the enum constant of this type with the specified name.
values() - Static method in enum nz.ac.waikato.modeljunit.examples.ecinema.ECinema.State
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum nz.ac.waikato.modeljunit.examples.gsm.SimCard.B_Status
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum nz.ac.waikato.modeljunit.examples.gsm.SimCard.E_Status
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum nz.ac.waikato.modeljunit.examples.gsm.SimCard.F_Name
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum nz.ac.waikato.modeljunit.examples.gsm.SimCard.File_Type
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum nz.ac.waikato.modeljunit.examples.gsm.SimCard.Permission
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum nz.ac.waikato.modeljunit.examples.gsm.SimCard.Status_Word
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum nz.ac.waikato.modeljunit.examples.QuiDonc.State
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum nz.ac.waikato.modeljunit.examples.TrafficLight.STATE
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum nz.ac.waikato.modeljunit.gui.visualisaton.JUNGHelper.LayoutType
Returns an array containing the constants of this enum type, in the order they are declared.
VerboseListener - Class in nz.ac.waikato.modeljunit
An implementation of ModelListener that prints event messages to the Model's getOutput() stream.
VerboseListener() - Constructor for class nz.ac.waikato.modeljunit.VerboseListener
 
VerboseListener(Model) - Constructor for class nz.ac.waikato.modeljunit.VerboseListener
Deprecated. Use the null constructor instead.
Verify_PIN(int) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
Verify_PIN(int, SimCard.Status_Word) - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCardAdaptor
 
verifyPIN11() - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
verifyPIN12() - Method in class nz.ac.waikato.modeljunit.examples.gsm.SimCard
 
vert_to_element_s - Static variable in class nz.ac.waikato.jdsl.graph.ref.ToString
 
Vertex - Interface in nz.ac.waikato.jdsl.graph.api
Empty, typing interface for vertices.
vertex() - Method in interface nz.ac.waikato.jdsl.graph.api.VertexIterator
 
vertex() - Method in class nz.ac.waikato.jdsl.graph.ref.VertexIteratorAdapter
 
Vertex.NONEVertex - Class in nz.ac.waikato.jdsl.graph.api
A dummy class, used to implement the constant Vertex.NONE
.
VERTEX_STATUS - Static variable in class nz.ac.waikato.jdsl.graph.algo.DFS
Constant used as key to look up an vertex's status.
VertexDisplayPredicate<V,E> - Class in nz.ac.waikato.modeljunit.gui.visualisaton
 
VertexDisplayPredicate(boolean) - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.VertexDisplayPredicate
 
VertexEdgePaintTransformer<V,E> - Class in nz.ac.waikato.modeljunit.gui.visualisaton
 
VertexEdgePaintTransformer(PickedInfo<Object>, ArrayList<Object>) - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.VertexEdgePaintTransformer
 
VertexFontTransformer<V,E> - Class in nz.ac.waikato.modeljunit.gui.visualisaton
 
VertexFontTransformer() - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.VertexFontTransformer
 
VertexGradientRenderer<V,E> - Class in nz.ac.waikato.modeljunit.gui.visualisaton
 
VertexGradientRenderer(Color, PickedState<V>, boolean) - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.VertexGradientRenderer
 
vertexHit(RenderContext<V, E>, Shape) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.VertexGradientRenderer
 
VertexInfo - Class in nz.ac.waikato.modeljunit.gui.visualisaton
 
VertexInfo(Object) - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.VertexInfo
 
VertexInfo(Object, Boolean, Boolean) - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.VertexInfo
 
VertexIterator - Interface in nz.ac.waikato.jdsl.graph.api
Iterator over a set of vertices.
VertexIteratorAdapter - Class in nz.ac.waikato.jdsl.graph.ref
Takes an ObjectIterator known to be iterating over things that are Vertices, and makes it appear as an VertexIterator.
VertexIteratorAdapter(ObjectIterator) - Constructor for class nz.ac.waikato.jdsl.graph.ref.VertexIteratorAdapter
 
VertexLabelTransformer<V,E> - Class in nz.ac.waikato.modeljunit.gui.visualisaton
 
VertexLabelTransformer() - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.VertexLabelTransformer
 
vertexNotReachable(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Can be overridden in any application that involves unreachable vertices.
vertexNotReachable(Vertex) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
Can be overridden in any application that involves unreachable vertices.
VertexPaintTransformer<V,E> - Class in nz.ac.waikato.modeljunit.gui.visualisaton
This class is responsible for painting the vertices of a graph the correct colour.
VertexPaintTransformer(PickedInfo<Object>, ArrayList<Object>) - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.VertexPaintTransformer
 
VertexStrokeTransformer<V,E> - Class in nz.ac.waikato.modeljunit.gui.visualisaton
 
VertexStrokeTransformer(Graph<V, E>, PickedInfo<V>) - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.VertexStrokeTransformer
 
vertices() - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Can be overridden to consider a subset of the vertices in the graph, although I can't think of any reason to do so.
vertices() - Method in interface nz.ac.waikato.jdsl.graph.api.InspectableGraph
 
vertices() - Method in class nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph
O(V)
visitBetweenChildren(Position) - Method in class nz.ac.waikato.jdsl.core.algo.traversals.EulerTour
Called during execution when a node is visited between visits to its children.
VISITED - Static variable in class nz.ac.waikato.jdsl.graph.algo.DFS
Constant signifying that an vertex has been visited
visitedEdge(Transition, boolean, String) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.JUNGHelper
This lets the visualisation panel know about any edges that have been visited and marks them as visited.
visitedVertex(Object, boolean) - Method in class nz.ac.waikato.modeljunit.gui.visualisaton.JUNGHelper
This method lets this panel know about vertexs that have been visited by the exploration algorythm.
visitExternal(Position) - Method in class nz.ac.waikato.jdsl.core.algo.traversals.EulerTour
Called during execution when an external node is visited during the Euler tour.
visitFirstTime(Position) - Method in class nz.ac.waikato.jdsl.core.algo.traversals.EulerTour
Called during execution when a node is first visited in the Euler tour.
VISITING - Static variable in class nz.ac.waikato.jdsl.graph.algo.DFS
Constant signifying that an vertex is being visited
visitLastTime(Position) - Method in class nz.ac.waikato.jdsl.core.algo.traversals.EulerTour
Called during execution when a node is visted for the last time in the Euler tour.
visitResult_ - Variable in class nz.ac.waikato.jdsl.graph.algo.DFS
The result of the traversal.
VisualisationListener - Class in nz.ac.waikato.modeljunit.gui.visualisaton
An implementation of ModelListener that passes information about the model to the JUNGHelper class.
VisualisationListener() - Constructor for class nz.ac.waikato.modeljunit.gui.visualisaton.VisualisationListener
 
VOID_ARGS - Static variable in class nz.ac.waikato.modeljunit.Model
An empty array of objects.

W

wait_() - Method in class nz.ac.waikato.modeljunit.examples.QuiDonc
We call this wait_, to avoid a clash with Java's Object.wait().
weight(Edge) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerDijkstraTemplate
Must be overridden to supply a way of getting a positive weight for every edge in the graph.
weight(Edge) - Method in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
Must be overridden to supply a way of getting a positive weight for every edge in the graph.
WELCOME - Variable in class nz.ac.waikato.modeljunit.examples.QuiDonc
 
write() - Method in class nz.ac.waikato.modeljunit.ResultExtractor
 
writeNodeAndChildren(Position, ToString.PositionToString, DataOutputStream, InspectableTree, int, int) - Static method in class nz.ac.waikato.jdsl.core.ref.ToString
Recursively dumps a byte representation of a subtree onto a stream.

Z

ZERO - Variable in class nz.ac.waikato.jdsl.graph.algo.IntegerPrimTemplate
 

_

_size - Variable in class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree
The size of the tree protected so that RestructurableNodeBinaryTree can access it
_STAR - Variable in class nz.ac.waikato.modeljunit.examples.QuiDonc
 

A B C D E F G H I J K L M N O P Q R S T U V W Z _

Copyright © 2009 ModelJUnit Project. All Rights Reserved.