nz.ac.waikato.modeljunit
Class TestFailureException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              nz.ac.waikato.modeljunit.TestFailureException

All Implemented Interfaces:

java.io.Serializable

public class TestFailureException
extends java.lang.RuntimeException

Exceptions related to failed tests.

See Also:

Serialized Form

Constructor Summary

TestFailureException()

TestFailureException(java.lang.String message)

TestFailureException(java.lang.String message, java.lang.Throwable cause)

TestFailureException(java.lang.Throwable cause)

Method Summary

java.lang.String	getActionName()
FsmModel	getModel()
java.lang.String	getModelName()
java.util.List<Transition>	getSequence()
java.lang.Object	getState()
void	setActionName(java.lang.String actionName)
void	setModel(FsmModel model)
void	setModelName(java.lang.String modelName)
void	setSequence(java.util.List<Transition> sequence)
void	setState(java.lang.Object state)

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TestFailureException

public TestFailureException()

TestFailureException

public TestFailureException(java.lang.String message)

TestFailureException

public TestFailureException(java.lang.String message,
                            java.lang.Throwable cause)

TestFailureException

public TestFailureException(java.lang.Throwable cause)

Method Detail

getActionName

public java.lang.String getActionName()

Returns:

the actionName

setActionName

public void setActionName(java.lang.String actionName)

getModel

public FsmModel getModel()

Returns:

the model used to generate the failed test.

setModel

public void setModel(FsmModel model)

getModelName

public java.lang.String getModelName()

Returns:

the modelName

setModelName

public void setModelName(java.lang.String modelName)

getSequence

public java.util.List<Transition> getSequence()

Returns:

the entire sequence of transitions before the test failure. This may be null if it was not recorded.

setSequence

public void setSequence(java.util.List<Transition> sequence)

getState

public java.lang.Object getState()

Returns:

the state of the model just before the test failure.

setState

public void setState(java.lang.Object state)