Package statechum.DeterministicDirectedSparseGraph

Examples of statechum.DeterministicDirectedSparseGraph.DeterministicVertex.addUserDatum()

956
957
958
959
960
961
962
963
964
965
966
       
        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
957
958
959
960
961
962
963
964
965
966
967
        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
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
607
608
609
610
611
612
613
614
615
616
617
      for(Entry<CmpVertex,Map<CmpVertex,Set<String>>> entry:coregraph.learnerCache.getFlowgraph().entrySet())
      {
        CmpVertex source = entry.getKey();
        DeterministicVertex vert = (DeterministicVertex)LearnerGraph.cloneCmpVertex(source,cloneConfig);
        if (coregraph.init == source)
          vert.addUserDatum(JUConstants.INITIAL, true, UserData.SHARED);
        result.addVertex(vert);
        oldToNew.put(source,vert);
      }
     
      // now add transitions
View Full Code Here
691
692
693
694
695
696
697
698
699
700
701
      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
125
126
127
128
129
130
131
132
133
134
135
  /** 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
137
138
139
140
141
142
143
144
145
146
147
  /** 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
148
149
150
151
152
153
154
155
156
157
158
 
  @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
155
156
157
158
159
160
161
162
163
164
165
  @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
164
165
166
167
168
169
170
171
172
173
174
  @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
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.