fc64732

liquidjava-verifier/src/test/java/liquidjava/rj_language/TestBinaryExpression.java

@@ -0,0 +1,17 @@
+package liquidjava.rj_language;
+
+import static org.junit.Assert.assertEquals;
+import org.junit.Test;
+import liquidjava.rj_language.ast.BinaryExpression;
+import liquidjava.rj_language.ast.LiteralInt;
+import liquidjava.rj_language.opt.ConstantFolding;
+import liquidjava.rj_language.opt.derivation_node.ValDerivationNode;
+
+public class TestBinaryExpression {
+    @Test
+    public void testSimpleAddition() {
+        BinaryExpression expr = new BinaryExpression(new LiteralInt(5), "+", new LiteralInt(7));
+        ValDerivationNode result = ConstantFolding.fold(new ValDerivationNode(expr, null));
+        assertEquals(new LiteralInt(12), result.getValue());
+    }
+}

liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralInt.java

@@ -0,0 +1,14 @@
+package liquidjava.rj_language;
+import static org.junit.Assert.assertNotEquals;
+import org.junit.Test;
+import liquidjava.rj_language.ast.LiteralString;
+
+public class TestLiteralInt{
+    @Test
+    public void testLiteralInt(){
+      LiteralInt s1 = new LiteralInt(10);
+      LiteralInt s2 = new LiteralInt(20);
+      assertNotEquals(s1.hashCode(), s2.hashCode());  
+    }
+
+}

liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralString.java

@@ -0,0 +1,13 @@
+package liquidjava.rj_language;
+import static org.junit.Assert.assertNotEquals;
+import org.junit.Test;
+import liquidjava.rj_language.ast.LiteralString;
+
+public class TestLiteralString {
+@Test
+public void testLiteralString() {
+LiteralString s1 = new LiteralString("hello");
+LiteralString s2 = new LiteralString("world");
+assertNotEquals(s1.hashCode(), s2.hashCode());
+}
+}

liquidjava-verifier/src/test/java/liquidjava/rj_language/opt/TestConstantFoldingIntegration.java

@@ -0,0 +1,22 @@
+package liquidjava.ast.opt;
+
+import static org.junit.Assert.assertEquals;
+import org.junit.Test;
+import liquidjava.rj_language.ast.BinaryExpression;
+import liquidjava.rj_language.ast.LiteralInt;
+import liquidjava.rj_language.opt.ConstantFolding;
+import liquidjava.rj_language.opt.derivation_node.ValDerivationNode;
+
+public class TestConstantFoldingIntegration {
+    @Test
+    public void testComplexFold() {
+        BinaryExpression expr = new BinaryExpression(
+            new BinaryExpression(new LiteralInt(2), "*", new LiteralInt(3)),
+            "+",
+            new LiteralInt(4)
+        );
+
+        ValDerivationNode result = ConstantFolding.fold(new ValDerivationNode(expr, null));
+        assertEquals(new LiteralInt(10), result.getValue());
+    }
+}

liquidjava-verifier/src/test/java/liquidjava/rj_language/opt/TestOptimization.java

@@ -0,0 +1,16 @@
+import org.junit.Test;
+
+import liquidjava.rj_language.ast.BinaryExpression;
+import liquidjava.rj_language.ast.LiteralInt;
+import liquidjava.rj_language.opt.ConstantFolding;
+import liquidjava.rj_language.opt.derivation_node.ValDerivationNode;
+
+public class TestOptimization {
+@Test
+public void testBinaryFold() {
+BinaryExpression b = new BinaryExpression(new LiteralInt(1), "+", new LiteralInt(2));
+
+ValDerivationNode r = ConstantFolding.fold(new ValDerivationNode(b, null));
+assertEquals(r.getValue(), new LiteralInt(3));
+}
+}