public void Selection() { var tautologySpec = new Tautology<int>(); Assert.That(tautologySpec.IsSatisfiedBy(Int32.MinValue), Is.True); Assert.That(tautologySpec.IsSatisfiedBy(1), Is.True); Assert.That(tautologySpec.IsSatisfiedBy(0), Is.True); Assert.That(tautologySpec.IsSatisfiedBy(-1), Is.True); Assert.That(tautologySpec.IsSatisfiedBy(Int32.MaxValue), Is.True); }
public void Criteria() { var tautology = new Tautology<int>(); var tautologyCriteria = tautology.Criteria; Assert.That(tautologyCriteria.Body, Is.AssignableTo<ConstantExpression>()); var constant = (ConstantExpression)tautologyCriteria.Body; Assert.That(constant.NodeType, Is.EqualTo(ExpressionType.Constant)); Assert.That(constant.Value, Is.True); ExpressionWriter.Write(tautologyCriteria); }