Minor Changes

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java

@@ -1,10 +1,13 @@
 package liquidjava.api;
 
+import static liquidjava.diagnostics.LJDiagnostics.diagnostics;
+
 import java.io.File;
 import java.util.Arrays;
 import java.util.List;
 
 import liquidjava.diagnostics.ErrorEmitter;
+import liquidjava.diagnostics.errors.CustomError;
 import liquidjava.processor.RefinementProcessor;
 import spoon.Launcher;
 import spoon.processing.ProcessingManager;
@@ -39,7 +42,7 @@ public static ErrorEmitter launch(String... paths) {
         Launcher launcher = new Launcher();
         for (String path : paths) {
             if (!new File(path).exists()) {
-                ee.addError("Path not found", "The path " + path + " does not exist", 1);
+                diagnostics.add(new CustomError("The path " + path + " was not found"));
                 return ee;
             }
             launcher.addInputResource(path);

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

@@ -9,6 +9,10 @@
  */
 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);
     }

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

@@ -244,11 +244,7 @@ public boolean smtChecks(Predicate cSMT, Predicate expectedType, SourcePosition
         } catch (TypeCheckError e) {
             return false;
         } catch (Exception e) {
-            // System.err.println("Unknown error:"+e.getMessage());
-            // e.printStackTrace();
-            // System.exit(7);
-            // fail();
-            errorEmitter.addError("Unknown Error", e.getMessage(), p, 7);
+            diagnostics.add(new CustomError(e.getMessage()));
         }
         return true;
     }