Add Multiple Errors Test

rcosta358 · rcosta358 · commit 999eb53c1d9c · 2025-11-15T16:48:23.000Z
diff --git a/liquidjava-example/src/main/java/testMultiple/MultipleErrorsExample.java b/liquidjava-example/src/main/java/testMultiple/MultipleErrorsExample.java
@@ -0,0 +1,19 @@
+package testMultiple;
+
+import liquidjava.specification.Refinement;
+
+class MultipleErrorsExample {
+
+    void test1() {
+        @Refinement("a > 0")
+        int a = -1;
+    }
+
+    void test2() {
+        @Refinement("b > 0")
+        int b = -2;
+
+        @Refinement("c > 0")
+        int c = 3;
+    }
+}
diff --git a/liquidjava-example/src/main/java/testMultiple/errors/CustomError.java b/liquidjava-example/src/main/java/testMultiple/errors/CustomError.java
@@ -1,4 +1,4 @@
-package testingInProgress.diagnostics.errors;
+package testMultiple.errors;
 
 import liquidjava.specification.StateSet;
 
diff --git a/liquidjava-example/src/main/java/testMultiple/errors/GhostInvocationError.java b/liquidjava-example/src/main/java/testMultiple/errors/GhostInvocationError.java
@@ -1,4 +1,4 @@
-package testingInProgress.diagnostics.errors;
+package testMultiple.errors;
 
 import liquidjava.specification.Ghost;
 import liquidjava.specification.StateRefinement;
diff --git a/liquidjava-example/src/main/java/testMultiple/errors/IllegalConstructorTransitionError.java b/liquidjava-example/src/main/java/testMultiple/errors/IllegalConstructorTransitionError.java
@@ -1,4 +1,4 @@
-package testingInProgress.diagnostics.errors;
+package testMultiple.errors;
 
 import liquidjava.specification.StateRefinement;
 import liquidjava.specification.StateSet;
diff --git a/liquidjava-example/src/main/java/testMultiple/errors/InvalidRefinementError.java b/liquidjava-example/src/main/java/testMultiple/errors/InvalidRefinementError.java
@@ -1,4 +1,4 @@
-package testingInProgress.diagnostics.errors;
+package testMultiple.errors;
 
 import liquidjava.specification.Refinement;
 
diff --git a/liquidjava-example/src/main/java/testMultiple/errors/NotFoundError.java b/liquidjava-example/src/main/java/testMultiple/errors/NotFoundError.java
@@ -1,4 +1,4 @@
-package testingInProgress.diagnostics.errors;
+package testMultiple.errors;
 
 import liquidjava.specification.Refinement;
 
diff --git a/liquidjava-example/src/main/java/testMultiple/errors/RefinementError.java b/liquidjava-example/src/main/java/testMultiple/errors/RefinementError.java
@@ -1,4 +1,4 @@
-package testingInProgress.diagnostics.errors;
+package testMultiple.errors;
 
 import liquidjava.specification.Refinement;
 
diff --git a/liquidjava-example/src/main/java/testMultiple/errors/StateConflictError.java b/liquidjava-example/src/main/java/testMultiple/errors/StateConflictError.java
@@ -1,4 +1,4 @@
-package testingInProgress.diagnostics.errors;
+package testMultiple.errors;
 
 import liquidjava.specification.StateRefinement;
 import liquidjava.specification.StateSet;
diff --git a/liquidjava-example/src/main/java/testMultiple/errors/StateRefinementError.java b/liquidjava-example/src/main/java/testMultiple/errors/StateRefinementError.java
@@ -1,4 +1,4 @@
-package testingInProgress.diagnostics.errors;
+package testMultiple.errors;
 
 import liquidjava.specification.StateRefinement;
 import liquidjava.specification.StateSet;
diff --git a/liquidjava-example/src/main/java/testMultiple/errors/SyntaxError.java b/liquidjava-example/src/main/java/testMultiple/errors/SyntaxError.java
@@ -1,4 +1,4 @@
-package testingInProgress.diagnostics.errors;
+package testMultiple.errors;
 
 import liquidjava.specification.Refinement;
 
