Exemplo n.º 1
0
  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));
  }