Update Version

Author: rcosta358

liquidjava-verifier/pom.xml

@@ -11,7 +11,7 @@
 
 	<groupId>io.github.liquid-java</groupId>
 	<artifactId>liquidjava-verifier</artifactId>
-	<version>0.0.3</version>
+	<version>0.0.4</version>
 	<name>liquidjava-verifier</name>
 	<description>LiquidJava Verifier</description>
 	<url>https://github.com/liquid-java/liquidjava</url>

liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/IllegalConstructorTransitionError.java

@@ -10,6 +10,8 @@
 public class IllegalConstructorTransitionError extends LJError {
 
     public IllegalConstructorTransitionError(CtElement element) {
-        super("Illegal Constructor Transition Error", "Found constructor with 'from' state: constructors should only have a 'to' state", element.getPosition(), null);
+        super("Illegal Constructor Transition Error",
+                "Found constructor with 'from' state: constructors should only have a 'to' state",
+                element.getPosition(), null);
     }
 }

liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/LJError.java

@@ -12,8 +12,7 @@ public abstract class LJError extends LJDiagnostic {
 
     private final TranslationTable translationTable;
 
-    public LJError(String title, String message, SourcePosition pos,
-            TranslationTable translationTable) {
+    public LJError(String title, String message, SourcePosition pos, TranslationTable translationTable) {
         super(title, message, pos, Colors.BOLD_RED);
         this.translationTable = translationTable != null ? translationTable : new TranslationTable();
     }

liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/RefinementError.java

@@ -18,8 +18,8 @@ public class RefinementError extends LJError {
     public RefinementError(SourcePosition position, Expression expected, ValDerivationNode found,
             TranslationTable translationTable) {
         super("Refinement Error",
-                String.format("%s is not a subtype of %s", found.getValue(), expected.toSimplifiedString()),
-                position, translationTable);
+                String.format("%s is not a subtype of %s", found.getValue(), expected.toSimplifiedString()), position,
+                translationTable);
         this.expected = expected.toSimplifiedString();
         this.found = found;
     }

liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/StateConflictError.java

@@ -14,7 +14,9 @@ public class StateConflictError extends LJError {
     private final String state;;
 
     public StateConflictError(SourcePosition position, Expression state, TranslationTable translationTable) {
-        super("State Conflict Error", "Found multiple disjoint states in state transition: state transition can only go to one state of each state set", position, translationTable);
+        super("State Conflict Error",
+                "Found multiple disjoint states in state transition: state transition can only go to one state of each state set",
+                position, translationTable);
         this.state = state.toSimplifiedString();
     }
 

liquidjava-verifier/src/main/java/liquidjava/diagnostics/warnings/ExternalMethodNotFoundWarning.java

@@ -13,8 +13,8 @@ public class ExternalMethodNotFoundWarning extends LJWarning {
     private final String className;
     private final String[] overloads;
 
-    public ExternalMethodNotFoundWarning(CtElement element, String message, String methodName,
-            String className, String[] overloads) {
+    public ExternalMethodNotFoundWarning(CtElement element, String message, String methodName, String className,
+            String[] overloads) {
         super(message, element.getPosition());
         this.methodName = methodName;
         this.className = className;

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

@@ -71,16 +71,16 @@ public <R> void visitCtMethod(CtMethod<R> method) {
                 String message = String.format("Could not find constructor '%s' for '%s'", method.getSignature(),
                         prefix);
                 String[] overloads = getOverloads(targetType, method);
-                diagnostics.add(new ExternalMethodNotFoundWarning(method, message, method.getSignature(),
-                        prefix, overloads));
+                diagnostics.add(
+                        new ExternalMethodNotFoundWarning(method, message, method.getSignature(), prefix, overloads));
             }
         } else {
             if (!methodExists(targetType, method)) {
                 String message = String.format("Could not find method '%s %s' for '%s'",
                         method.getType().getSimpleName(), method.getSignature(), prefix);
                 String[] overloads = getOverloads(targetType, method);
-                diagnostics.add(new ExternalMethodNotFoundWarning(method, message, method.getSignature(),
-                        prefix, overloads));
+                diagnostics.add(
+                        new ExternalMethodNotFoundWarning(method, message, method.getSignature(), prefix, overloads));
                 return;
             }
         }