Rename errors Folder to diagnostics

rcosta358 · rcosta358 · commit 967849e7fc6a · 2025-11-05T10:32:32.000Z
diff --git a/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java b/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java
@@ -3,7 +3,8 @@
 import java.io.File;
 import java.util.Arrays;
 import java.util.List;
-import liquidjava.errors.ErrorEmitter;
+
+import liquidjava.diagnostics.ErrorEmitter;
 import liquidjava.processor.RefinementProcessor;
 import spoon.Launcher;
 import spoon.processing.ProcessingManager;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/ErrorEmitter.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/ErrorEmitter.java
@@ -1,4 +1,4 @@
-package liquidjava.errors;
+package liquidjava.diagnostics;
 
 import java.net.URI;
 import java.util.HashMap;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/ErrorHandler.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/ErrorHandler.java
@@ -1,4 +1,4 @@
-package liquidjava.errors;
+package liquidjava.diagnostics;
 
 import java.util.Formatter;
 import java.util.HashMap;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/ErrorPosition.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/ErrorPosition.java
@@ -1,4 +1,4 @@
-package liquidjava.errors;
+package liquidjava.diagnostics;
 
 import spoon.reflect.cu.SourcePosition;
 
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/LJDiagnostics.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/LJDiagnostics.java
@@ -1,10 +1,10 @@
-package liquidjava.errors;
+package liquidjava.diagnostics;
 
 import java.util.ArrayList;
 import java.util.HashMap;
 
