Package statechum.DeterministicDirectedSparseGraph

Examples of statechum.DeterministicDirectedSparseGraph.DeterministicVertex.addUserDatum()

213
214
215
216
217
218
219
220
221
222
223
       
        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
214
215
216
217
218
219
220
221
222
223
224
        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
1523
1524
1525
1526
1527
1528
1529
1530
1531
1532
1533
  /** Tests that types are correctly converted. */
  @Test
  public final void testAddUserData_accepted1()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum(JUConstants.ACCEPTED, "true", UserData.SHARED);Assert.assertTrue(vA.isAccept());
    vA.setUserDatum(JUConstants.ACCEPTED, "false", UserData.SHARED);Assert.assertFalse(vA.isAccept());

    DeterministicVertex vS=new DeterministicVertex("a");
    vS.setUserDatum(JUConstants.ACCEPTED, "false", UserData.SHARED);Assert.assertFalse(vS.isAccept());
  }
View Full Code Here
316
317
318
319
320
321
322
323
324
325
326
      for(Entry<CmpVertex,Map<CmpVertex,Set<String>>> entry:coregraph.learnerCache.getFlowgraph().entrySet())
      {
        CmpVertex source = entry.getKey();
        DeterministicVertex vert = (DeterministicVertex)AbstractLearnerGraph.cloneCmpVertex(source,cloneConfig);
        if (coregraph.getInit() == source)
          vert.addUserDatum(JUConstants.INITIAL, true, UserData.SHARED);
        result.addVertex(vert);
        oldToNew.put(source,vert);
      }
     
      // now add transitions
View Full Code Here
1662
1663
1664
1665
1666
1667
1668
1669
1670
1671
1672
  /** Cannot set an illegal vertex ID. */
  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_Orig_fail1()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("oRigStatE", new Object(), UserData.SHARED);
  }

  /** Cannot set an illegal vertex ID. */
  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_Orig_fail2()
View Full Code Here
1670
1671
1672
1673
1674
1675
1676
1677
1678
1679
1680
  /** Cannot set an illegal vertex ID. */
  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_Orig_fail2()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("oRigStatE", 23, UserData.SHARED);
  }

  /** Tests that types are correctly converted. */
  @Test
  public final void testAddUserData_anything()
View Full Code Here
1679
1680
1681
1682
1683
1684
1685
1686
1687
1688
1689
  @Test
  public final void testAddUserData_anything()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    Object obj = new Object();
    vA.addUserDatum(obj, "aa", UserData.SHARED);Assert.assertEquals("aa",vA.getUserDatum(obj));
    vA.setUserDatum(obj, false, UserData.SHARED);Assert.assertFalse((Boolean)vA.getUserDatum(obj));

    DeterministicVertex vS=new DeterministicVertex("a");
    vS.setUserDatum(obj, false, UserData.SHARED);Assert.assertFalse((Boolean)vS.getUserDatum(obj));
  }
View Full Code Here
1691
1692
1693
1694
1695
1696
1697
1698
1699
1700
1701
  /** Setting and resetting depth works. */
  @Test
  public final void testAddUserData_Depth1()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum(JUConstants.DEPTH,12, UserData.SHARED);Assert.assertEquals(12,vA.getDepth());
    vA.setUserDatum(JUConstants.DEPTH, JUConstants.intUNKNOWN, UserData.SHARED);Assert.assertNull(vA.getOrigState());
  }
 
  /** Setting and resetting depth works even if names of the attribute differ. */
  @Test
 
View Full Code Here
1700
1701
1702
1703
1704
1705
1706
1707
1708
1709
1710
  /** Setting and resetting depth works even if names of the attribute differ. */
  @Test
  public final void testAddUserData_Depth2()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("dEpTH",12, UserData.SHARED);Assert.assertEquals(12,vA.getDepth());
    vA.setUserDatum("depTh",14, UserData.SHARED);Assert.assertEquals(14,vA.getDepth());
    vA.setUserDatum("depTh","45", UserData.SHARED);Assert.assertEquals(45,vA.getDepth());
  }
 
  /** Cannot set an illegal vertex ID. */
 
View Full Code Here
1710
1711
1712
1713
1714
1715
1716
1717
1718
1719
1720
  /** Cannot set an illegal vertex ID. */
  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_Depth_fail1()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum(JUConstants.DEPTH, new Object(), UserData.SHARED);
  }

  /** Cannot set an illegal vertex ID. */
  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_Depth_fail2()
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.