Package nz.ac.waikato.modeljunit

Examples of nz.ac.waikato.modeljunit.TestFailureException

270
271
272
273
274
275
276
277
278
279
280
281
282
   * @param failmsg
   * @param actionName
   */
  private void createTestFailure(String failmsg, String actionName)
  {
    TestFailureException failure = new TestFailureException(failmsg);
    failure.setActionName(actionName);
    failure.setModel(this.fsmModel_);
    failure.setModelName(this.getModelName());
    failure.setSequence(this.fsmSequence_);
    failure.setState(this.fsmState_);
    notifyFailure(failure);
  }
View Full Code Here
63
64
65
66
67
68
69
70
71
72
73
74
        lastVisitedFailedMsg_ = null;
    }

    @Override
    public void failure(TestFailureException ex) {
        TestFailureException exp = (TestFailureException) ex;
        Transition tran = new Transition(exp.getState(), exp.getActionName(), exp.getState() + "_Fail");
        lastVisitedState_ = exp.getState();
        lastVisitedTrans_ = tran;
        lastVisitedFailedMsg_ = exp.getLocalizedMessage();
        failureOccured = true;
    }
View Full Code Here
TOP

Related Classes of nz.ac.waikato.modeljunit.TestFailureException

  • nz.ac.waikato.modeljunit.gui.visualisaton.VisualisationListener
  • nz.ac.waikato.modeljunit.timing.TimedModel
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.