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