Example #1
0
  @Test
  public void testEquals() {
    IEPC epc = new EPC();
    IControlFlow cf = epc.addControlFlow(new Event(), new Event());
    cf.setId("blub");

    Marking m1 = new Marking();
    m1.applyContext(cf, Marking.Context.DEAD);
    m1.applyState(cf, Marking.State.NEG_TOKEN);

    Marking m2 = new Marking();
    m2.applyContext(cf, Marking.Context.DEAD);
    m2.applyState(cf, Marking.State.NEG_TOKEN);

    Marking m3 = m2.clone();
    m3.applyContext(cf, Marking.Context.WAIT);

    assertTrue(m1.equals(m2));
    assertTrue(m2.equals(m1));
    assertFalse(m1.equals(m3));
    assertFalse(m1.equals(new Marking()));

    List<Marking> list = new LinkedList<Marking>();
    list.add(m2);
    assertTrue(list.contains(m2));
    assertTrue(list.contains(m1));
    assertFalse(list.contains(new Marking()));
    assertFalse(list.contains(m3));
  }