/*
* Test method for {@link de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.RegularIFNetTransition#checkState()}. Check whether an enabled transition is reported to be enabled and a disable transition to be disabled based on guards
*/
@Test
public void testCheckStateGuard() throws ParameterException {
// Get a simple standard SNet and two of its transitions
IFNet sNet = IFNetTestUtil.createSimpleIFNet();
RegularIFNetTransition trans = (RegularIFNetTransition) sNet.getTransition("tIn");
// create aGuardDataContainer
TestGuardDataContainer tgdc = new TestGuardDataContainer(sNet.getTokenColors());
// create two guards
NumberConstraint trueConstraint =
new NumberConstraint("green", NumberOperator.IN_INTERVAL, -1, 1);
NumberConstraint falseConstraint =
new NumberConstraint("green", NumberOperator.IN_INTERVAL, 2, 3);
// check state with true constraint
trans.setGuardDataContainer(tgdc);
trans.addGuard(trueConstraint);
trans.checkState();
assertTrue("An enabled transition is reported to be disabled", trans.isEnabled());
// check state with additional false constraint
trans.addGuard(falseConstraint);
trans.checkState();
assertFalse("An disabled transition is reported to be enabled", trans.isEnabled());
}
/*
* Test method for {@link de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.RegularIFNetTransition#addGuard(de.invation.code.toval.constraint.AbstractConstraint)}. Try to add various invalid guards.
*/
@Test
public void testAddGuard() {
IFNet sNet = null;
try {
sNet = IFNetTestUtil.createSimpleIFNet();
} catch (ParameterException e) {
fail("Cannot create SNet");
}
RegularIFNetTransition trans = (RegularIFNetTransition) sNet.getTransition("tIn");
// Try to add an guard before adding a guarddatacontainer
try {
NumberConstraint nc = new NumberConstraint("green", NumberOperator.IN_INTERVAL, -1, 1);
trans.addGuard(nc);
fail("Guard was added without a GuardDataContainer beeing set.");
} catch (ParameterException e) {
}
// Add the missing guard datacontainer
TestGuardDataContainer tgdc = new TestGuardDataContainer(sNet.getTokenColors());
try {
trans.setGuardDataContainer(tgdc);
} catch (ParameterException e1) {
fail("Cannot set GuardDataContainer!");
}
// Try to add an guard which contains colors not processed by the transition
try {
NumberConstraint nc = new NumberConstraint("pink", NumberOperator.IN_INTERVAL, -1, 1);
trans.addGuard(nc);
fail("Guard was added with colors not processed by the transtion");
} catch (ParameterException e) {
}
// Try to add an guard which has no values incommen with the data container
try {
NumberConstraint nc = new NumberConstraint("green", NumberOperator.IN_INTERVAL, -1, 1);
RegularIFNetTransition t0 = (RegularIFNetTransition) sNet.getTransition("t0");
t0.setGuardDataContainer(tgdc);
tgdc.removeAttribute("green");
t0.addGuard(nc);
fail("Guard was added with colors not contained in the GuardDataContainer");
} catch (ParameterException e) {
}
// Try to add an guard which is not compatible
try {
StringConstraint sc = new StringConstraint("green", StringOperator.EQUAL, "fail");
RegularIFNetTransition t0 = (RegularIFNetTransition) sNet.getTransition("t0");
t0.setGuardDataContainer(new TestGuardDataContainer(sNet.getTokenColors()));
tgdc.removeAttribute("green");
t0.addGuard(sc);
fail("Guard was added which has values of the wrong type.");
} catch (ParameterException e) {
}
}
/*
* Test method for {@link de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.RegularIFNetTransition#setGuardDataContainer(de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.GuardDataContainer)}. Try to set an valid instance of TestGuradDataContainer as a GuardDataContainer. Add Gurds additionally to check whether the gurads and the container fit.
*/
@Test
public void testSetGuardDataContainerGuardFit() throws ParameterException {
// create the simple standard SNet
IFNet sNet = null;
try {
sNet = IFNetTestUtil.createSimpleIFNet();
} catch (ParameterException e) {
fail("Cannot create SNet");
}
RegularIFNetTransition trans = (RegularIFNetTransition) sNet.getTransition("t0");
// Create an instance of TestGuardDataContainer (must be added before guard)
TestGuardDataContainer tgdc = new TestGuardDataContainer(sNet.getTokenColors());
try {
trans.setGuardDataContainer(tgdc);
} catch (ParameterException e) {
fail("Exception while setting a vaild GuardDataContainer");
}
// add guards
NumberConstraint guard = null;
try {
guard = new NumberConstraint("green", NumberOperator.NOT_IN_INTERVAL, -1, 1);
} catch (ParameterException e) {
fail("Cannot create NumberConstraint");
}
try {
trans.addGuard(guard);
} catch (ParameterException e) {
fail("Cannot add a valid guard!");
}
// Create an instance of TestGuardDataContainer
// check whether the data container is compatible with the guard
TestGuardDataContainer tgdc2 = new TestGuardDataContainer(sNet.getTokenColors(), String.class);
try {
trans.setGuardDataContainer(tgdc2);
fail("Invaild GuardDataContainer was set successfully!");
} catch (ParameterException e) {
}
}
/*
* Test method for {@link de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.RegularIFNetTransition#removeGuard(de.invation.code.toval.constraint.AbstractConstraint)}.
*/
@Test
public void testRemoveGuard() throws ParameterException {
IFNet sNet = IFNetTestUtil.createSimpleIFNet();
RegularIFNetTransition trans = (RegularIFNetTransition) sNet.getTransition("tIn");
// Get the gurads and check there are no guards initially
Set<AbstractConstraint<?>> guards = trans.getGuards();
assertTrue(guards.isEmpty());
// add a guard and make sure it is really there
trans.setGuardDataContainer(new TestGuardDataContainer(sNet.getTokenColors()));
NumberConstraint nc = new NumberConstraint("green", NumberOperator.LARGER, -3);
trans.addGuard(nc);
assertFalse(guards.isEmpty());
// remove it again
trans.removeGuard(nc);
assertTrue(guards.isEmpty());
}