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

Packages that use Model

nz.ac.waikato.modeljunit	Overview
nz.ac.waikato.modeljunit.coverage	Model Coverage Metrics
nz.ac.waikato.modeljunit.gui	A GUI for ModelJUnit
nz.ac.waikato.modeljunit.timing

Uses of Model in nz.ac.waikato.modeljunit

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

protected Model	Tester.model_ The model from which tests will be generated.
protected Model	AbstractListener.model_

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

Model	Tester.getModel()
Model	ModelListener.getModel() Returns the model that this listener is listening to.
Model	AbstractListener.getModel() Returns the model that this listener is listening to.

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

void	GraphListener.setModel(Model model) Starts to build the FSM graph by exploring the fsm object.
void	ModelListener.setModel(Model model) Tell the listener which model it is listening to.
void	AbstractListener.setModel(Model model)

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

AllRoundTester(Model model)
Creates a GreedyTester that will terminate each test sequence after getLoopTolerance() visits to a state.

GreedyTester(Model model)
Creates a test generator that can generate random walks.

LookaheadTester(Model model)
Creates a test generator that can does smart look ahead.

RandomTester(Model model)
Creates a test generator that can generate random walks.

Tester(Model model)
Create a test generator for the given model.

VerboseListener(Model model)
Deprecated. Use the null constructor instead.

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

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

void	CoverageHistory.setModel(Model model) 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).

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

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

static Model

ModelJUnitGUI.getModel()

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

static void

ModelJUnitGUI.setModel(Model model)

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

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

class

TimedModel An extension of the model class which supports timed models.