Ejemplos de RegularIFNetTransition.getProcessedAttributes 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#getProcessedColors(de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.AccessMode[])}.
   */
  @Test
  public void testGetProcessedColorsAccessModeArray() 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.getProcessedAttributes(AccessMode.READ);

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