/* * Test method for {@link de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.RegularIFNetTransition#addAccessMode(java.lang.String, de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.AccessMode[])}. Set some accessmodes. Use colors which already have access modes and new colors. */ @Test public void testAddAccessModeStringAccessModeArray() throws ParameterException { IFNet sNet = IFNetTestUtil.createSimpleIFNet(); RegularIFNetTransition trans = (RegularIFNetTransition) sNet.getTransition("t0"); HashSet<AccessMode> createMode = new HashSet<AccessMode>(); HashSet<AccessMode> deleteMode = new HashSet<AccessMode>(); createMode.add(AccessMode.CREATE); deleteMode.add(AccessMode.DELETE); trans.addAccessMode("green", createMode); trans.addAccessMode("pink", deleteMode); // Check all are contained Set<AccessMode> greenModes = trans.getAccessModes("green"); assertTrue("An access mode is missing", greenModes.contains(AccessMode.CREATE)); assertTrue("An access mode is missing", greenModes.contains(AccessMode.READ)); Set<AccessMode> pinkModes = trans.getAccessModes("pink"); assertTrue("An access mode is missing", pinkModes.contains(AccessMode.DELETE)); }