diff --git a/liquidjava-example/src/main/java/testMultiple/warnings/NonExistentClass.java b/liquidjava-example/src/main/java/testMultiple/warnings/NonExistentClass.java
@@ -1,4 +1,4 @@
-package testingInProgress.diagnostics.warnings;
+package testMultiple.warnings;
 
 import liquidjava.specification.ExternalRefinementsFor;
 
diff --git a/liquidjava-example/src/main/java/testMultiple/warnings/NonExistentConstructor.java b/liquidjava-example/src/main/java/testMultiple/warnings/NonExistentConstructor.java
@@ -1,4 +1,4 @@
-package testingInProgress.diagnostics.warnings;
+package testMultiple.warnings;
 
 import liquidjava.specification.ExternalRefinementsFor;
 import liquidjava.specification.RefinementPredicate;
diff --git a/liquidjava-example/src/main/java/testMultiple/warnings/NonExistentMethod.java b/liquidjava-example/src/main/java/testMultiple/warnings/NonExistentMethod.java
@@ -1,4 +1,4 @@
-package testingInProgress.diagnostics.warnings;
+package testMultiple.warnings;
 
 import liquidjava.specification.ExternalRefinementsFor;
 import liquidjava.specification.RefinementPredicate;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/LJDiagnostic.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/LJDiagnostic.java
@@ -49,8 +49,8 @@ public String toString() {
         StringBuilder sb = new StringBuilder();
 
         // title
-        sb.append("\n").append(accentColor).append(title).append(": ").append(Colors.RESET).append(message.toLowerCase())
-                .append("\n");
+        sb.append("\n").append(accentColor).append(title).append(": ").append(Colors.RESET)
+                .append(message.toLowerCase()).append("\n");
 
         // snippet
         String snippet = getSnippet();
diff --git a/liquidjava-verifier/src/test/java/liquidjava/api/tests/TestMultiple.java b/liquidjava-verifier/src/test/java/liquidjava/api/tests/TestMultiple.java
@@ -0,0 +1,45 @@
+package liquidjava.api.tests;
+
+import static org.junit.jupiter.api.Assertions.*;
+
+import org.junit.Test;
+
+import liquidjava.api.CommandLineLauncher;
+import liquidjava.diagnostics.Diagnostics;
+
+public class TestMultiple {
+
+    @Test
+    public void testMultipleErrorDirectory() {
+        String path = "../liquidjava-example/src/main/java/testMultiple/errors";
+        CommandLineLauncher.launch(path);
+        Diagnostics diagnostics = Diagnostics.getInstance();
+        assertEquals(9, diagnostics.getErrors().size());
+    }
+
+    @Test
+    public void testMultipleWarningDirectory() {
+        String path = "../liquidjava-example/src/main/java/testMultiple/warnings";
+        CommandLineLauncher.launch(path);
+        Diagnostics diagnostics = Diagnostics.getInstance();
+        assertEquals(3, diagnostics.getWarnings().size());
+    }
+
+    @Test
+    public void testMultipleErrorsSameFile() {
+        String path = "../liquidjava-example/src/main/java/testMultiple/MultipleErrorsExample.java";
+        CommandLineLauncher.launch(path);
+        Diagnostics diagnostics = Diagnostics.getInstance();
+        assertEquals(2, diagnostics.getErrors().size());
+    }
+
+    @Test
+    public void testMultipleDirectory() {
+        String path = "../liquidjava-example/src/main/java/testMultiple";
+        CommandLineLauncher.launch(path);
+        Diagnostics diagnostics = Diagnostics.getInstance();
+
+        assertEquals(11, diagnostics.getErrors().size());
+        assertEquals(3, diagnostics.getWarnings().size());
+    }
+}

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-package testingInProgress.diagnostics.errors;`
	`1`	`+package testMultiple.errors;`
`2`	`2`
`3`	`3`	`import liquidjava.specification.StateSet;`
`4`	`4`