Minor Changes

Author: rcosta358

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

@@ -17,7 +17,7 @@ public CustomError(String message, SourcePosition position) {
         super("Error", message, null, position, null);
     }
 
-    public CustomError(String message, SourcePosition position, String detail) {
-        super("Error", message, detail, position, null);
+    public CustomError(String message, SourcePosition position, String details) {
+        super("Error", message, details, position, null);
     }
 }

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

@@ -12,7 +12,7 @@ public class ExternalClassNotFoundWarning extends LJWarning {
     private final String className;
 
     public ExternalClassNotFoundWarning(CtElement element, String message, String className) {
-        super(message, "", element.getPosition());
+        super(message, null, element.getPosition());
         this.className = className;
     }
 

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

@@ -11,12 +11,14 @@ public class ExternalMethodNotFoundWarning extends LJWarning {
 
     private final String methodName;
     private final String className;
+    private final String[] overloads;
 
     public ExternalMethodNotFoundWarning(CtElement element, String message, String details, String methodName,
-            String className) {
+            String className, String[] overloads) {
         super(message, details, element.getPosition());
         this.methodName = methodName;
         this.className = className;
+        this.overloads = overloads;
     }
 
     public String getMethodName() {
@@ -26,4 +28,8 @@ public String getMethodName() {
     public String getClassName() {
         return className;
     }
+
+    public String[] getOverloads() {
+        return overloads;
+    }
 }

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

@@ -74,8 +74,8 @@ public <R> void visitCtMethod(CtMethod<R> method) {
                 String details = overloads.length == 0 ? null
                         : "Available constructors:\n  " + String.join("\n  ", overloads);
 
-                diagnostics.add(
-                        new ExternalMethodNotFoundWarning(method, message, details, method.getSignature(), prefix));
+                diagnostics.add(new ExternalMethodNotFoundWarning(method, message, details, method.getSignature(),
+                        prefix, overloads));
             }
         } else {
             if (!methodExists(targetType, method)) {
@@ -84,8 +84,8 @@ public <R> void visitCtMethod(CtMethod<R> method) {
                 String[] overloads = getOverloads(targetType, method);
                 String details = overloads.length == 0 ? null
                         : "Available overloads:\n  " + String.join("\n  ", overloads);
-                diagnostics.add(
-                        new ExternalMethodNotFoundWarning(method, message, details, method.getSignature(), prefix));
+                diagnostics.add(new ExternalMethodNotFoundWarning(method, message, details, method.getSignature(),
+                        prefix, overloads));
                 return;
             }
         }