From 1f3ba4d95cc6f559a6b86d88e2ecdf4a7f5dd48b Mon Sep 17 00:00:00 2001 From: fc64169 Date: Thu, 30 Oct 2025 17:23:21 +0000 Subject: [PATCH] =?UTF-8?q?adicionar=20dois=20testes=20unit=C3=A1rios=20e?= =?UTF-8?q?=20um=20teste=20de=20integra=C3=A7=C3=A3o=20(fc64169)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../rj_language/opt/TestLiteralString.java | 14 ++++++++++++++ .../rj_language/opt/TestOptimization.java | 18 ++++++++++++++++++ 2 files changed, 32 insertions(+) create mode 100644 liquidjava-verifier/src/test/java/liquidjava/rj_language/opt/TestLiteralString.java create mode 100644 liquidjava-verifier/src/test/java/liquidjava/rj_language/opt/TestOptimization.java diff --git a/liquidjava-verifier/src/test/java/liquidjava/rj_language/opt/TestLiteralString.java b/liquidjava-verifier/src/test/java/liquidjava/rj_language/opt/TestLiteralString.java new file mode 100644 index 00000000..7e82772f --- /dev/null +++ b/liquidjava-verifier/src/test/java/liquidjava/rj_language/opt/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()); + } +} diff --git a/liquidjava-verifier/src/test/java/liquidjava/rj_language/opt/TestOptimization.java b/liquidjava-verifier/src/test/java/liquidjava/rj_language/opt/TestOptimization.java new file mode 100644 index 00000000..d99b0e7a --- /dev/null +++ b/liquidjava-verifier/src/test/java/liquidjava/rj_language/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)); + } +} \ No newline at end of file