Package statechum.DeterministicDirectedSparseGraph

Examples of statechum.DeterministicDirectedSparseGraph.DeterministicVertex.addUserDatum()

1722
1723
1724
1725
1726
1727
1728
1729
1730
1731
1732
  @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
1730
1731
1732
1733
1734
1735
1736
1737
1738
1739
1740
  /** 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
1742
1743
1744
1745
1746
1747
1748
1749
1750
1751
1752
  /** 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
1753
1754
1755
1756
1757
1758
1759
1760
1761
1762
1763
 
  @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
1760
1761
1762
1763
1764
1765
1766
1767
1768
1769
1770
  @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
1769
1770
1771
1772
1773
1774
1775
1776
1777
1778
1779
  @Test
  public final void testAddUserData_Orig1()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    VertexID vertID = VertexID.parseID("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
1771
1772
1773
1774
1775
1776
1777
1778
1779
1780
1781
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    VertexID vertID = VertexID.parseID("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
1779
1780
1781
1782
1783
1784
1785
1786
1787
1788
1789
  /** Setting and resetting orig state using different names. */
  @Test
  public final void testAddUserData_Orig2()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("oRigStatE", VertexID.parseID("id"), UserData.SHARED);Assert.assertTrue(VertexID.parseID("id").equals(vA.getOrigState()));
    vA.setUserDatum("origstAte", VertexID.parseID("DD"), UserData.SHARED);Assert.assertTrue(VertexID.parseID("DD").equals(vA.getOrigState()));
    vA.setUserDatum("origstAte", "PP", UserData.SHARED);Assert.assertTrue(VertexID.parseID("PP").equals(vA.getOrigState()));
    vA.setUserDatum("origstAtE", "N56", UserData.SHARED);Assert.assertTrue(VertexID.parseID("N56").equals(vA.getOrigState()));
  }
 
View Full Code Here
1790
1791
1792
1793
1794
1795
1796
1797
1798
1799
1800
  /** 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
1798
1799
1800
1801
1802
1803
1804
1805
1806
1807
1808
  /** 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
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.