Remove ErrorHandler

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/diagnostics/ErrorEmitter.java

@@ -1,8 +1,6 @@
 package liquidjava.diagnostics;
 
 import java.net.URI;
-import java.util.HashMap;
-import liquidjava.processor.context.PlacementInCode;
 import spoon.reflect.cu.SourcePosition;
 
 public class ErrorEmitter {

liquidjava-verifier/src/main/java/liquidjava/diagnostics/ErrorHandler.java

@@ -1,14 +1,16 @@
 package liquidjava.diagnostics.errors;
 
+import spoon.reflect.declaration.CtElement;
+
 /**
  * Custom error with an arbitrary message
  * 
  * @see LJError
  */
 public class CustomError extends LJError {
 
-    public CustomError(String message) {
-        super("Found Error", message, null, null);
+    public CustomError(CtElement element, String message) {
+        super("Found Error", message, element, null);
     }
 
     @Override

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

@@ -1,6 +1,5 @@
 package liquidjava.diagnostics.errors;
 
-import liquidjava.diagnostics.TranslationTable;
 import spoon.reflect.declaration.CtElement;
 
 /**
@@ -12,9 +11,8 @@ public class InvalidRefinementError extends LJError {
 
     private String refinement;
 
-    public InvalidRefinementError(String message, CtElement element, String refinement,
-            TranslationTable translationTable) {
-        super("Invalid Refinement", message, element, translationTable);
+    public InvalidRefinementError(CtElement element, String message, String refinement) {
+        super("Invalid Refinement", message, element, null);
         this.refinement = refinement;
     }
 

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

@@ -10,7 +10,7 @@
  */
 public class NotFoundError extends LJError {
 
-    public NotFoundError(String message, CtElement element, TranslationTable translationTable) {
+    public NotFoundError(CtElement element, String message, TranslationTable translationTable) {
         super("Not Found Error", message, element, translationTable);
     }
 

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

@@ -11,8 +11,8 @@ public class ExternalClassNotFoundWarning extends LJWarning {
 
     private String className;
 
-    public ExternalClassNotFoundWarning(CtElement element, String className) {
-        super("Class in external refinement not found", element);
+    public ExternalClassNotFoundWarning(CtElement element, String message, String className) {
+        super(message, element);
         this.className = className;
     }
 

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

@@ -12,8 +12,8 @@ public class ExternalMethodNotFoundWarning extends LJWarning {
     private String methodName;
     private String className;
 
-    public ExternalMethodNotFoundWarning(CtElement element, String methodName, String className) {
-        super("Method in external refinement not found", element);
+    public ExternalMethodNotFoundWarning(CtElement element, String message, String methodName, String className) {
+        super(message, element);
         this.methodName = methodName;
         this.className = className;
     }