Package statechum.DeterministicDirectedSparseGraph

Examples of statechum.DeterministicDirectedSparseGraph.DeterministicVertex

154
155
156
157
158
159
160
161
  }

  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_accepted_fail2()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("accePted", new Object(), UserData.SHARED);
  }
View Full Code Here
162
163
164
165
166
167
168
169
170
171
172
173
174
175
  /** Tests that types are correctly converted. */
  @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
176
177
178
179
180
181
182
183
184
185
186
187
188
 
  /** Tests that types are correctly converted. */
  @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
188
189
190
191
192
193
194
195
  }
 
  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_highlight_fail1()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("higHlight", "junk", UserData.SHARED);
  }
View Full Code Here
195
196
197
198
199
200
201
202
  }

  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_highlight_fail2()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("higHlight", new Object(), UserData.SHARED);
  }
View Full Code Here
203
204
205
206
207
208
209
210
211
212
213
214
  /** 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
215
216
217
218
219
220
221
222
223
224
225
226
 
  /** 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
226
227
228
229
230
231
232
233
  }
 
  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_colour_fail1()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("cOlour", "junk", UserData.SHARED);
  }
View Full Code Here
233
234
235
236
237
238
239
240
  }

  @Test(expected=IllegalUserDataException.class)
  public final void testAddUserData_colour_fail2()
  {
    DeterministicVertex vA=new DeterministicVertex("a");
    vA.addUserDatum("cOlour", new Object(), UserData.SHARED);
  }
View Full Code Here
241
242
243
244
245
246
247
248
249
250
251
252
253
  /** Tests that types are correctly converted. */
  @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
TOP

Related Classes of statechum.DeterministicDirectedSparseGraph.DeterministicVertex

  • statechum.analysis.learning.experiments.ForestFireStateMachineGenerator
  • statechum.analysis.learning.experiments.TestForestFireGenerator
  • statechum.analysis.learning.linear.DifferenceVisualiser$ChangesToGraph
  • statechum.analysis.learning.rpnicore.AbstractLearnerGraph
  • statechum.analysis.learning.rpnicore.AbstractPathRoutines
  • statechum.analysis.learning.rpnicore.FsmParser
  • statechum.analysis.learning.rpnicore.LearnerGraph
  • statechum.analysis.learning.rpnicore.MergeStates
  • statechum.analysis.learning.rpnicore.PathRoutines
  • statechum.analysis.learning.rpnicore.TestEqualityComparisonAndHashCode
    • Copyright © 2018 www.massapicom. 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.