Package statechum.DeterministicDirectedSparseGraph

Examples of statechum.DeterministicDirectedSparseGraph.DeterministicVertex.addUserDatum()

1718
1719
1720
1721
1722
1723
1724
1725
1726
1727
1728
  /** Cannot set an illegal vertex ID. */
  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_Depth_fail2()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum(JUConstants.DEPTH, "A34", UserData.SHARED);
  }

  @Test
  public final void testLearnerGraph_toString()
  {
View Full Code Here
1535
1536
1537
1538
1539
1540
1541
1542
1543
1544
1545
  /** Tests that types are correctly converted. */
  @Test
  public final void testAddUserData_accepted2()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("acCepted", "truE", UserData.SHARED);Assert.assertTrue(vA.isAccept());
    vA.setUserDatum("accePted", "faLse", UserData.SHARED);Assert.assertFalse(vA.isAccept());

    DeterministicVertex vS=new DeterministicVertex("a");
    vS.setUserDatum("acceptEd", "fAlse", UserData.SHARED);Assert.assertFalse(vS.isAccept());
  }
View Full Code Here
1546
1547
1548
1549
1550
1551
1552
1553
1554
1555
1556
 
  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_accepted_fail1()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("accePted", "junk", UserData.SHARED);
  }

  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_accepted_fail2()
  {
View Full Code Here
1553
1554
1555
1556
1557
1558
1559
1560
1561
1562
1563
  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_accepted_fail2()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("accePted", new Object(), UserData.SHARED);
  }

  /** Tests that types are correctly converted. */
  @Test
  public final void testAddUserData_highlight1()
View Full Code Here
1562
1563
1564
1565
1566
1567
1568
1569
1570
1571
1572
  @Test
  public final void testAddUserData_highlight1()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    Assert.assertFalse(vA.isHighlight());
    vA.addUserDatum(JUConstants.HIGHLIGHT, "true", UserData.SHARED);Assert.assertTrue(vA.isHighlight());
    vA.setUserDatum(JUConstants.HIGHLIGHT, "false", UserData.SHARED);
    Assert.assertFalse(vA.isHighlight());

    DeterministicVertex vS=new DeterministicVertex("a");
    vS.setUserDatum(JUConstants.HIGHLIGHT, "false", UserData.SHARED);Assert.assertFalse(vS.isHighlight());
View Full Code Here
115
116
117
118
119
120
121
122
123
124
125
       
        if (fromVertex == null)
        {
          fromVertex = new DeterministicDirectedSparseGraph.DeterministicVertex(from);
          if (existingVertices.isEmpty())
            fromVertex.addUserDatum(JUConstants.INITIAL, true, UserData.SHARED);
          fromVertex.addUserDatum(JUConstants.ACCEPTED, true, UserData.SHARED);
          existingVertices.put(from, fromVertex);
          g.addVertex(fromVertex);
        }
        else
View Full Code Here
116
117
118
119
120
121
122
123
124
125
126
        if (fromVertex == null)
        {
          fromVertex = new DeterministicDirectedSparseGraph.DeterministicVertex(from);
          if (existingVertices.isEmpty())
            fromVertex.addUserDatum(JUConstants.INITIAL, true, UserData.SHARED);
          fromVertex.addUserDatum(JUConstants.ACCEPTED, true, UserData.SHARED);
          existingVertices.put(from, fromVertex);
          g.addVertex(fromVertex);
        }
        else
          if (!Boolean.valueOf(fromVertex.getUserDatum(JUConstants.ACCEPTED).toString()))
View Full Code Here
1576
1577
1578
1579
1580
1581
1582
1583
1584
1585
1586
  @Test
  public final void testAddUserData_highlight2()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    Assert.assertFalse(vA.isHighlight());
    vA.addUserDatum("highlIght", "tRue", UserData.SHARED);Assert.assertTrue(vA.isHighlight());
    vA.setUserDatum("hiGhlight", "falsE", UserData.SHARED);Assert.assertFalse(vA.isHighlight());

    DeterministicVertex vS=new DeterministicVertex("a");
    vS.setUserDatum("higHlight", "faLse", UserData.SHARED);Assert.assertFalse(vS.isHighlight());
  }
View Full Code Here
1587
1588
1589
1590
1591
1592
1593
1594
1595
1596
1597
 
  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_highlight_fail1()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("higHlight", "junk", UserData.SHARED);
  }

  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_highlight_fail2()
  {
View Full Code Here
1594
1595
1596
1597
1598
1599
1600
1601
1602
1603
1604
  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_highlight_fail2()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("higHlight", new Object(), UserData.SHARED);
  }

  /** Tests that types are correctly converted. */
  @Test
  public final void testAddUserData_colour1()
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.