Ejemplos de RegularIFNetTransition.getConsumedAttributes en Java

Ejemplo n.º 1

Archivo: RegularIFNetTransitionTest.java Proyecto: iig-uni-freiburg/SEPIA

  /*
   * Test method for {@link de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.RegularIFNetTransition#getConsumedColors(de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.AccessMode[])}.
   */
  @Test
  public void testGetConsumedColorsAccessModeArray() throws ParameterException {
    IFNet sNet = IFNetTestUtil.createSimpleIFNet();
    RegularIFNetTransition trans = (RegularIFNetTransition) sNet.getTransition("t0");

    // get the colors which are processed by t0 with read access
    Set<String> colors = trans.getConsumedAttributes(AccessMode.DELETE);

    Set<String> redSet = new HashSet<String>();
    redSet.add("red");
    assertTrue("Wrong colors returned.", colors.equals(redSet));
  }