/* * 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)); }