Adiconados novos testes (fc63699)

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

@@ -0,0 +1,18 @@
+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 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));
+    }
+}

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

@@ -0,0 +1,20 @@
+package liquidjava.rj_language;
+
+import static org.junit.Assert.assertEquals;
+import org.junit.Test;
+import liquidjava.rj_language.ast.LiteralInt;
+import liquidjava.rj_language.ast.BinaryExpression;
+
+public class TestBinaryExpression {
+    @Test
+    public void testBinaryExpression() {
+
+        LiteralInt left = new LiteralInt(3);
+        LiteralInt right = new LiteralInt(4);
+
+        BinaryExpression expr = new BinaryExpression(left, "+", right);
+
+        assertEquals("3 + 4", expr.toString());
+
+    }
+}

liquidjava-verifier/src/test/java/liquidjava/ast/rj_language/TestInteracao.java

@@ -0,0 +1,19 @@
+package liquidjava.rj_language;
+
+import static org.junit.Assert.assertEquals;
+import org.junit.Test;
+import liquidjava.rj_language.ast.LiteralInt;
+import liquidjava.rj_language.ast.BinaryExpression;
+
+public class TesteInteracao {
+    @Test
+    public void testBinaryExpressionLiteralInt() {
+
+        BinaryExpression n1 = new BinaryExpression(new LiteralInt(1), "+", new LiteralInt(2));
+
+        BinaryExpression n2 = new BinaryExpression(n1, "*", new LiteralInt(3));
+
+        assertEquals("(1 + 2) * 3", n2.toString());
+
+    }
+}

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

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

liquidjava-verifier/src/test/java/liquidjava/ast/rj_language/TestLiteralString.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 TestLiteralString {
+    @Test
+    public void testLiteralString() {
+        LiteralString s1 = new LiteralString("hello");
+        LiteralString s2 = new LiteralString("world");
+        assertNotEquals(s1.hashCode(), s2.hashCode());
+    }
+}