Minor Change

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/TypeChecker.java

@@ -82,8 +82,8 @@ public Optional<Predicate> getRefinementFromAnnotation(CtElement element) throws
             Predicate p = new Predicate(ref.get(), element);
             if (!p.getExpression().isBooleanExpression()) {
                 SourcePosition position = Utils.getAnnotationPosition(element, ref.get());
-                throw new InvalidRefinementError(position,
-                        "Refinement predicate must be a boolean expression", ref.get());
+                throw new InvalidRefinementError(position, "Refinement predicate must be a boolean expression",
+                        ref.get());
             }
             constr = Optional.of(p);
         }
@@ -251,8 +251,8 @@ protected void handleAlias(String ref, CtElement element, SourcePosition positio
             if (klass != null && path != null) {
                 a.parse(path);
                 if (a.getExpression() != null && !a.getExpression().isBooleanExpression()) {
-                    throw new InvalidRefinementError(position,
-                            "Refinement alias must return a boolean expression", ref);
+                    throw new InvalidRefinementError(position, "Refinement alias must return a boolean expression",
+                            ref);
                 }
                 AliasWrapper aw = new AliasWrapper(a, factory, klass, path);
                 context.addAlias(aw);

liquidjava-verifier/src/main/java/liquidjava/rj_language/parsing/RefinementsParser.java

@@ -56,7 +56,8 @@ public static AliasDTO getAliasDeclaration(String s) throws LJError {
         AliasVisitor av = new AliasVisitor(input);
         AliasDTO alias = av.getAlias(rc);
         if (alias == null)
-            throw new SyntaxError("Invalid alias definition, expected e.g. @RefinementAlias(\"Positive(int v) { v >= 0 }\")", s);
+            throw new SyntaxError(
+                    "Invalid alias definition, expected e.g. @RefinementAlias(\"Positive(int v) { v >= 0 }\")", s);
         return alias;
     }