Prevent Duplicate Diagnostics

rcosta358 · rcosta358 · commit 2e3508a018e4 · 2025-11-13T20:53:16.000Z
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/LJDiagnostics.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/LJDiagnostics.java
@@ -22,11 +22,13 @@ private LJDiagnostics() {
     }
 
     public void add(LJError error) {
-        this.errors.add(error);
+        if (!this.errors.contains(error))
+            this.errors.add(error);
     }
 
     public void add(LJWarning warning) {
-        this.warnings.add(warning);
+        if (!this.warnings.contains(warning))
+            this.warnings.add(warning);
     }
 
     public boolean foundError() {

Original file line number	Diff line number	Diff line change
`@@ -22,11 +22,13 @@ private LJDiagnostics() {`
`22`	`22`	`}`
`23`	`23`
`24`	`24`	`public void add(LJError error) {`
`25`		`- this.errors.add(error);`
	`25`	`+ if (!this.errors.contains(error))`
	`26`	`+ this.errors.add(error);`
`26`	`27`	`}`
`27`	`28`
`28`	`29`	`public void add(LJWarning warning) {`
`29`		`- this.warnings.add(warning);`
	`30`	`+ if (!this.warnings.contains(warning))`
	`31`	`+ this.warnings.add(warning);`
`30`	`32`	`}`
`31`	`33`
`32`	`34`	`public boolean foundError() {`