From 3a2bfb8307c94bc6c7c8bd7a753893f1e1808dfd Mon Sep 17 00:00:00 2001 From: Wesley Oscar Date: Thu, 30 Oct 2025 15:32:26 +0000 Subject: [PATCH] Colocando os testes --- .../liquidjava/ast/opt/TestOptimization.java | 20 +++++++++++++++++++ .../rj_language/TestLiteralInt.java | 13 ++++++++++++ .../rj_language/TestLiteralString.java | 14 +++++++++++++ 3 files changed, 47 insertions(+) create mode 100644 liquidjava-verifier/src/test/java/liquidjava/ast/opt/TestOptimization.java create mode 100644 liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralInt.java create mode 100644 liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralString.java diff --git a/liquidjava-verifier/src/test/java/liquidjava/ast/opt/TestOptimization.java b/liquidjava-verifier/src/test/java/liquidjava/ast/opt/TestOptimization.java new file mode 100644 index 00000000..d32a94bc --- /dev/null +++ b/liquidjava-verifier/src/test/java/liquidjava/ast/opt/TestOptimization.java @@ -0,0 +1,20 @@ +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 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)); + } +} diff --git a/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralInt.java b/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralInt.java new file mode 100644 index 00000000..ea5a695e --- /dev/null +++ b/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralInt.java @@ -0,0 +1,13 @@ +package liquidjava.rj_language; + +import static org.junit.Assert.assertEquals; +import org.junit.Test; +import liquidjava.rj_language.ast.LiteralInt; + +public class TestLiteralInt { + @Test + public void testGetValue() { + LiteralInt n = new LiteralInt(5); + assertEquals(5, n.getValue()); + } +} \ No newline at end of file diff --git a/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralString.java b/liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralString.java new file mode 100644 index 00000000..7e82772f --- /dev/null +++ b/liquidjava-verifier/src/test/java/liquidjava/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()); + } +}