public void RulesCanBeCombinedUsingThePreventsOperator()
{
Assert.That(aRuleThatIsTrue.Prevents(aRuleThatIsTrue).IsFalseFor(new AnyClass()));
Assert.That(aRuleThatIsTrue.Prevents(aRuleThatIsFalse).IsTrueFor(new AnyClass()));
Assert.That(aRuleThatIsFalse.Prevents(aRuleThatIsTrue).IsTrueFor(new AnyClass()));
Assert.That(aRuleThatIsFalse.Prevents(aRuleThatIsFalse).IsTrueFor(new AnyClass()));
}
public void APreventsRuleCanBeDescribed()
{
var rule = aRuleThatIsTrue.Prevents(aRuleThatIsFalse);
var description = describer.Describe(rule);
Assert.That(description, Is.EqualTo("(Always True PREVENTS Always False)"));
}
public void APreventsRuleCanBeEvaluatedAndDescribed()
{
var rule = aRuleThatIsTrue.Prevents(aRuleThatIsFalse);
var description = describer.Describe(rule);
Assert.That(description, Is.EqualTo("Always True[T] PREVENTS[T] Always False[F]"));
}