Uses of Interface
nz.ac.waikato.modeljunit.coverage.CoverageMetric

Packages that use CoverageMetric

nz.ac.waikato.modeljunit	Overview
nz.ac.waikato.modeljunit.coverage	Model Coverage Metrics

Uses of CoverageMetric in nz.ac.waikato.modeljunit

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

protected CoverageMetric	LookaheadTester.actions_
protected CoverageMetric	LookaheadTester.transitions_

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

CoverageMetric

Tester.addCoverageMetric(CoverageMetric metric) This is equivalent to addListener(metric), but more convenient.

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

java.util.List<CoverageMetric>

ModelTestCase.getCoverageMetrics() Deprecated. A list of all the current coverage listeners

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

CoverageMetric	Tester.addCoverageMetric(CoverageMetric metric) This is equivalent to addListener(metric), but more convenient.
static void	ModelTestCase.addCoverageMetric(CoverageMetric cover) Deprecated. Add a coverage listener.
static boolean	ModelTestCase.removeCoverageMetric(CoverageMetric cover) Deprecated. Remove a coverage listener.

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

Classes in nz.ac.waikato.modeljunit.coverage that implement CoverageMetric

class	AbstractCoverage A partial implementation of CoverageMetric.
class	ActionCoverage Measures the number of distinct Actions that have been tested.
class	CoverageHistory A wrapper class that adds history recording to any CoverageMetric.
class	StateCoverage Counts the number of times each state has been entered.
class	TransitionCoverage Measures the number of Transitions that have been tested.
class	TransitionPairCoverage Measures the number of distinct Actions that have been tested.

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

CoverageMetric

CoverageHistory.getMetric() Returns the underlying coverage metric.

Constructors in nz.ac.waikato.modeljunit.coverage with parameters of type CoverageMetric

CoverageHistory(CoverageMetric metric, int interval)
Create a history version of the coverage metric.