Package statechum.Helper

Examples of statechum.Helper.whatToRun

544
545
546
547
548
549
550
551
552
    {
      IOException parserEx = new IOException("configuration exception: "+ex);parserEx.initCause(ex);throw parserEx;
    }
    final org.w3c.dom.Element elem = fsm.transform322.createGraphMLNode(doc);elem.replaceChild(doc.createElement("something"), elem.getFirstChild());
   
    checkForCorrectException(new whatToRun() { public void run() {
      Transform322.loadGraph(elem);
    }},IllegalArgumentException.class,"absent graph element");
  }
View Full Code Here
653
654
655
656
657
658
659
660
661
662
663
 
  /** Tests parser of expressions. */
  @Test
  public final void testExpr23b()
  {
    checkForCorrectException(new whatToRun() { public @Override void run() {
      ba.interpretString("a || b (c) ");
    }},IllegalArgumentException.class,"expected binary operation ");

    checkOutcome(new String[]{"a","b","c"},ba.computeAlphabet("a || b (c) "));
  }
View Full Code Here
568
569
570
571
572
573
574
575
576
    {
      IOException parserEx = new IOException("configuration exception: "+ex);parserEx.initCause(ex);throw parserEx;
    }
    final org.w3c.dom.Element elem = fsm.transform322.createGraphMLNode(doc);elem.appendChild(doc.createElement("graph"));
   
    checkForCorrectException(new whatToRun() { public void run() {
      Transform322.loadGraph(elem);
    }},IllegalArgumentException.class,"duplicate graph element");
  }
View Full Code Here
664
665
666
667
668
669
670
671
672
673
674
 
  /** Tests parser of expressions. */
  @Test
  public final void testExpr23c()
  {
    checkForCorrectException(new whatToRun() { public @Override void run() {
      ba.interpretString("a || b !(c) ");
    }},IllegalArgumentException.class,"expected binary operation ");

    checkOutcome(new String[]{"a","b","c"},ba.computeAlphabet("a || b !(c) "));
  }
View Full Code Here
675
676
677
678
679
680
681
682
683
684
685
686
687
 
  /** Tests parser of expressions. */
  @Test
  public final void testExpr24()
  {
    checkForCorrectException(new whatToRun() { public @Override void run() {
      ba.interpretString("a || b)");
    }},IllegalArgumentException.class,"extra tokens at the end ");

    checkForCorrectException(new whatToRun() { public @Override void run() {
      checkOutcome(new String[]{"a","b"},ba.computeAlphabet("a || b)"));
    }},IllegalArgumentException.class,"extra tokens at the end ");
  }
View Full Code Here
787
788
789
790
791
792
793
794
795
    "if :: (a) -> goto accept_A \n"+
    ":: (b) -> goto state_b\n"+
    "fi;\n"+
    "state_b: if :: (a) -> goto state_b fi;"+
    "}\n";
    checkForCorrectException(new whatToRun() { public @Override void run() throws IncompatibleStatesException {
      ba.parse(text);ba.matrixFromLTL.pathroutines.buildDeterministicGraph();
    }},IllegalArgumentException.class,"missing state");
  }
View Full Code Here
981
982
983
984
985
986
987
988
989
    ":: (a) -> goto accept_"+init+"\n"+
    "fi;\n"+
    "accept_G: if\n"+
    ":: (a) -> goto accept_B\n"+
    "fi;}\n";
    checkForCorrectException(new whatToRun() { public @Override void run() throws IncompatibleStatesException {
      ba.parse(text);ba.matrixFromLTL.pathroutines.buildDeterministicGraph();
    }},IncompatibleStatesException.class,"cannot add state");
  }
View Full Code Here
1017
1018
1019
1020
1021
1022
1023
1024
1025
    ":: (a) -> goto accept_"+init+"\n"+
    "fi;\n"+
    "accept_G: if\n"+
    ":: (a) -> goto reject_B\n"+
    "fi;}\n";
    checkForCorrectException(new whatToRun() { public @Override void run() throws IncompatibleStatesException {
      ba.parse(text);ba.matrixFromLTL.pathroutines.buildDeterministicGraph();
    }},IncompatibleStatesException.class,"cannot add state");
  }
View Full Code Here
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
  /** This one is an integration test of ltl2ba. First test : cannot run ltl2ba. */
  @Test
  public final void testLTL_integration_cannotrun()
  {
   
    checkForCorrectException(new whatToRun() { public @Override void run() {
      try
      {
       
        ba.runLTL2BA("&","junk");
      }
View Full Code Here
1066
1067
1068
1069
1070
1071
1072
1073
1074
  /** This one is an integration test of ltl2ba. First test : syntax error. */
  @Test
  public final void testLTL_integration_syntax()
  {
    checkForCorrectException(new whatToRun() { public @Override void run() {
      ba.runLTL2BA("&",GlobalConfiguration.getConfiguration().getProperty(GlobalConfiguration.G_PROPERTIES.LTL2BA));
    }},IllegalArgumentException.class,"syntax");
  }
View Full Code Here
TOP

Related Classes of statechum.Helper.whatToRun

  • collections.TestMapWithSearch
  • collections.TestMapWithSearchMisc
  • statechum.analysis.Erlang.Signatures.TestTypes
  • statechum.analysis.Erlang.TestErlangGraphs
  • statechum.analysis.Erlang.TestErlangModule
  • statechum.analysis.Erlang.TestErlangParser
  • statechum.analysis.Erlang.TestErlangParser$TestParseBitStrFail
  • statechum.analysis.Erlang.TestErlangParser$TestParseDoubleFail
  • statechum.analysis.Erlang.TestErlangParser$TestParseInvalidCharsInAtomFail
  • statechum.analysis.Erlang.TestErlangRunner
    • 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.