Renaming

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/processor/context/ContextHistory.java

@@ -77,7 +77,7 @@ private String getFile(CtElement element) {
 
     public String getScopePosition(CtElement element) {
         CtElement startElement = element instanceof CtParameter<?> ? element.getParent() : element;
-        SourcePosition annPosition = Utils.getFirstAnnotationPosition(startElement);
+        SourcePosition annPosition = Utils.getFirstLJAnnotationPosition(startElement);
         SourcePosition pos = element.getPosition();
         return String.format("%d:%d-%d:%d", annPosition.getLine(), annPosition.getColumn() + 1, pos.getEndLine(),
                 pos.getEndColumn());

liquidjava-verifier/src/main/java/liquidjava/processor/context/RefinedVariable.java

@@ -42,7 +42,7 @@ public void addSuperTypes(CtTypeReference<?> ts, Set<CtTypeReference<?>> sts) {
 
     public void addPlacementInCode(CtElement element) {
         placementInCode = PlacementInCode.createPlacement(element);
-        annPosition = Utils.getFirstAnnotationPosition(element);
+        annPosition = Utils.getFirstLJAnnotationPosition(element);
     }
 
     public void addPlacementInCode(PlacementInCode placement) {

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

@@ -256,7 +256,7 @@ protected void handleAlias(String ref, CtElement element) throws LJError {
             }
         } catch (LJError e) {
             // add location info to error
-            SourcePosition pos = Utils.getAnnotationPosition(element, ref);
+            SourcePosition pos = Utils.getLJAnnotationPosition(element, ref);
             e.setPosition(pos);
             throw e;
         }

liquidjava-verifier/src/main/java/liquidjava/rj_language/Predicate.java

@@ -88,7 +88,7 @@ protected Expression parse(String ref, CtElement element) throws LJError {
             return RefinementsParser.createAST(ref, prefix);
         } catch (LJError e) {
             // add location info to error
-            SourcePosition pos = Utils.getAnnotationPosition(element, ref);
+            SourcePosition pos = Utils.getLJAnnotationPosition(element, ref);
             e.setPosition(pos);
             throw e;
         }

liquidjava-verifier/src/main/java/liquidjava/utils/Utils.java

@@ -38,13 +38,13 @@ public static String qualifyName(String prefix, String name) {
         return String.format("%s.%s", prefix, name);
     }
 
-    public static SourcePosition getAnnotationPosition(CtElement element, String refinement) {
+    public static SourcePosition getLJAnnotationPosition(CtElement element, String refinement) {
         return element.getAnnotations().stream()
                 .filter(a -> isLiquidJavaAnnotation(a) && hasRefinementValue(a, "\"" + refinement + "\"")).findFirst()
                 .map(CtElement::getPosition).orElse(element.getPosition());
     }
 
-    public static SourcePosition getFirstAnnotationPosition(CtElement element) {
+    public static SourcePosition getFirstLJAnnotationPosition(CtElement element) {
         return element.getAnnotations().stream().filter(Utils::isLiquidJavaAnnotation).map(CtElement::getPosition)
                 .min((p1, p2) -> {
                     if (p1.getLine() != p2.getLine())