|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object nz.ac.waikato.modeljunit.AbstractListener nz.ac.waikato.modeljunit.gui.visualisaton.VisualisationListener
public class VisualisationListener
An implementation of ModelListener that passes information about the model to the JUNGHelper class.
Field Summary |
---|
Fields inherited from class nz.ac.waikato.modeljunit.AbstractListener |
---|
model_ |
Constructor Summary | |
---|---|
VisualisationListener()
|
Method Summary | |
---|---|
void |
doneGuard(java.lang.Object state,
int action,
boolean enabled,
int value)
The Model calls this after each guard evaluation. |
void |
doneReset(java.lang.String reason,
boolean testing)
The Model calls this after each reset(boolean) action. |
void |
doneTransition(int action,
Transition tr)
The Model calls this after taking each transition. |
void |
failure(TestFailureException ex)
The Model calls this when an action has found an error. |
java.lang.String |
getName()
Get the short name that this listener is known by. |
void |
startAction(java.lang.Object state,
int action,
java.lang.String name)
This is called just before an action is about to be executed. |
Methods inherited from class nz.ac.waikato.modeljunit.AbstractListener |
---|
getModel, setModel |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public VisualisationListener()
Method Detail |
---|
public java.lang.String getName()
ModelListener
public void doneReset(java.lang.String reason, boolean testing)
ModelListener
doneReset
in interface ModelListener
doneReset
in class AbstractListener
reason
- An adjective that describe why the reset was done.testing
- The parameter that was passed to the FsmModel reset call.public void doneGuard(java.lang.Object state, int action, boolean enabled, int value)
ModelListener
enabled
boolean says whether the guard of action is
enabled or not, while value
gives the actual value returned
by the guard method (0 for false, 1 for true, or other positive
integer values for Markov chain guards).
doneGuard
in interface ModelListener
doneGuard
in class AbstractListener
public void startAction(java.lang.Object state, int action, java.lang.String name)
ModelListener
startAction
in interface ModelListener
startAction
in class AbstractListener
state
- The current state of the model.action
- The number of the action.name
- The name of the action.public void doneTransition(int action, Transition tr)
ModelListener
doneTransition
in interface ModelListener
doneTransition
in class AbstractListener
action
- The number of the action just taken.tr
- The transition just taken.public void failure(TestFailureException ex)
ModelListener
failure
in interface ModelListener
failure
in class AbstractListener
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |