Package statechum.DeterministicDirectedSparseGraph

Examples of statechum.DeterministicDirectedSparseGraph.DeterministicVertex.addUserDatum()

1602
1603
1604
1605
1606
1607
1608
1609
1610
1611
1612
  /** Tests that types are correctly converted. */
  @Test
  public final void testAddUserData_colour1()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum(JUConstants.COLOUR, "rEd", UserData.SHARED);Assert.assertTrue(JUConstants.RED == vA.getColour());
    vA.setUserDatum(JUConstants.COLOUR, "bLue", UserData.SHARED);Assert.assertTrue(JUConstants.BLUE == vA.getColour());

    DeterministicVertex vS=new DeterministicVertex("a");
    vS.setUserDatum(JUConstants.COLOUR, "bLue", UserData.SHARED);Assert.assertTrue(JUConstants.BLUE == vA.getColour());
  }
View Full Code Here
1614
1615
1616
1617
1618
1619
1620
1621
1622
1623
1624
  /** Tests that types are correctly converted. */
  @Test
  public final void testAddUserData_colour2()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("cOlour", "rEd", UserData.SHARED);Assert.assertTrue(JUConstants.RED == vA.getColour());
    vA.setUserDatum("cOloUr", "bLue", UserData.SHARED);Assert.assertTrue(JUConstants.BLUE == vA.getColour());

    DeterministicVertex vS=new DeterministicVertex("a");
    vS.setUserDatum("cOlouR", "blUe", UserData.SHARED);Assert.assertTrue(JUConstants.BLUE == vA.getColour());
  }
View Full Code Here
1625
1626
1627
1628
1629
1630
1631
1632
1633
1634
1635
 
  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_colour_fail1()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("cOlour", "junk", UserData.SHARED);
  }

  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_colour_fail2()
  {
View Full Code Here
1632
1633
1634
1635
1636
1637
1638
1639
1640
1641
1642
  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_colour_fail2()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("cOlour", new Object(), UserData.SHARED);
  }

  /** Setting and resetting orig state works. */
  @Test
  public final void testAddUserData_Orig1()
View Full Code Here
1641
1642
1643
1644
1645
1646
1647
1648
1649
1650
1651
  @Test
  public final void testAddUserData_Orig1()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    VertexID vertID = new VertexID("id");
    vA.addUserDatum(JUConstants.ORIGSTATE,vertID, UserData.SHARED);Assert.assertTrue(vertID.equals(vA.getOrigState()));
    vA.setOrigState(null);Assert.assertNull(vA.getOrigState());Assert.assertNull(vA.getUserDatum(JUConstants.ORIGSTATE));
    vA.addUserDatum(JUConstants.ORIGSTATE,"id", UserData.SHARED);Assert.assertTrue(vertID.equals(vA.getOrigState()));
  }
 
  /** Setting and resetting orig state using different names. */
 
View Full Code Here
1643
1644
1645
1646
1647
1648
1649
1650
1651
1652
1653
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    VertexID vertID = new VertexID("id");
    vA.addUserDatum(JUConstants.ORIGSTATE,vertID, UserData.SHARED);Assert.assertTrue(vertID.equals(vA.getOrigState()));
    vA.setOrigState(null);Assert.assertNull(vA.getOrigState());Assert.assertNull(vA.getUserDatum(JUConstants.ORIGSTATE));
    vA.addUserDatum(JUConstants.ORIGSTATE,"id", UserData.SHARED);Assert.assertTrue(vertID.equals(vA.getOrigState()));
  }
 
  /** Setting and resetting orig state using different names. */
  @Test
  public final void testAddUserData_Orig2()
View Full Code Here
435
436
437
438
439
440
441
442
443
444
445
      for(Entry<CmpVertex,Map<CmpVertex,Set<Label>>> entry:flowgraph.entrySet())
      {
        CmpVertex source = entry.getKey();
        DeterministicVertex vert = new DeterministicVertex(source);
        if (coregraph.getInit() == source)
          vert.addUserDatum(JUConstants.INITIAL, true, UserData.SHARED);
        vert.setAccept(source.isAccept());
        vert.setColour(source.getColour());
        vert.setHighlight(source.isHighlight());
        result.addVertex(vert);
        oldToNew.put(source,vert);
View Full Code Here
1651
1652
1653
1654
1655
1656
1657
1658
1659
1660
1661
  /** Setting and resetting orig state using different names. */
  @Test
  public final void testAddUserData_Orig2()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("oRigStatE", new VertexID("id"), UserData.SHARED);Assert.assertTrue(new VertexID("id").equals(vA.getOrigState()));
    vA.setUserDatum("origstAte", new VertexID("DD"), UserData.SHARED);Assert.assertTrue(new VertexID("DD").equals(vA.getOrigState()));
    vA.setUserDatum("origstAte", "PP", UserData.SHARED);Assert.assertTrue(new VertexID("PP").equals(vA.getOrigState()));
    vA.setUserDatum("origstAtE", "N56", UserData.SHARED);Assert.assertTrue(VertexID.parseID("N56").equals(vA.getOrigState()));
  }
 
View Full Code Here
424
425
426
427
428
429
430
431
432
433
434
      for(Entry<CmpVertex,Map<CmpVertex,Set<String>>> entry:flowgraph.entrySet())
      {
        CmpVertex source = entry.getKey();
        DeterministicVertex vert = new DeterministicVertex(source.getID());
        if (coregraph.init == source)
          vert.addUserDatum(JUConstants.INITIAL, true, UserData.SHARED);
        vert.setAccept(source.isAccept());
        vert.setColour(source.getColour());
        vert.setHighlight(source.isHighlight());
        result.addVertex(vert);
        oldToNew.put(source,vert);
View Full Code Here
435
436
437
438
439
440
441
442
443
444
445
      for(Entry<CmpVertex,Map<CmpVertex,Set<Label>>> entry:flowgraph.entrySet())
      {
        CmpVertex source = entry.getKey();
        DeterministicVertex vert = new DeterministicVertex(source);
        if (coregraph.getInit() == source)
          vert.addUserDatum(JUConstants.INITIAL, true, UserData.SHARED);
        vert.setAccept(source.isAccept());
        vert.setColour(source.getColour());
        vert.setHighlight(source.isHighlight());
        result.addVertex(vert);
        oldToNew.put(source,vert);
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.