Package statechum.DeterministicDirectedSparseGraph

Examples of statechum.DeterministicDirectedSparseGraph.DeterministicVertex.addUserDatum()

1797
1798
1799
1800
1801
1802
1803
1804
1805
1806
1807
  /** 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
1805
1806
1807
1808
1809
1810
1811
1812
1813
1814
1815
  /** 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
1814
1815
1816
1817
1818
1819
1820
1821
1822
1823
1824
  @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
1826
1827
1828
1829
1830
1831
1832
1833
1834
1835
1836
  /** 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
1835
1836
1837
1838
1839
1840
1841
1842
1843
1844
1845
  /** 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
1845
1846
1847
1848
1849
1850
1851
1852
1853
1854
1855
  /** 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
1853
1854
1855
1856
1857
1858
1859
1860
1861
1862
1863
  /** 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
1690
1691
1692
1693
1694
1695
1696
1697
1698
1699
1700
  @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
1704
1705
1706
1707
1708
1709
1710
1711
1712
1713
1714
  @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
1715
1716
1717
1718
1719
1720
1721
1722
1723
1724
1725
 
  @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
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.