Package statechum

Examples of statechum.StringVertex

583
584
585
586
587
588
589
590
591
  }

  @Test
  public void testCreateLabelToStateMap1() // test with empty data
  {
    assertTrue(createLabelToStateMap(new LinkedList<String>(), new StringVertex("junk"), null).isEmpty());
    Map<String,CmpVertex> map = new HashMap<String,CmpVertex>();
    assertSame(map,createLabelToStateMap(new LinkedList<String>(), new StringVertex("junk"), map));assertTrue(map.isEmpty());
  }
View Full Code Here
592
593
594
595
596
597
598
599
600
601
 
  @Test
  public void testCreateLabelToStateMap2() // test for no changes
  {
    Map<String,CmpVertex> trans = new HashMap<String,CmpVertex>();
    trans.put("a", new StringVertex("A"));trans.put("b", new StringVertex("A"));trans.put("c", new StringVertex("B"));
    Map<String,CmpVertex> expected = new HashMap<String,CmpVertex>();expected.putAll(trans);
    assertSame(trans,createLabelToStateMap(new LinkedList<String>(), new StringVertex("junk"),trans));
    assertTrue(expected.equals(trans));
  }
View Full Code Here
602
603
604
605
606
607
608
609
610
611
 
  @Test
  public void testCreateLabelToStateMap3() // test for correct data being added
  {
    Map<String,CmpVertex> trans = new HashMap<String,CmpVertex>();
    trans.put("a", new StringVertex("A"));trans.put("b", new StringVertex("A"));trans.put("c", new StringVertex("B"));
    Map<String,CmpVertex> expected = new HashMap<String,CmpVertex>();expected.putAll(trans);expected.put("e", new StringVertex("A"));expected.put("g", new StringVertex("A"));
    assertSame(trans,createLabelToStateMap(Arrays.asList(new String[] {"g","e"}), new StringVertex("A"),trans));
    assertTrue(expected.equals(trans));
  }
View Full Code Here
612
613
614
615
616
617
618
619
620
621
 
  @Test
  public void testCreateLabelToStateMap4() // test for correct data being added
  {
    Map<String,CmpVertex> trans = new HashMap<String,CmpVertex>();
    trans.put("a", new StringVertex("A"));trans.put("b", new StringVertex("A"));trans.put("c", new StringVertex("B"));
    Map<String,CmpVertex> expected = new HashMap<String,CmpVertex>();expected.putAll(trans);expected.put("e", new StringVertex("D"));expected.put("f", new StringVertex("D"));
    assertSame(trans,createLabelToStateMap(Arrays.asList(new String[] {"f","e"}), new StringVertex("D"),trans));
    assertTrue(expected.equals(trans));
  }
View Full Code Here
622
623
624
625
626
627
628
629
630
631
 
  @Test
  public void testCreateLabelToStateMap5() // test for correct data being added
  {
    Map<String,CmpVertex> trans = new HashMap<String,CmpVertex>();
    trans.put("a", new StringVertex("A"));trans.put("b", new StringVertex("A"));trans.put("c", new StringVertex("B"));
    Map<String,CmpVertex> expected = new HashMap<String,CmpVertex>();expected.putAll(trans);expected.put("e", new StringVertex("B"));expected.put("g", new StringVertex("B"));
    assertSame(trans,createLabelToStateMap(Arrays.asList(new String[] {"g","e"}), new StringVertex("B"),trans));
    assertTrue(expected.equals(trans));
  }
View Full Code Here
632
633
634
635
636
637
638
639
640
 
  @Test
  public void testCreateLabelToStateMap6() // test for correct data being added when an empty collection is passed
  {
    Map<String,CmpVertex> trans = new HashMap<String,CmpVertex>();
    Map<String,CmpVertex> expected = new HashMap<String,CmpVertex>();expected.put("e",new StringVertex("A"));expected.put("b",new StringVertex("A"));
    assertSame(trans,createLabelToStateMap(Arrays.asList(new String[] {"b","e"}), new StringVertex("A"),trans));
    assertTrue(expected.equals(trans));
  }
View Full Code Here
640
641
642
643
644
645
646
647
  }

  @Test
  public void testCreateLabelToStateMap7() // test for correct data being added when null is passed
  {
    Map<String,CmpVertex> expected = new HashMap<String,CmpVertex>();expected.put("e",new StringVertex("A"));expected.put("b",new StringVertex("A"));
    assertTrue(expected.equals(createLabelToStateMap(Arrays.asList(new String[] {"b","e"}), new StringVertex("A"),null)));
  }
View Full Code Here
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
  }

  @Test
  public void testCreateLabelToStateMap8() // test for correct detection of nondeterminism
  {
    Map<String,CmpVertex> trans = new HashMap<String,CmpVertex>();trans.put("a", new StringVertex("A"));trans.put("b", new StringVertex("A"));trans.put("c", new StringVertex("B"));
    boolean exceptionThrown = false;
    try
    {
      createLabelToStateMap(Arrays.asList(new String[] {"b","e"}), new StringVertex("A"),trans);
    }
    catch(IllegalArgumentException e)
    {
      assertTrue("incorrect exception thrown",e.getMessage().contains("nondeterminism"));
      exceptionThrown = true;
View Full Code Here
668
669
670
671
672
673
674
675
676
677
678
  public void testCreateLabelToStateMap9() // test for correct detection of nondeterminism
  {
    boolean exceptionThrown = false;
    try
    {
      createLabelToStateMap(Arrays.asList(new String[] {"b","b"}), new StringVertex("A"),null);
    }
    catch(IllegalArgumentException e)
    {
      assertTrue("incorrect exception thrown",e.getMessage().contains("nondeterminism"));
      exceptionThrown = true;
View Full Code Here
684
685
686
687
688
689
690
691
692
693
694
  @Test
  public void testGraphConstruction1()
  {
    LearnerGraph expected = new LearnerGraph(confString);expected.initEmpty();
    LearnerGraph graph = new LearnerGraph(buildGraph("A--a-->B-b->C-c->A","testConstruction1"),config);
    CmpVertex A = new StringVertex("A"), B = new StringVertex("B"), C = new StringVertex("C");
    expected.transitionMatrix.put(A, createLabelToStateMap(Arrays.asList(new String[] {"a"}),B,null));
    expected.transitionMatrix.put(B, createLabelToStateMap(Arrays.asList(new String[] {"b"}),C,null));
    expected.transitionMatrix.put(C, createLabelToStateMap(Arrays.asList(new String[] {"c"}),A,null));
    expected.init = expected.findVertex("A");
   
View Full Code Here
TOP

Related Classes of statechum.StringVertex

  • statechum.analysis.learning.experiments.ForestFireNDStateMachineGenerator
  • statechum.analysis.learning.rpnicore.AbstractLearnerGraph
  • statechum.analysis.learning.rpnicore.AngluinLearner
  • statechum.analysis.learning.rpnicore.LearnerGraph
  • statechum.analysis.learning.rpnicore.TestEqualityComparisonAndHashCode
  • statechum.analysis.learning.rpnicore.TestGraphConstruction
  • statechum.analysis.learning.rpnicore.TestGraphConstructionWithDifferentConf
  • statechum.analysis.learning.rpnicore.TestWMethod
  • statechum.analysis.learning.TestFSMAlgo
  • statechum.DeterministicDirectedSparseGraph.CmpVertex
    • 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.