Handle Alias Syntax Errors

rcosta358 · rcosta358 · commit d3bc2b623e67 · 2025-11-04T16:35:30.000Z
diff --git a/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/TypeChecker.java b/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/TypeChecker.java
@@ -249,6 +249,9 @@ protected void handleAlias(String value, CtElement element) {
                     AliasWrapper aw = new AliasWrapper(a, factory, WILD_VAR, context, klass, path);
                     context.addAlias(aw);
                 }
+            } else {
+                // alias syntax error
+                ErrorHandler.printSyntaxError("Invalid alias definition", value, element, errorEmitter);
             }
         } catch (ParsingException e) {
             ErrorHandler.printCustomError(element, e.getMessage(), errorEmitter);

Original file line number	Diff line number	Diff line change
`@@ -249,6 +249,9 @@ protected void handleAlias(String value, CtElement element) {`
`249`	`249`	`AliasWrapper aw = new AliasWrapper(a, factory, WILD_VAR, context, klass, path);`
`250`	`250`	`context.addAlias(aw);`
`251`	`251`	`}`
	`252`	`+ } else {`
	`253`	`+ // alias syntax error`
	`254`	`+ ErrorHandler.printSyntaxError("Invalid alias definition", value, element, errorEmitter);`
`252`	`255`	`}`
`253`	`256`	`} catch (ParsingException e) {`
`254`	`257`	`ErrorHandler.printCustomError(element, e.getMessage(), errorEmitter);`