Package statechum.xmachine.model.testset.PTATestSequenceEngine

Examples of statechum.xmachine.model.testset.PTATestSequenceEngine.Node

67
68
69
70
71
72
73
74
75
76
77
  @Test
  public final void testNodeEquality()
  {
    PTATestSequenceEngine engine = new PTATestSequenceEngine();
    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
85
86
87
88
89
90
91
92
93
94
95
  @Test
  public final void testNode1()
  {
    PTATestSequenceEngine engine = new PTATestSequenceEngine();
    Node a = engine.new Node("A");
   
    assertTrue(a.isAccept());
    assertTrue(engine.new Node("test").isAccept());
    assertFalse(engine.rejectNode.isAccept());
  }
View Full Code Here
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
  @Test
  public final void testNode2()
  {
    PTATestSequenceEngine engine = new PTATestSequenceEngine();
    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
TOP

Related Classes of statechum.xmachine.model.testset.PTATestSequenceEngine.Node

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