AndExpression (without description) to make every assertion expression based

Author: Torsten-Mumme

src/main/java/net/itarray/automotion/internal/properties/AndExpression.java

@@ -0,0 +1,25 @@
+package net.itarray.automotion.internal.properties;
+
+import net.itarray.automotion.internal.geometry.ExtendGiving;
+import net.itarray.automotion.internal.geometry.MetricSpace;
+import net.itarray.automotion.validation.properties.Expression;
+
+public class AndExpression implements Expression<Boolean> {
+    private final Expression<Boolean> left;
+    private final Expression<Boolean> right;
+
+    public AndExpression(Expression<Boolean> left, Expression<Boolean> right) {
+        this.left = left;
+        this.right = right;
+    }
+
+    @Override
+    public <V extends MetricSpace<V>> Boolean evaluateIn(Context context, ExtendGiving<V> direction) {
+        return left.evaluateIn(context, direction) && right.evaluateIn(context, direction);
+    }
+
+    @Override
+    public <V extends MetricSpace<V>> String getDescription(Context context, ExtendGiving<V> direction) {
+        return null;
+    }
+}

src/main/java/net/itarray/automotion/validation/properties/Expression.java

@@ -4,7 +4,9 @@
 import net.itarray.automotion.internal.geometry.ExtendGiving;
 import net.itarray.automotion.internal.geometry.MetricSpace;
 import net.itarray.automotion.internal.geometry.Scalar;
+import net.itarray.automotion.internal.properties.AndExpression;
 import net.itarray.automotion.internal.properties.BinaryExpression;
+import net.itarray.automotion.internal.properties.ConstantExpression;
 import net.itarray.automotion.internal.properties.Context;
 import net.itarray.automotion.internal.properties.PagePercentage;
 import net.itarray.automotion.internal.properties.PagePercentageOrPixels;
@@ -60,4 +62,7 @@ default <V extends MetricSpace<V>> String getRepeatedDescription(Context context
         return getDescription(context, direction);
     }
 
+    static Expression<Boolean> and(Expression<Boolean> left, Expression<Boolean> right) {
+        return new AndExpression(left, right);
+    }
 }

src/test/java/net/itarray/automotion/tests/properties/FalseAndFalseExpressionTest.java

@@ -0,0 +1,44 @@
+package net.itarray.automotion.tests.properties;
+
+import net.itarray.automotion.internal.geometry.Direction;
+import net.itarray.automotion.internal.geometry.ExtendGiving;
+import net.itarray.automotion.internal.geometry.MetricSpace;
+import net.itarray.automotion.internal.properties.ConstantExpression;
+import net.itarray.automotion.internal.properties.Context;
+import net.itarray.automotion.validation.properties.Expression;
+import org.junit.Before;
+import org.junit.Test;
+
+import static org.assertj.core.api.Assertions.assertThat;
+
+public class FalseAndFalseExpressionTest {
+
+    private Expression<Boolean> leftAndRight;
+    private boolean rightEvaluated;
+
+    @Before
+    public void setUp() {
+        rightEvaluated = false;
+        Expression<Boolean> left = new ConstantExpression<>(false);
+        Expression<Boolean> right = new ConstantExpression<Boolean>(false) {
+            @Override
+            public <V extends MetricSpace<V>> Boolean evaluateIn(Context context, ExtendGiving<V> direction) {
+                rightEvaluated = true;
+                return super.evaluateIn(context, direction);
+            }
+        };
+        leftAndRight = Expression.and(left, right);
+    }
+
+    @Test
+    public void evaluatesToFalse() {
+        TestContext testContext = new TestContext();
+        Boolean result = leftAndRight.evaluateIn(testContext, Direction.RIGHT);
+        assertThat(result).isFalse();
+    }
+
+    @Test
+    public void doesNotEvaluateTheRightExpression() {
+        assertThat(rightEvaluated).isFalse();
+    }
+}

src/test/java/net/itarray/automotion/tests/properties/FalseAndTrueExpressionTest.java

