Package statechum.Helper

Examples of statechum.Helper.whatToRun

523
524
525
526
527
528
529
530
531
532
533
534
535
 
  /** Tests parser of expressions. */
  @Test
  public final void testExpr12b()
  {
    checkForCorrectException(new whatToRun() { public @Override void run() {
      ba.interpretString("()");
    }},IllegalArgumentException.class,"unexpected end");

    checkForCorrectException(new whatToRun() { public @Override void run() {
      ba.computeAlphabet("()");
    }},IllegalArgumentException.class,"unexpected end");
  }
View Full Code Here
186
187
188
189
190
191
192
193
194
    dumper.topElement.appendChild(augmentElement);dumper.close();
    xmlData = output.toString();

    final LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(xmlData.getBytes()),false);
    loader.config = Configuration.getDefaultConfiguration();
    checkForCorrectException(new whatToRun() { public void run() {
      loader.readAugmentPTA(loader.expectNextElement(ELEM_KINDS.ELEM_AUGMENTPTA.name()));
    }},IllegalArgumentException.class,"missing accept");
  }
View Full Code Here
205
206
207
208
209
210
211
212
213
    dumper.topElement.appendChild(augmentElement);dumper.close();
    xmlData = output.toString();

    final LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(xmlData.getBytes()),false);
    loader.config = Configuration.getDefaultConfiguration();
    checkForCorrectException(new whatToRun() { public void run() {
      loader.readAugmentPTA(loader.expectNextElement(ELEM_KINDS.ELEM_AUGMENTPTA.name()));
    }},IllegalArgumentException.class,"missing kind");
  }
View Full Code Here
536
537
538
539
540
541
542
543
544
545
546
547
548
 
  /** Tests parser of expressions. */
  @Test
  public final void testExpr12c()
  {
    checkForCorrectException(new whatToRun() { public @Override void run() {
      ba.interpretString("b && (!())");
    }},IllegalArgumentException.class,"unexpected end");
   
    checkForCorrectException(new whatToRun() { public @Override void run() {
      ba.computeAlphabet("b && (!())");
    }},IllegalArgumentException.class,"unexpected end");
  }
View Full Code Here
607
608
609
610
611
612
613
614
615
616
617
618
619
 
  /** Tests parser of expressions. */
  @Test
  public final void testExpr20()
  {
    checkForCorrectException(new whatToRun() { public @Override void run() {
      ba.interpretString("a | b");
    }},IllegalArgumentException.class,"failed to lex ");
   
    checkForCorrectException(new whatToRun() { public @Override void run() {
      ba.computeAlphabet("a | b");
    }},IllegalArgumentException.class,"failed to lex ");
  }
View Full Code Here
620
621
622
623
624
625
626
627
628
629
630
 
  /** Tests parser of expressions. */
  @Test
  public final void testExpr21()
  {
    checkForCorrectException(new whatToRun() { public @Override void run() {
      ba.interpretString("a || || b");
    }},IllegalArgumentException.class,"expected word ");
   
    checkOutcome(new String[]{"a","b"},ba.computeAlphabet("a || || b"));
  }
View Full Code Here
497
498
499
500
501
502
503
504
505
    catch(ParserConfigurationException ex)
    {
      IOException parserEx = new IOException("configuration exception: "+ex);parserEx.initCause(ex);throw parserEx;
    }
    final Document document = doc;
    checkForCorrectException(new whatToRun() { public void run() {
      Transform322.loadGraph(document.createElement("junk"));
    }},IllegalArgumentException.class,"element does not start with graphml");
  }
View Full Code Here
631
632
633
634
635
636
637
638
639
640
641
 
  /** Tests parser of expressions. */
  @Test
  public final void testExpr22()
  {
    checkForCorrectException(new whatToRun() { public @Override void run() {
      ba.interpretString("a || && b");
    }},IllegalArgumentException.class,"expected word ");

    checkOutcome(new String[]{"a","b"},ba.computeAlphabet("a || && b"));
  }
View Full Code Here
642
643
644
645
646
647
648
649
650
651
652
 
  /** Tests parser of expressions. */
  @Test
  public final void testExpr23a()
  {
    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
520
521
522
523
524
525
526
527
528
    catch(ParserConfigurationException ex)
    {
      IOException parserEx = new IOException("configuration exception: "+ex);parserEx.initCause(ex);throw parserEx;
    }
    final org.w3c.dom.Element elem = fsm.transform322.createGraphMLNode(doc);elem.removeChild(elem.getFirstChild());
    checkForCorrectException(new whatToRun() { public void run() {
      Transform322.loadGraph(elem);
    }},IllegalArgumentException.class,"absent graph element");
  }
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.