Adicionados 2 testes unitários e 1 teste de integração

Author: fc62359

liquidjava-verifier/src/test/java/rj/grammar/RJParserIntegrationTest.java

@@ -0,0 +1,28 @@
+package rj.grammar;
+
+import org.antlr.v4.runtime.*;
+import static org.junit.jupiter.api.Assertions.*;
+import org.junit.jupiter.api.Test;
+
+public class RJParserIntegrationTest {
+
+    @Test
+    void testFullProgramParsing() {
+        String input = """
+                type MyAlias(int x) {
+                    !(x < 5)
+                }
+                ghost int myGhost(int y)
+                """;
+
+        RJLexer lexer = new RJLexer(CharStreams.fromString(input));
+        CommonTokenStream tokens = new CommonTokenStream(lexer);
+        RJParser parser = new RJParser(tokens);
+
+        RJParser.ProgContext ctx = parser.prog();
+
+        assertNotNull(ctx, "O contexto do programa não deve ser nulo");
+        assertNotNull(ctx.start(), "Deve conter uma regra start válida");
+        assertEquals(0, parser.getNumberOfSyntaxErrors(), "O parser não deve gerar erros");
+    }
+}

liquidjava-verifier/src/test/java/rj/grammar/RJParserLiteralTest.java

@@ -0,0 +1,34 @@
+package rj.grammar;
+
+import org.antlr.v4.runtime.*;
+import static org.junit.jupiter.api.Assertions.*;
+import org.junit.jupiter.api.Test;
+
+public class RJParserLiteralTest {
+
+    @Test
+    void testIntegerLiteral() {
+        String input = "123";
+        RJLexer lexer = new RJLexer(CharStreams.fromString(input));
+        CommonTokenStream tokens = new CommonTokenStream(lexer);
+        RJParser parser = new RJParser(tokens);
+
+        RJParser.LiteralContext ctx = parser.literal();
+
+        assertNotNull(ctx);
+        assertEquals("123", ctx.getText());
+    }
+
+    @Test
+    void testBooleanLiteral() {
+        String input = "true";
+        RJLexer lexer = new RJLexer(CharStreams.fromString(input));
+        CommonTokenStream tokens = new CommonTokenStream(lexer);
+        RJParser parser = new RJParser(tokens);
+
+        RJParser.LiteralContext ctx = parser.literal();
+
+        assertNotNull(ctx);
+        assertEquals("true", ctx.getText());
+    }
+}

liquidjava-verifier/src/test/java/rj/grammar/RJParserTest.java

@@ -0,0 +1,21 @@
+package rj.grammar;
+
+import org.antlr.v4.runtime.*;
+import static org.junit.jupiter.api.Assertions.*;
+import org.junit.jupiter.api.Test;
+
+public class RJParserTest {
+
+    @Test
+    void testLiteralParsing() {
+        String input = "42";
+        RJLexer lexer = new RJLexer(CharStreams.fromString(input));
+        CommonTokenStream tokens = new CommonTokenStream(lexer);
+        RJParser parser = new RJParser(tokens);
+
+        RJParser.LiteralContext context = parser.literal();
+
+        assertNotNull(context);
+        assertEquals("42", context.getText());
+    }
+}