@@ -0,0 +1,44 @@
+package net.itarray.automotion.tests.properties;
+
+import net.itarray.automotion.internal.geometry.Direction;
+import net.itarray.automotion.internal.geometry.ExtendGiving;
+import net.itarray.automotion.internal.geometry.MetricSpace;
+import net.itarray.automotion.internal.properties.ConstantExpression;
+import net.itarray.automotion.internal.properties.Context;
+import net.itarray.automotion.validation.properties.Expression;
+import org.junit.Before;
+import org.junit.Test;
+
+import static org.assertj.core.api.Assertions.assertThat;
+
+public class FalseAndTrueExpressionTest {
+
+    private Expression<Boolean> leftAndRight;
+    private boolean rightEvaluated;
+
+    @Before
+    public void setUp() {
+        rightEvaluated = false;
+        Expression<Boolean> left = new ConstantExpression<>(false);
+        Expression<Boolean> right = new ConstantExpression<Boolean>(true) {
+            @Override
+            public <V extends MetricSpace<V>> Boolean evaluateIn(Context context, ExtendGiving<V> direction) {
+                rightEvaluated = true;
+                return super.evaluateIn(context, direction);
+            }
+        };
+        leftAndRight = Expression.and(left, right);
+    }
+
+    @Test
+    public void evaluatesToFalse() {
+        TestContext testContext = new TestContext();
+        Boolean result = leftAndRight.evaluateIn(testContext, Direction.RIGHT);
+        assertThat(result).isFalse();
+    }
+
+    @Test
+    public void doesNotEvaluateTheRightExpression() {
+        assertThat(rightEvaluated).isFalse();
+    }
+}

src/test/java/net/itarray/automotion/tests/properties/TrueAndFalseExpressionTest.java

@@ -0,0 +1,31 @@
+package net.itarray.automotion.tests.properties;
+
+import net.itarray.automotion.internal.geometry.Direction;
+import net.itarray.automotion.internal.geometry.ExtendGiving;
+import net.itarray.automotion.internal.geometry.MetricSpace;
+import net.itarray.automotion.internal.properties.ConstantExpression;
+import net.itarray.automotion.internal.properties.Context;
+import net.itarray.automotion.validation.properties.Expression;
+import org.junit.Before;
+import org.junit.Test;
+
+import static org.assertj.core.api.Assertions.assertThat;
+
+public class TrueAndFalseExpressionTest {
+
+    private Expression<Boolean> leftAndRight;
+
+    @Before
+    public void setUp() {
+        Expression<Boolean> left = new ConstantExpression<>(true);
+        Expression<Boolean> right = new ConstantExpression<Boolean>(false);
+        leftAndRight = Expression.and(left, right);
+    }
+
+    @Test
+    public void evaluatesToFalse() {
+        TestContext testContext = new TestContext();
+        Boolean result = leftAndRight.evaluateIn(testContext, Direction.RIGHT);
+        assertThat(result).isFalse();
+    }
+}

src/test/java/net/itarray/automotion/tests/properties/TrueAndTrueExpressionTest.java

@@ -0,0 +1,28 @@
+package net.itarray.automotion.tests.properties;
+
+import net.itarray.automotion.internal.geometry.Direction;
+import net.itarray.automotion.internal.properties.ConstantExpression;
+import net.itarray.automotion.validation.properties.Expression;
+import org.junit.Before;
+import org.junit.Test;
+
+import static org.assertj.core.api.Assertions.assertThat;
+
+public class TrueAndTrueExpressionTest {
+
+    private Expression<Boolean> leftAndRight;
+
+    @Before
+    public void setUp() {
+        Expression<Boolean> left = new ConstantExpression<>(true);
+        Expression<Boolean> right = new ConstantExpression<Boolean>(true);
+        leftAndRight = Expression.and(left, right);
+    }
+
+    @Test
+    public void evaluatesToFalse() {
+        TestContext testContext = new TestContext();
+        Boolean result = leftAndRight.evaluateIn(testContext, Direction.RIGHT);
+        assertThat(result).isTrue();
+    }
+}