Package statechum.model.testset.PTASequenceEngine

Examples of statechum.model.testset.PTASequenceEngine.Node

125
126
127
128
129
130
131
132
133
134
135
  @Test
  public final void testNodeEquality()
  {
    PTASequenceEngine engine = new PTASequenceEngine();
    Node a = engine.new Node("A"), b = engine.new Node("A"), c = engine.new Node("B");
    assertTrue(a.equals(a));
    assertTrue(b.equals(b));
    assertTrue(engine.rejectNode.equals(engine.rejectNode));
    assertFalse(a.equals(b));
    assertFalse(b.equals(a));
View Full Code Here
143
144
145
146
147
148
149
  @Test(expected = IllegalArgumentException.class)
  public final void testNode0_fail()
  {
    PTASequenceEngine engine = new PTASequenceEngine();
    engine.new Node(null);
  }
View Full Code Here
150
151
152
153
154
155
156
157
158
159
160
 
  @Test
  public final void testNode1()
  {
    PTASequenceEngine engine = new PTASequenceEngine();
    Node a = engine.new Node("A");
   
    assertTrue(a.isAccept());
    assertTrue(engine.new Node("test").isAccept());
    assertFalse(engine.rejectNode.isAccept());
  }
View Full Code Here
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
  @Test
  public final void testNode2()
  {
    PTASequenceEngine engine = new PTASequenceEngine();
    Node a = engine.new Node("A"), b = engine.new Node("A"), c = engine.new Node("B");
    assertEquals("A", a.getState());
    assertEquals("A", b.getState());
    assertEquals("B", c.getState());
   
    int aID = a.getID(), bID = b.getID(), cID = c.getID();
    assertTrue(aID > 0 && bID > 0 && cID > 0);
    assertTrue(aID != bID && aID != cID && aID != bID);
   
    assertTrue(a.hashCode() != b.hashCode() && a.hashCode() != c.hashCode() && b.hashCode() != c.hashCode());
    assertTrue(a.hashCode() != engine.rejectNode.hashCode());
    assertTrue(b.hashCode() != engine.rejectNode.hashCode());
    assertTrue(c.hashCode() != engine.rejectNode.hashCode());
  }
View Full Code Here
181
182
183
184
185
186
187
188
  /** Similar to testNode2 but uses a helper method. */
  @Test
  public final void testNode3()
  {
    PTASequenceEngine engine = new PTASequenceEngine();
    Node a = engine.new Node("A"), c = engine.new Node("B"),d = engine.new Node("C");
    equalityTestingHelper(a,a,c,d);
  }
View Full Code Here
190
191
192
193
194
195
196
197
198
  /** Similar to testNode2 but uses a helper method. */
  @Test
  public final void testNode_toString()
  {
    PTASequenceEngine engine = new PTASequenceEngine();
    Node a = engine.new Node("A");
    Assert.assertEquals("1(A)", a.toString());
    Assert.assertEquals("REJECT",engine.rejectNode.toString());
  }
View Full Code Here
167
168
169
170
171
172
173
174
175
176
177
  @Test
  public final void testNodeEquality()
  {
    PTASequenceEngine engine = new PTASequenceEngine();
    Node a = engine.new Node("A"), b = engine.new Node("A"), c = engine.new Node("B");
    assertTrue(a.equals(a));
    assertTrue(b.equals(b));
    assertTrue(engine.rejectNode.equals(engine.rejectNode));
    assertFalse(a.equals(b));
    assertFalse(b.equals(a));
View Full Code Here
186
187
188
189
190
191
192
  @SuppressWarnings("unused")
  @Test(expected = IllegalArgumentException.class)
  public final void testNode0_fail()
  {
    PTASequenceEngine engine = new PTASequenceEngine();
    engine.new Node(null);
  }
View Full Code Here
193
194
195
196
197
198
199
200
201
202
203
 
  @Test
  public final void testNode1()
  {
    PTASequenceEngine engine = new PTASequenceEngine();
    Node a = engine.new Node("A");
   
    assertTrue(a.isAccept());
    assertTrue(engine.new Node("test").isAccept());
    assertFalse(engine.rejectNode.isAccept());
  }
View Full Code Here
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
  @Test
  public final void testNode2()
  {
    PTASequenceEngine engine = new PTASequenceEngine();
    Node a = engine.new Node("A"), b = engine.new Node("A"), c = engine.new Node("B");
    assertEquals("A", a.getState());
    assertEquals("A", b.getState());
    assertEquals("B", c.getState());
   
    int aID = a.toInt(), bID = b.toInt(), cID = c.toInt();
    assertTrue(aID > 0 && bID > 0 && cID > 0);
    assertTrue(aID != bID && aID != cID && aID != bID);
   
    assertTrue(a.hashCode() != b.hashCode() && a.hashCode() != c.hashCode() && b.hashCode() != c.hashCode());
    assertTrue(a.hashCode() != engine.rejectNode.hashCode());
    assertTrue(b.hashCode() != engine.rejectNode.hashCode());
    assertTrue(c.hashCode() != engine.rejectNode.hashCode());
  }
View Full Code Here
TOP

Related Classes of statechum.model.testset.PTASequenceEngine.Node

  • statechum.model.testset.TestPTASequenceEngine
    • 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.