Rename LJDiagnostics to Diagnostics

Author: rcosta358

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

@@ -1,6 +1,6 @@
 package liquidjava.api;
 
-import static liquidjava.diagnostics.LJDiagnostics.diagnostics;
+import static liquidjava.diagnostics.Diagnostics.diagnostics;
 
 import java.io.File;
 import java.util.Arrays;

…iquidjava/diagnostics/LJDiagnostics.java …/liquidjava/diagnostics/Diagnostics.javaliquidjava-verifier/src/main/java/liquidjava/diagnostics/LJDiagnostics.java renamed to liquidjava-verifier/src/main/java/liquidjava/diagnostics/Diagnostics.java liquidjava-verifier/src/main/java/liquidjava/diagnostics/LJDiagnostics.java renamed to liquidjava-verifier/src/main/java/liquidjava/diagnostics/Diagnostics.java

@@ -10,13 +10,13 @@
  * @see LJError
  * @see LJWarning
  */
-public class LJDiagnostics {
-    public static final LJDiagnostics diagnostics = new LJDiagnostics();
+public class Diagnostics {
+    public static final Diagnostics diagnostics = new Diagnostics();
 
     private ArrayList<LJError> errors;
     private ArrayList<LJWarning> warnings;
 
-    private LJDiagnostics() {
+    private Diagnostics() {
         this.errors = new ArrayList<>();
         this.warnings = new ArrayList<>();
     }

liquidjava-verifier/src/main/java/liquidjava/processor/RefinementProcessor.java

@@ -1,6 +1,6 @@
 package liquidjava.processor;
 
-import static liquidjava.diagnostics.LJDiagnostics.diagnostics;
+import static liquidjava.diagnostics.Diagnostics.diagnostics;
 
 import java.util.ArrayList;
 import java.util.List;

liquidjava-verifier/src/main/java/liquidjava/processor/ann_generation/FieldGhostsGeneration.java

@@ -1,6 +1,6 @@
 package liquidjava.processor.ann_generation;
 
-import static liquidjava.diagnostics.LJDiagnostics.diagnostics;
+import static liquidjava.diagnostics.Diagnostics.diagnostics;
 
 import liquidjava.processor.context.Context;
 import liquidjava.specification.Ghost;

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

@@ -1,6 +1,6 @@
 package liquidjava.processor.refinement_checker;
 
-import static liquidjava.diagnostics.LJDiagnostics.diagnostics;
+import static liquidjava.diagnostics.Diagnostics.diagnostics;
 
 import java.util.Arrays;
 import java.util.List;

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

@@ -1,6 +1,6 @@
 package liquidjava.processor.refinement_checker;
 
-import static liquidjava.diagnostics.LJDiagnostics.diagnostics;
+import static liquidjava.diagnostics.Diagnostics.diagnostics;
 
 import java.util.ArrayList;
 import java.util.List;

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

@@ -1,6 +1,6 @@
 package liquidjava.processor.refinement_checker;
 
-import static liquidjava.diagnostics.LJDiagnostics.diagnostics;
+import static liquidjava.diagnostics.Diagnostics.diagnostics;
 
 import java.lang.annotation.Annotation;
 import java.util.Arrays;

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

@@ -1,6 +1,6 @@
 package liquidjava.processor.refinement_checker;
 
-import static liquidjava.diagnostics.LJDiagnostics.diagnostics;
+import static liquidjava.diagnostics.Diagnostics.diagnostics;
 
 import java.lang.annotation.Annotation;
 import java.util.Arrays;

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

@@ -1,6 +1,6 @@
 package liquidjava.processor.refinement_checker;
 
-import static liquidjava.diagnostics.LJDiagnostics.diagnostics;
+import static liquidjava.diagnostics.Diagnostics.diagnostics;
 
 import java.util.ArrayList;
 import java.util.Arrays;

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/object_checkers/AuxHierarchyRefinememtsPassage.java

@@ -1,6 +1,6 @@
 package liquidjava.processor.refinement_checker.object_checkers;
 
-import static liquidjava.diagnostics.LJDiagnostics.diagnostics;
+import static liquidjava.diagnostics.Diagnostics.diagnostics;
 
 import java.util.HashMap;
 import java.util.List;