Remove unused declaration in LKQL JIT sources

Author: HugoGGuerrier

lkql_jit/language/src/main/java/com/adacore/lkql_jit/LKQLContext.java

@@ -143,15 +143,10 @@ public final class LKQLContext {
     @CompilerDirectives.CompilationFinal(dimensions = 1)
     private Libadalang.ScenarioVariable[] scenarioVars = null;
 
-    private Boolean useAutoProvider = null;
-
     /** The ada files passed through the command line. */
     @CompilerDirectives.CompilationFinal(dimensions = 1)
     private String[] files = null;
 
-    /** The error printing mode. */
-    @CompilerDirectives.CompilationFinal private String errorMode = null;
-
     /** Whether the checker is in debug mode. */
     @CompilerDirectives.CompilationFinal private Boolean checkerDebug = null;
 
@@ -343,18 +338,6 @@ public boolean isCheckerDebug() {
         return this.checkerDebug;
     }
 
-    /**
-     * Get the error handling mode.
-     *
-     * @return The mode in a string.
-     */
-    public String getErrorMode() {
-        if (this.errorMode == null) {
-            this.errorMode = this.env.getOptions().get(LKQLLanguage.errorMode);
-        }
-        return this.errorMode;
-    }
-
     /**
      * Get the directories to get the rules from.
      *
@@ -395,7 +378,6 @@ private void invalidateOptionCaches() {
         this.isVerbose = null;
         this.projectFile = null;
         this.files = null;
-        this.errorMode = null;
         this.ruleInstances = null;
         this.instancesArgsCache = new HashMap<>();
         this.ruleDirectories = null;

lkql_jit/language/src/main/java/com/adacore/lkql_jit/built_ins/BuiltInSelectorValue.java

@@ -7,7 +7,6 @@
 
 import com.adacore.lkql_jit.built_ins.functions.*;
 import com.adacore.lkql_jit.built_ins.methods.*;
-import com.adacore.lkql_jit.built_ins.selectors.*;
 import com.adacore.lkql_jit.checker.built_ins.NodeCheckerFunction;
 import com.adacore.lkql_jit.checker.built_ins.UnitCheckerFunction;
 import com.adacore.lkql_jit.utils.LKQLTypesHelper;

lkql_jit/language/src/main/java/com/adacore/lkql_jit/built_ins/BuiltInsHolder.java

@@ -102,42 +102,10 @@ public String getMessage() {
         return message;
     }
 
-    public String getHelp() {
-        return help;
-    }
-
     public boolean isFollowGenericInstantiations() {
         return followGenericInstantiations;
     }
 
-    public String getCategory() {
-        return category;
-    }
-
-    public String getSubcategory() {
-        return subcategory;
-    }
-
-    public Remediation getRemediation() {
-        return remediation;
-    }
-
-    public long getExecutionCost() {
-        return executionCost;
-    }
-
-    public boolean isParametricExemption() {
-        return parametricExemption;
-    }
-
-    public String getImpact() {
-        return impact;
-    }
-
-    public String getTarget() {
-        return target;
-    }
-
     // ----- Setters -----
 
     public void setAlias(String alias) {

lkql_jit/language/src/main/java/com/adacore/lkql_jit/built_ins/selectors/BuiltInSelector.java

@@ -114,12 +114,6 @@ public static LKQLRuntimeException ignoredExpressionReturn(Node location) {
                 "Can't ignore the return value of an expr in a block expr", location);
     }
 
-    /** Create a new exception when a key appears many times in the same object literal. */
-    public static LKQLRuntimeException multipleSameNameKeys(String key, Node location) {
-        return LKQLRuntimeException.fromMessage(
-                "Multiple keys with the same name in the object: \"" + key + "\"", location);
-    }
-
     // --- Symbol exception
 
     /**

lkql_jit/language/src/main/java/com/adacore/lkql_jit/checker/BaseChecker.java

@@ -20,9 +20,6 @@ public final class LangkitException extends AbstractTruffleException {
 
     @Serial private static final long serialVersionUID = 1755847711876252095L;
 
-    /** Kind of the Langkit exception. */
-    private final String kind;
-
     /** Message of the exception. */
     private final String msg;
 
@@ -34,22 +31,16 @@ public final class LangkitException extends AbstractTruffleException {
     /**
      * Create a new Langkit exception.
      *
-     * @param kind The kind of the exception.
      * @param msg The message of the exception.
      * @param location The location of the exception.
      */
-    public LangkitException(String kind, String msg, SourceSection location) {
-        this.kind = kind;
+    public LangkitException(String msg, SourceSection location) {
         this.msg = msg;
         this.location = location;
     }
 
     // ----- Getters -----
 
-    public String getKind() {
-        return this.kind;
-    }
-
     public String getMsg() {
         return this.msg;
     }

lkql_jit/language/src/main/java/com/adacore/lkql_jit/exception/LKQLRuntimeException.java

@@ -56,12 +56,6 @@ public ScriptFrames(
         this.current = null;
     }
 
-    // ----- Getters -----
-
-    public AbstractNodeFrame getCurrent() {
-        return this.current;
-    }
-
     // ----- Instance methods -----
 
     // --- Frame methods

lkql_jit/language/src/main/java/com/adacore/lkql_jit/exception/LangkitException.java

@@ -38,12 +38,6 @@ public ScriptFramesBuilder() {
         this.current = null;
     }
 
-    // ----- Getters -----
-
-    public NodeFrameBuilder getCurrent() {
-        return this.current;
-    }
-
     // ----- Instance methods -----
 
     // --- Frame methods
@@ -253,7 +247,6 @@ public ScriptFrames.AbstractNodeFrame build(final ScriptFrames.AbstractNodeFrame
                             : new ScriptFrames.NodeFrame(this.node, parent);
 
             // Add all bindings to the node frame
-            final boolean saveNames = this.node instanceof Liblkqllang.TopLevelList;
             for (String binding : this.bindings) {
                 res.addBinding(binding);
             }

lkql_jit/language/src/main/java/com/adacore/lkql_jit/langkit_translator/passes/framing_utils/ScriptFrames.java

@@ -50,16 +50,6 @@ public SelectorArm(SourceSection location, BasePattern pattern, Expr expr) {
         this.expr = expr;
     }
 
-    // ----- Getters -----
-
-    public BasePattern getPattern() {
-        return pattern;
-    }
-
-    public Expr getExpr() {
-        return expr;
-    }
-
     // ----- Execution methods -----
 
     /**

lkql_jit/language/src/main/java/com/adacore/lkql_jit/langkit_translator/passes/framing_utils/ScriptFramesBuilder.java

@@ -41,13 +41,6 @@ public final class FunExpr extends Expr {
     /** The default values of the parameters. */
     private final Expr[] parameterValues;
 
-    // ----- Children -----
-
-    /** The body of the function. */
-    @Child
-    @SuppressWarnings("FieldMayBeFinal")
-    private Expr body;
-
     // ----- Constructors -----
 
     /**
@@ -72,7 +65,6 @@ public FunExpr(
                 new FunctionRootNode(LKQLLanguage.getLanguage(this), frameDescriptor, false, body);
         this.parameterNames = new String[parameters.length];
         this.parameterValues = new Expr[parameters.length];
-        this.body = body;
         this.documentation = documentation;
 
         this.initParams(parameters);

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/declarations/selector/SelectorArm.java

@@ -55,18 +55,10 @@ public ComprehensionAssoc(SourceSection location, String name, int slot, Expr co
 
     // ----- Getters -----
 
-    public String getName() {
-        return name;
-    }
-
     public int getSlot() {
         return slot;
     }
 
-    public Expr getCollection() {
-        return collection;
-    }
-
     // ----- Execution methods -----
 
     /**