public void setUp() {
YSpecification spec = new YSpecification("");
spec.setVersion(YSchemaVersion.Beta2);
YNet deadNet = new YNet("aNetName", spec);
_invalidInputCondition = new YInputCondition("ic1", "input", deadNet);
_invalidInputCondition.addPostset(
new YFlow(_invalidInputCondition, new YCondition("c2", deadNet)));
_invalidInputCondition.addPreset(
new YFlow(new YAtomicTask("at1", YTask._AND, YTask._AND, deadNet), _invalidInputCondition));
}
public void testInvalidInputCondition() {
YVerificationHandler handler = new YVerificationHandler();
_invalidInputCondition.verify(handler);
if (handler.getMessageCount() != 2) {
for (YVerificationMessage msg : handler.getMessages()) {
System.out.println(msg);
}
fail("Should receive 2 error messages, but didn't.");
}
}
