public void IfThenClauseNegated()
{
// Arrange
var mockField = new Mock <IField>().Object;
var expr = new FieldExpression(mockField);
var pred = new ConstantClause(expr, ComparisonOperator.GTE, DBValue.Create(100));
var subseq = new ConstantClause(expr, ComparisonOperator.LTE, DBValue.Create(200));
var subseqNeg = new ConstantClause(expr, ComparisonOperator.GT, DBValue.Create(200));
var clause = Clause.IfThen(pred, subseq).Negation();
var mockBuilder = new Mock <IConstraintDeclBuilder>();
// Sequence
var sequence = mockBuilder.MakeSequence();
sequence.Add(builder => builder.StartClause());
sequence.Add(builder => builder.AddClause(subseqNeg.Matcher()));
sequence.Add(builder => builder.And());
sequence.Add(builder => builder.AddClause(pred.Matcher()));
sequence.Add(builder => builder.EndClause());
// Act
var fields = clause.GetDependentFields();
clause.AddDeclarationTo(mockBuilder.Object);
// Assert
fields.Should().BeEquivalentTo(new IField[] { mockField, mockField });
sequence.VerifyCompleted();
mockBuilder.VerifyNoOtherCalls();
}
public static ConstantClause Matcher(this ConstantClause self)
{
return(Match.Create <ConstantClause>(cc =>
ReferenceEquals(cc.LHS.Field, self.LHS.Field) &&
cc.LHS.Function == self.LHS.Function &&
cc.Operator == self.Operator &&
cc.RHS == self.RHS
));
}
public void ConstantClauseNotNegated()
{
// Arrange
var mockField = new Mock <IField>();
var expr = new FieldExpression(mockField.Object);
var op = ComparisonOperator.LT;
var value = DBValue.Create(100);
mockField.Setup(field => field.DataType).Returns(DBType.Int32);
// Act
var clause = new ConstantClause(expr, op, value);
var fields = clause.GetDependentFields();
// Assert
clause.LHS.Should().Be(expr);
clause.Operator.Should().Be(op);
clause.RHS.Should().Be(value);
fields.Should().BeEquivalentTo(new IField[] { mockField.Object });
}
public void ConstantClauseNegated_NE()
{
// Arrange
var mockField = new Mock <IField>();
var expr = new FieldExpression(mockField.Object);
var op = ComparisonOperator.NE;
var value = DBValue.Create(100);
mockField.Setup(field => field.DataType).Returns(DBType.Int32);
var clause = new ConstantClause(expr, op, value);
var mockBuilder = new Mock <IConstraintDeclBuilder>();
// Act
var negation = clause.Negation();
negation.AddDeclarationTo(mockBuilder.Object);
// Assert
var expected = new ConstantClause(expr, ComparisonOperator.EQ, value);
mockBuilder.Verify(builder => builder.AddClause(expected.Matcher()));
mockBuilder.VerifyNoOtherCalls();
}
