Fix NullPointerException in OperationsChecker

rcosta358 · rcosta358 · commit 07ca3f08ff1d · 2025-11-09T20:39:59.000Z
diff --git a/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/general_checkers/OperationsChecker.java b/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/general_checkers/OperationsChecker.java
@@ -245,6 +245,9 @@ private Predicate getOperationRefinements(CtBinaryOperator<?> operator, CtVariab
                 // skip strings
                 return new Predicate();
             }
+            if (l.getValue() == null)
+                throw new ParsingException("Null literals are not supported");
+
             return new Predicate(l.getValue().toString(), element, rtc.getErrorEmitter());
 
         } else if (element instanceof CtInvocation<?>) {

Original file line number	Diff line number	Diff line change
`@@ -245,6 +245,9 @@ private Predicate getOperationRefinements(CtBinaryOperator<?> operator, CtVariab`
`245`	`245`	`// skip strings`
`246`	`246`	`return new Predicate();`
`247`	`247`	`}`
	`248`	`+ if (l.getValue() == null)`
	`249`	`+ throw new ParsingException("Null literals are not supported");`
	`250`	`+`
`248`	`251`	`return new Predicate(l.getValue().toString(), element, rtc.getErrorEmitter());`
`249`	`252`
`250`	`253`	`} else if (element instanceof CtInvocation<?>) {`