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

Packages that use AbstractListener
nz.ac.waikato.modeljunit Overview 
nz.ac.waikato.modeljunit.coverage Model Coverage Metrics 
nz.ac.waikato.modeljunit.gui.visualisaton   
 

Uses of AbstractListener in nz.ac.waikato.modeljunit
 

Subclasses of AbstractListener in nz.ac.waikato.modeljunit
 class GraphListener
          This ModelListener builds a graph of the observed parts of the model.
 class StopOnFailureListener
          An implementation of ModelListener that throws an exception when the first test failure is detected.
 class VerboseListener
          An implementation of ModelListener that prints event messages to the Model's getOutput() stream.
 

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

Subclasses of AbstractListener in nz.ac.waikato.modeljunit.coverage
 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.
 

Uses of AbstractListener in nz.ac.waikato.modeljunit.gui.visualisaton
 

Subclasses of AbstractListener in nz.ac.waikato.modeljunit.gui.visualisaton
 class VisualisationListener
          An implementation of ModelListener that passes information about the model to the JUNGHelper class.
 



Copyright © 2009 ModelJUnit Project. All Rights Reserved.