public void Conclude_containsNumberIsOneCondition_DontCareConclusionWhenGivenATwo() { TransformationRule<int> rule = new TransformationRule<int>(); rule.AddPremise(i => i == 1, new Conclusion("Not used")); Assert.IsInstanceOf<DontCareConclusion>(rule.Conclude(2)); }
public void Conclude_containsNumberIsOneCondition_CorrectConclusionWhenGivenOne() { TransformationRule<int> rule = new TransformationRule<int>(); rule.AddPremise(i => i == 1, new Conclusion("correct")); string expected = "correct"; string actual = rule.Conclude(1).ToString(); Assert.AreEqual(expected, actual); }
public void Conclude_containsTwoCondradictionaryConclusions_RaiseException() { TransformationRule<int> rule = new TransformationRule<int>(); rule.AddPremise(i => i == 1, new Conclusion("Correct")); rule.AddPremise(i => i == 1, new Conclusion("Not Correct")); bool exceptionthrown = false; Exception exception = null; try { rule.Conclude(1); } catch (MultiConclusionException e) { exceptionthrown = true; exception = e; } Assert.IsTrue(exceptionthrown); Assert.IsInstanceOf<MultiConclusionException>(exception); }