Index (ModelJUnit 2.0-SNAPSHOT API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

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 _

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES