Fix NullPointerException

rcosta358 · rcosta358 · commit 758e963376ba · 2026-03-11T00:08:42.000Z
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/LJDiagnostic.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/LJDiagnostic.java
@@ -46,7 +46,7 @@ public SourcePosition getPosition() {
     }
 
     public void setPosition(SourcePosition pos) {
-        if (pos == null)
+        if (pos == null || pos.getFile() == null)
             return;
         this.position = pos;
         this.file = pos.getFile().getPath();

Original file line number	Diff line number	Diff line change
`@@ -46,7 +46,7 @@ public SourcePosition getPosition() {`
`46`	`46`	`}`
`47`	`47`
`48`	`48`	`public void setPosition(SourcePosition pos) {`
`49`		`- if (pos == null)`
	`49`	`+ if (pos == null \|\| pos.getFile() == null)`
`50`	`50`	`return;`
`51`	`51`	`this.position = pos;`
`52`	`52`	`this.file = pos.getFile().getPath();`