Uses of Interface
nz.ac.waikato.modeljunit.FsmModel

Packages that use FsmModel

nz.ac.waikato.modeljunit	Overview
nz.ac.waikato.modeljunit.examples	Examples of Using ModelJUnit
nz.ac.waikato.modeljunit.examples.ecinema
nz.ac.waikato.modeljunit.examples.gsm
nz.ac.waikato.modeljunit.gui	A GUI for ModelJUnit
nz.ac.waikato.modeljunit.timing

Uses of FsmModel in nz.ac.waikato.modeljunit

Fields in nz.ac.waikato.modeljunit declared as FsmModel

protected FsmModel

Model.fsmModel_ The implementation under test (null means none yet).

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

FsmModel

TestFailureException.getModel()

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

void	TestFailureException.setModel(FsmModel model)

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

AllRoundTester(FsmModel fsm)
A convenience constructor that puts a Model wrapper around an FsmModel.

GreedyTester(FsmModel fsm)
A convenience constructor that puts a Model wrapper around an FsmModel.

LookaheadTester(FsmModel fsm)
A convenience constructor that puts a Model wrapper around an FsmModel.

Model(FsmModel model)
Constructs an EFSM model from the given FsmModel object.

ModelTestCase(FsmModel model)
Deprecated. Constructs an FSM model from the given FsmModel object.

RandomTester(FsmModel fsm)
A convenience constructor that puts a Model wrapper around an FsmModel.

Tester(FsmModel fsm)
A convenience constructor that puts a Model wrapper around an FsmModel.

Uses of FsmModel in nz.ac.waikato.modeljunit.examples

Classes in nz.ac.waikato.modeljunit.examples that implement FsmModel

class	AlarmClock
class	FSM Simple example of a finite state machine (FSM) for testing.
class	LargeSet A model of a set with N elements.
class	QuiDonc A simple EFSM model of the Qui-Donc service.
class	SimpleSet A model of a set with two elements: s1 and s2.
class	SimpleSetWithAdaptor A model of a set with two elements: s1 and s2.
class	SmartSetAdaptor This class shows how we can use inheritance to add adaptor code.
class	SpecialFSM Simple FSM that is specialized so All Round Trips runs faster than Greedy or Random.
class	SpecialFSMNoLoops Simple FSM that is specialized so All Round Trips runs better
class	TrafficLight

Uses of FsmModel in nz.ac.waikato.modeljunit.examples.ecinema

Classes in nz.ac.waikato.modeljunit.examples.ecinema that implement FsmModel

class

ECinema A model of a simple eCinema.

Uses of FsmModel in nz.ac.waikato.modeljunit.examples.gsm

Classes in nz.ac.waikato.modeljunit.examples.gsm that implement FsmModel

class

SimCard This is an EFSM model of the SIM card within a mobile phone.

Uses of FsmModel in nz.ac.waikato.modeljunit.gui

Methods in nz.ac.waikato.modeljunit.gui that return FsmModel

static FsmModel

TestExeModel.getModelObject()

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

Subinterfaces of FsmModel in nz.ac.waikato.modeljunit.timing

interface

TimedFsmModel