public void PreconditionMissing() { ImplicationBase ib = new ImplicationBase(); Implication impMedLow = new Implication("impMedLow", 25, String.Empty, "missing", imp2, new AtomGroup(AtomGroup.LogicalOperator.And, atom2_2, atom3)); ib.Add(impMedLow); ib.Add(new Implication("impMedHi", 25, String.Empty, String.Empty, imp2, new AtomGroup(AtomGroup.LogicalOperator.And, atom2_2, atom3))); new PreconditionManager(ib).AnalyzeImplications(); Assert.Fail("Should never reach me!"); }
public void ImplicationBase() { ImplicationBase ib = new ImplicationBase(); Implication imp = new Implication("impMedLow", 25, String.Empty, String.Empty, imp2, new AtomGroup(AtomGroup.LogicalOperator.And, atom2_2, atom3)); ib.Add(imp); ib.Add(new Implication("impMedHi", 75, String.Empty, String.Empty, imp2, new AtomGroup(AtomGroup.LogicalOperator.And, atom2_2, atom3))); Assert.AreEqual(imp, ib.Get("impMedLow"), "Get"); Assert.IsNull(ib.Get("missing bit"), "Failed Get"); }
public void ImplicationBaseDuplicatedLabel() { ImplicationBase ib = new ImplicationBase(); ib.Add(new Implication("impMedLow", 25, String.Empty, String.Empty, imp2, new AtomGroup(AtomGroup.LogicalOperator.And, atom2_2, atom3))); ib.Add(new Implication("impMedLow", 75, String.Empty, String.Empty, imp2, new AtomGroup(AtomGroup.LogicalOperator.And, atom2_2, atom3))); Assert.Fail("Should never reach me!"); }
public void GetPreconditionChildren() { ImplicationBase ib = new ImplicationBase(); Implication impMedLow = new Implication("impMedLow", 25, String.Empty, String.Empty, imp2, new AtomGroup(AtomGroup.LogicalOperator.And, atom2_2, atom3)); ib.Add(impMedLow); Implication impMedHi = new Implication("impMedHi", 25, String.Empty, "impMedLow", imp2, new AtomGroup(AtomGroup.LogicalOperator.And, atom2_2, atom3)); ib.Add(impMedHi); new PreconditionManager(ib).AnalyzeImplications(); ArrayList preconditionChildren = ib.GetPreconditionChildren(impMedLow); Assert.AreEqual(1, preconditionChildren.Count, "preconditionChildren size"); Assert.IsTrue(preconditionChildren.Contains(impMedHi), "preconditionChildren content"); }