/* * Test method for {@link de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.RegularIFNetTransition#isDeclassificator()}. */ @Test public void testIsDeclassificator() throws ParameterException { // Get a simple standard SNet ... IFNet sNet = IFNetTestUtil.createSimpleIFNet(); RegularIFNetTransition trans = (RegularIFNetTransition) sNet.getTransition("tIn"); assertFalse("A regular transtion seems to be a Declassificator", trans.isDeclassificator()); }