-import liquidjava.errors.errors.LJError;
-import liquidjava.errors.warnings.LJWarning;
+import liquidjava.diagnostics.errors.LJError;
+import liquidjava.diagnostics.warnings.LJWarning;
 import liquidjava.processor.context.PlacementInCode;
 
 public class LJDiagnostics {
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/CustomError.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/CustomError.java
@@ -1,4 +1,4 @@
-package liquidjava.errors.errors;
+package liquidjava.diagnostics.errors;
 
 public class CustomError extends LJError {
 
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/GhostInvocationError.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/GhostInvocationError.java
@@ -1,4 +1,4 @@
-package liquidjava.errors.errors;
+package liquidjava.diagnostics.errors;
 
 import liquidjava.rj_language.Predicate;
 import spoon.reflect.declaration.CtElement;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/IllegalConstructorTransitionError.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/IllegalConstructorTransitionError.java
@@ -1,4 +1,4 @@
-package liquidjava.errors.errors;
+package liquidjava.diagnostics.errors;
 
 import spoon.reflect.declaration.CtElement;
 
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/InvalidRefinementError.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/InvalidRefinementError.java
@@ -1,4 +1,4 @@
-package liquidjava.errors.errors;
+package liquidjava.diagnostics.errors;
 
 import spoon.reflect.declaration.CtElement;
 
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/LJError.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/LJError.java
@@ -1,6 +1,6 @@
-package liquidjava.errors.errors;
+package liquidjava.diagnostics.errors;
 
-import liquidjava.errors.ErrorPosition;
+import liquidjava.diagnostics.ErrorPosition;
 import liquidjava.utils.Utils;
 import spoon.reflect.cu.SourcePosition;
 import spoon.reflect.declaration.CtElement;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/NotFoundError.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/NotFoundError.java
@@ -1,4 +1,4 @@
-package liquidjava.errors.errors;
+package liquidjava.diagnostics.errors;
 
 import spoon.reflect.declaration.CtElement;
 
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/RefinementError.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/RefinementError.java
@@ -1,4 +1,4 @@
-package liquidjava.errors.errors;
+package liquidjava.diagnostics.errors;
 
 import liquidjava.rj_language.Predicate;
 import liquidjava.rj_language.opt.derivation_node.ValDerivationNode;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/StateConflictError.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/StateConflictError.java
@@ -1,4 +1,4 @@
-package liquidjava.errors.errors;
+package liquidjava.diagnostics.errors;
 
 import liquidjava.rj_language.Predicate;
 import spoon.reflect.declaration.CtElement;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/StateRefinementError.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/StateRefinementError.java
@@ -1,4 +1,4 @@
-package liquidjava.errors.errors;
+package liquidjava.diagnostics.errors;
 
 import java.util.Arrays;
 
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/SyntaxError.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/SyntaxError.java
@@ -1,4 +1,4 @@
-package liquidjava.errors.errors;
+package liquidjava.diagnostics.errors;
 
 import spoon.reflect.declaration.CtElement;
 
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/warnings/ExternalClassNotFoundWarning.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/warnings/ExternalClassNotFoundWarning.java
@@ -1,4 +1,4 @@
-package liquidjava.errors.warnings;
+package liquidjava.diagnostics.warnings;
 
 import spoon.reflect.declaration.CtElement;
 
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/warnings/ExternalMethodNotFoundWarning.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/warnings/ExternalMethodNotFoundWarning.java
@@ -1,4 +1,4 @@
-package liquidjava.errors.warnings;
+package liquidjava.diagnostics.warnings;
 
 import spoon.reflect.declaration.CtElement;
 
diff --git a/liquidjava-verifier/src/main/java/liquidjava/diagnostics/warnings/LJWarning.java b/liquidjava-verifier/src/main/java/liquidjava/diagnostics/warnings/LJWarning.java
@@ -1,8 +1,8 @@
-package liquidjava.errors.warnings;
+package liquidjava.diagnostics.warnings;
 
 import java.net.URI;
 
-import liquidjava.errors.ErrorPosition;
+import liquidjava.diagnostics.ErrorPosition;
 import liquidjava.utils.Utils;
 import spoon.reflect.cu.SourcePosition;
 import spoon.reflect.declaration.CtElement;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/processor/RefinementProcessor.java b/liquidjava-verifier/src/main/java/liquidjava/processor/RefinementProcessor.java
@@ -2,7 +2,8 @@
 
 import java.util.ArrayList;
 import java.util.List;
-import liquidjava.errors.ErrorEmitter;
+
+import liquidjava.diagnostics.ErrorEmitter;
 import liquidjava.processor.ann_generation.FieldGhostsGeneration;
 import liquidjava.processor.context.Context;
 import liquidjava.processor.refinement_checker.ExternalRefinementTypeChecker;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/processor/ann_generation/FieldGhostsGeneration.java b/liquidjava-verifier/src/main/java/liquidjava/processor/ann_generation/FieldGhostsGeneration.java
@@ -1,6 +1,6 @@
 package liquidjava.processor.ann_generation;
 
-import liquidjava.errors.ErrorEmitter;
+import liquidjava.diagnostics.ErrorEmitter;
 import liquidjava.processor.context.Context;
 import liquidjava.specification.Ghost;
 import spoon.reflect.declaration.*;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/processor/context/AliasWrapper.java b/liquidjava-verifier/src/main/java/liquidjava/processor/context/AliasWrapper.java
@@ -4,7 +4,8 @@
 import java.util.HashMap;
 import java.util.List;
 import java.util.Map;
-import liquidjava.errors.ErrorEmitter;
+
+import liquidjava.diagnostics.ErrorEmitter;
 import liquidjava.processor.facade.AliasDTO;
 import liquidjava.rj_language.Predicate;
 import liquidjava.rj_language.ast.Expression;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/ExternalRefinementTypeChecker.java b/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/ExternalRefinementTypeChecker.java
@@ -3,8 +3,9 @@
 import java.util.Arrays;
 import java.util.List;
 import java.util.Optional;
-import liquidjava.errors.ErrorEmitter;
-import liquidjava.errors.ErrorHandler;
+
+import liquidjava.diagnostics.ErrorEmitter;
+import liquidjava.diagnostics.ErrorHandler;
 import liquidjava.processor.context.Context;
 import liquidjava.processor.context.GhostFunction;
 import liquidjava.processor.facade.GhostDTO;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/MethodsFirstChecker.java b/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/MethodsFirstChecker.java
@@ -2,7 +2,8 @@
 
 import java.util.ArrayList;
 import java.util.List;
-import liquidjava.errors.ErrorEmitter;
+
+import liquidjava.diagnostics.ErrorEmitter;
 import liquidjava.processor.context.Context;
 import liquidjava.processor.refinement_checker.general_checkers.MethodsFunctionsChecker;
 import liquidjava.rj_language.parsing.ParsingException;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/RefinementTypeChecker.java b/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/RefinementTypeChecker.java
@@ -4,7 +4,8 @@
 import java.util.Arrays;
 import java.util.List;
 import java.util.Optional;
-import liquidjava.errors.ErrorEmitter;
+
+import liquidjava.diagnostics.ErrorEmitter;
 import liquidjava.processor.context.*;
 import liquidjava.processor.refinement_checker.general_checkers.MethodsFunctionsChecker;
 import liquidjava.processor.refinement_checker.general_checkers.OperationsChecker;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/TypeChecker.java b/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/TypeChecker.java
@@ -4,8 +4,9 @@
 import java.util.Arrays;
 import java.util.List;
 import java.util.Optional;
-import liquidjava.errors.ErrorEmitter;
-import liquidjava.errors.ErrorHandler;
+
+import liquidjava.diagnostics.ErrorEmitter;
+import liquidjava.diagnostics.ErrorHandler;
 import liquidjava.processor.context.AliasWrapper;
 import liquidjava.processor.context.Context;
 import liquidjava.processor.context.GhostFunction;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/VCChecker.java b/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/VCChecker.java
@@ -8,8 +8,9 @@
 import java.util.function.Consumer;
 import java.util.regex.Pattern;
 import java.util.stream.Collectors;
-import liquidjava.errors.ErrorEmitter;
-import liquidjava.errors.ErrorHandler;
+
+import liquidjava.diagnostics.ErrorEmitter;
+import liquidjava.diagnostics.ErrorHandler;
 import liquidjava.processor.VCImplication;
 import liquidjava.processor.context.*;
 import liquidjava.rj_language.Predicate;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/object_checkers/AuxStateHandler.java b/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/object_checkers/AuxStateHandler.java
@@ -3,7 +3,8 @@
 import java.lang.annotation.Annotation;
 import java.util.*;
 import java.util.stream.Collectors;
-import liquidjava.errors.ErrorHandler;
+
+import liquidjava.diagnostics.ErrorHandler;
 import liquidjava.processor.context.*;
 import liquidjava.processor.refinement_checker.TypeChecker;
 import liquidjava.processor.refinement_checker.TypeCheckingUtils;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/rj_language/BuiltinFunctionPredicate.java b/liquidjava-verifier/src/main/java/liquidjava/rj_language/BuiltinFunctionPredicate.java
@@ -1,6 +1,6 @@
 package liquidjava.rj_language;
 
-import liquidjava.errors.ErrorEmitter;
+import liquidjava.diagnostics.ErrorEmitter;
 import liquidjava.rj_language.parsing.ParsingException;
 import spoon.reflect.declaration.CtElement;
 
diff --git a/liquidjava-verifier/src/main/java/liquidjava/rj_language/Predicate.java b/liquidjava-verifier/src/main/java/liquidjava/rj_language/Predicate.java
@@ -5,8 +5,9 @@
 import java.util.List;
 import java.util.Map;
 import java.util.stream.Collectors;
-import liquidjava.errors.ErrorEmitter;
-import liquidjava.errors.ErrorHandler;
+
+import liquidjava.diagnostics.ErrorEmitter;
+import liquidjava.diagnostics.ErrorHandler;
 import liquidjava.processor.context.AliasWrapper;
 import liquidjava.processor.context.Context;
 import liquidjava.processor.context.GhostState;
diff --git a/liquidjava-verifier/src/test/java/liquidjava/api/tests/TestExamples.java b/liquidjava-verifier/src/test/java/liquidjava/api/tests/TestExamples.java
@@ -8,7 +8,7 @@
 import java.nio.file.Paths;
 import java.util.stream.Stream;
 import liquidjava.api.CommandLineLauncher;
-import liquidjava.errors.ErrorEmitter;
+import liquidjava.diagnostics.ErrorEmitter;
 
 import org.junit.Test;
 import org.junit.jupiter.params.ParameterizedTest;

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-package liquidjava.errors;`
	`1`	`+package liquidjava.diagnostics;`
`2`	`2`
`3`	`3`	`import java.net.URI;`
`4`	`4`	`import java.util.HashMap;`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-package liquidjava.errors.errors;`
	`1`	`+package liquidjava.diagnostics.errors;`
`2`	`2`
`3`	`3`	`public class CustomError extends LJError {`
`4`	`4`