Annotate all purposely unused declarations

Author: HugoGGuerrier

lkql_jit/language/src/main/java/com/adacore/lkql_jit/built_ins/functions/DocumentBuiltins.java

@@ -20,7 +20,9 @@ public class DocumentBuiltins {
     public static final String NAME = "document_builtins";
 
     @CompilerDirectives.TruffleBoundary
-    public static String documentBuiltinsImpl(MaterializedFrame frame, FunCall call) {
+    public static String documentBuiltinsImpl(
+            @SuppressWarnings("unused") MaterializedFrame frame,
+            @SuppressWarnings("unused") FunCall call) {
         var sw = new StringWriter();
         try (TextWriter writer = new TextWriter(sw)) {
             writer.write("Standard library\n");

lkql_jit/language/src/main/java/com/adacore/lkql_jit/built_ins/values/LKQLFunction.java

@@ -148,7 +148,7 @@ public static class Execute {
         /** Execute the function with the cached strategy. */
         @Specialization(guards = "function.getCallTarget() == directCallNode.getCallTarget()")
         protected static Object doCached(
-                final LKQLFunction function,
+                @SuppressWarnings("unused") final LKQLFunction function,
                 final Object[] arguments,
                 @Cached("create(function.getCallTarget())") DirectCallNode directCallNode) {
             return directCallNode.call(arguments);

lkql_jit/language/src/main/java/com/adacore/lkql_jit/built_ins/values/LKQLProperty.java

@@ -141,7 +141,7 @@ public boolean isExecutable() {
 
     /** Placeholder function for the Truffle DSL. */
     @ExportMessage
-    public Object execute(Object[] arguments)
+    public Object execute(@SuppressWarnings("unused") Object[] arguments)
             throws UnsupportedTypeException, ArityException, UnsupportedMessageException {
         // TODO (issue #143): implement this method to execute the property as a simple function
         return null;

lkql_jit/language/src/main/java/com/adacore/lkql_jit/built_ins/values/LKQLSelector.java

@@ -118,7 +118,7 @@ public boolean isExecutable() {
 
     /** Placeholder function for the Truffle DSL. */
     @ExportMessage
-    public Object execute(Object[] arguments)
+    public Object execute(@SuppressWarnings("unused") Object[] arguments)
             throws UnsupportedTypeException, ArityException, UnsupportedMessageException {
         // TODO (issue #143): implement this method to execute the selector as a simple function
         // returning a selector list

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/dispatchers/ListComprehensionDispatcher.java

@@ -40,7 +40,7 @@ public abstract class ListComprehensionDispatcher extends Node {
      */
     @Specialization(guards = "rootNode.getRealCallTarget() == directCallNode.getCallTarget()")
     protected static Object executeCached(
-            ListComprehensionRootNode rootNode,
+            @SuppressWarnings("unused") ListComprehensionRootNode rootNode,
             Object[] arguments,
             @Cached("create(rootNode.getRealCallTarget())") DirectCallNode directCallNode) {
         return directCallNode.call(arguments);

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/dispatchers/SelectorDispatcher.java

@@ -36,7 +36,7 @@ public abstract LKQLRecValue executeDispatch(
      */
     @Specialization(guards = "rootNode.getRealCallTarget() == directCallNode.getCallTarget()")
     protected static LKQLRecValue executeCached(
-            SelectorRootNode rootNode,
+            @SuppressWarnings("unused") SelectorRootNode rootNode,
             Cell[] closure,
             LKQLDepthValue node,
             @Cached("create(rootNode.getRealCallTarget())") DirectCallNode directCallNode) {

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/expressions/Expr.java

@@ -47,6 +47,7 @@ protected Expr(SourceSection location) {
      * @return The result of the node execution as unit.
      * @throws UnexpectedResultException If the node cannot be evaluated as a unit value.
      */
+    @SuppressWarnings("unused")
     public LKQLUnit executeUnit(VirtualFrame frame) throws UnexpectedResultException {
         return LKQLTypeSystemGen.expectLKQLUnit(executeGeneric(frame));
     }
@@ -58,6 +59,7 @@ public LKQLUnit executeUnit(VirtualFrame frame) throws UnexpectedResultException
      * @return The result of the node execution as nullish.
      * @throws UnexpectedResultException If the node cannot be evaluated as a nullish value.
      */
+    @SuppressWarnings("unused")
     public Nullish executeNullish(VirtualFrame frame) throws UnexpectedResultException {
         return LKQLTypeSystemGen.expectNullish(executeGeneric(frame));
     }
@@ -69,6 +71,7 @@ public Nullish executeNullish(VirtualFrame frame) throws UnexpectedResultExcepti
      * @return The result of the node execution as a boolean.
      * @throws UnexpectedResultException If the node cannot be evaluated as a boolean.
      */
+    @SuppressWarnings("unused")
     public boolean executeBoolean(VirtualFrame frame) throws UnexpectedResultException {
         return LKQLTypeSystemGen.expectBoolean(executeGeneric(frame));
     }
@@ -80,6 +83,7 @@ public boolean executeBoolean(VirtualFrame frame) throws UnexpectedResultExcepti
      * @return The result of the node execution as a long.
      * @throws UnexpectedResultException If the node cannot be evaluated as a long.
      */
+    @SuppressWarnings("unused")
     public long executeLong(VirtualFrame frame) throws UnexpectedResultException {
         return LKQLTypeSystemGen.expectLong(executeGeneric(frame));
     }
@@ -91,6 +95,7 @@ public long executeLong(VirtualFrame frame) throws UnexpectedResultException {
      * @return The result of the node execution as a big integer.
      * @throws UnexpectedResultException If the node cannot be evaluated as a big integer.
      */
+    @SuppressWarnings("unused")
     public BigInteger executeBigInteger(VirtualFrame frame) throws UnexpectedResultException {
         return LKQLTypeSystemGen.expectBigInteger(executeGeneric(frame));
     }
@@ -102,6 +107,7 @@ public BigInteger executeBigInteger(VirtualFrame frame) throws UnexpectedResultE
      * @return The result of the node execution as a string.
      * @throws UnexpectedResultException If the node cannot be evaluated as a string.
      */
+    @SuppressWarnings("unused")
     public String executeString(VirtualFrame frame) throws UnexpectedResultException {
         return LKQLTypeSystemGen.expectString(executeGeneric(frame));
     }
@@ -113,6 +119,7 @@ public String executeString(VirtualFrame frame) throws UnexpectedResultException
      * @return The result of the node execution as a function value.
      * @throws UnexpectedResultException If the node cannot be evaluated as a function.
      */
+    @SuppressWarnings("unused")
     public LKQLFunction executeFunction(VirtualFrame frame) throws UnexpectedResultException {
         return LKQLTypeSystemGen.expectLKQLFunction(executeGeneric(frame));
     }
@@ -124,6 +131,7 @@ public LKQLFunction executeFunction(VirtualFrame frame) throws UnexpectedResultE
      * @return The result of the node execution as a property reference value.
      * @throws UnexpectedResultException If the node cannot be evaluated as a property reference.
      */
+    @SuppressWarnings("unused")
     public LKQLProperty executeProperty(VirtualFrame frame) throws UnexpectedResultException {
         return LKQLTypeSystemGen.expectLKQLProperty(executeGeneric(frame));
     }
@@ -135,6 +143,7 @@ public LKQLProperty executeProperty(VirtualFrame frame) throws UnexpectedResultE
      * @return The result of the node execution as a selector value.
      * @throws UnexpectedResultException If the node cannot be evaluated as a selector.
      */
+    @SuppressWarnings("unused")
     public LKQLSelector executeSelector(VirtualFrame frame) throws UnexpectedResultException {
         return LKQLTypeSystemGen.expectLKQLSelector(executeGeneric(frame));
     }
@@ -146,6 +155,7 @@ public LKQLSelector executeSelector(VirtualFrame frame) throws UnexpectedResultE
      * @return The result of the node execution as a tuple value.
      * @throws UnexpectedResultException If the node cannot be evaluated as a tuple.
      */
+    @SuppressWarnings("unused")
     public LKQLTuple executeTuple(VirtualFrame frame) throws UnexpectedResultException {
         return LKQLTypeSystemGen.expectLKQLTuple(executeGeneric(frame));
     }
@@ -157,6 +167,7 @@ public LKQLTuple executeTuple(VirtualFrame frame) throws UnexpectedResultExcepti
      * @return The result of the node execution as a list value.
      * @throws UnexpectedResultException If the node cannot be evaluated as a list.
      */
+    @SuppressWarnings("unused")
     public LKQLList executeList(VirtualFrame frame) throws UnexpectedResultException {
         return LKQLTypeSystemGen.expectLKQLList(executeGeneric(frame));
     }
@@ -168,6 +179,7 @@ public LKQLList executeList(VirtualFrame frame) throws UnexpectedResultException
      * @return The result of the node execution as a lazy list value.
      * @throws UnexpectedResultException If the node cannot be evaluated as a lazy list.
      */
+    @SuppressWarnings("unused")
     public LKQLLazyList executeLazyList(VirtualFrame frame) throws UnexpectedResultException {
         return LKQLTypeSystemGen.expectLKQLLazyList(executeGeneric(frame));
     }
@@ -179,6 +191,7 @@ public LKQLLazyList executeLazyList(VirtualFrame frame) throws UnexpectedResultE
      * @return The result of the node execution as an indexable value.
      * @throws UnexpectedResultException If the node cannot be evaluated as an indexable.
      */
+    @SuppressWarnings("unused")
     public Indexable executeIndexable(VirtualFrame frame) throws UnexpectedResultException {
         return LKQLTypeSystemGen.expectIndexable(executeGeneric(frame));
     }
@@ -190,6 +203,7 @@ public Indexable executeIndexable(VirtualFrame frame) throws UnexpectedResultExc
      * @return The result of the node execution as an iterable value.
      * @throws UnexpectedResultException If the node cannot be evaluated as an iterable.
      */
+    @SuppressWarnings("unused")
     public Iterable executeIterable(VirtualFrame frame) throws UnexpectedResultException {
         return LKQLTypeSystemGen.expectIterable(executeGeneric(frame));
     }
@@ -201,6 +215,7 @@ public Iterable executeIterable(VirtualFrame frame) throws UnexpectedResultExcep
      * @return The result of the node execution as an object value.
      * @throws UnexpectedResultException If the node cannot be evaluated as an object.
      */
+    @SuppressWarnings("unused")
     public LKQLObject executeObject(VirtualFrame frame) throws UnexpectedResultException {
         return LKQLTypeSystemGen.expectLKQLObject(executeGeneric(frame));
     }
@@ -212,6 +227,7 @@ public LKQLObject executeObject(VirtualFrame frame) throws UnexpectedResultExcep
      * @return The result of the node execution as a namespace value.
      * @throws UnexpectedResultException If the node cannot be evaluated as a namespace.
      */
+    @SuppressWarnings("unused")
     public LKQLNamespace executeNamespace(VirtualFrame frame) throws UnexpectedResultException {
         return LKQLTypeSystemGen.expectLKQLNamespace(executeGeneric(frame));
     }
@@ -223,6 +239,7 @@ public LKQLNamespace executeNamespace(VirtualFrame frame) throws UnexpectedResul
      * @return The result of the node execution as a lkql value.
      * @throws UnexpectedResultException If the node cannot be evaluated as a lkql value.
      */
+    @SuppressWarnings("unused")
     public LKQLValue executeValue(VirtualFrame frame) throws UnexpectedResultException {
         return LKQLTypeSystemGen.expectLKQLValue(executeGeneric(frame));
     }
@@ -234,6 +251,7 @@ public LKQLValue executeValue(VirtualFrame frame) throws UnexpectedResultExcepti
      * @return The result of the node execution as an ada node.
      * @throws UnexpectedResultException If the node cannot be evaluated as an ada node.
      */
+    @SuppressWarnings("unused")
     public Libadalang.AdaNode executeNode(VirtualFrame frame) throws UnexpectedResultException {
         return LKQLTypeSystemGen.expectAdaNode(executeGeneric(frame));
     }

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/expressions/dot/DotAccess.java

@@ -126,7 +126,7 @@ protected Object onNamespace(
             },
             limit = "1")
     protected Object onNodeCached(
-            Libadalang.AdaNode receiver,
+            @SuppressWarnings("unused") Libadalang.AdaNode receiver,
             @Cached("create(member.getName(), receiver)") LKQLProperty property,
             @Cached("property.isField()") boolean isField) {
         // If the method is a field

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/expressions/dot/SafeDotAccess.java

@@ -74,7 +74,7 @@ protected SafeDotAccess(SourceSection location, Identifier member) {
             },
             limit = "1")
     protected Object onNodeCached(
-            Libadalang.AdaNode receiver,
+            @SuppressWarnings("unused") Libadalang.AdaNode receiver,
             @Cached("create(member.getName(), receiver)") LKQLProperty property,
             @Cached("property.isField()") boolean isField) {
         // If the method is a field

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/patterns/BoolPattern.java

@@ -21,12 +21,14 @@ protected BoolPattern(SourceSection location, boolean toMatch) {
     }
 
     @Specialization
-    public boolean onBool(VirtualFrame frame, boolean val) {
+    public boolean onBool(@SuppressWarnings("unused") VirtualFrame frame, boolean val) {
         return val == toMatch;
     }
 
     @Fallback
-    public boolean onOther(VirtualFrame frame, Object other) {
+    public boolean onOther(
+            @SuppressWarnings("unused") VirtualFrame frame,
+            @SuppressWarnings("unused") Object other) {
         return false;
     }
 

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/patterns/IntegerPattern.java

@@ -20,12 +20,14 @@ public IntegerPattern(SourceSection loc, long toMatch) {
     }
 
     @Specialization
-    public boolean onInt(VirtualFrame frame, long val) {
+    public boolean onInt(@SuppressWarnings("unused") VirtualFrame frame, long val) {
         return val == toMatch;
     }
 
     @Fallback
-    public boolean onOther(VirtualFrame frame, Object other) {
+    public boolean onOther(
+            @SuppressWarnings("unused") VirtualFrame frame,
+            @SuppressWarnings("unused") Object other) {
         return false;
     }
 

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/patterns/ListPattern.java

@@ -51,7 +51,9 @@ else if (!pattern.executeValue(frame, list.get(i))) {
     }
 
     @Fallback
-    public boolean onOther(VirtualFrame frame, Object other) {
+    public boolean onOther(
+            @SuppressWarnings("unused") VirtualFrame frame,
+            @SuppressWarnings("unused") Object other) {
         return false;
     }
 

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/patterns/ObjectPattern.java

@@ -100,7 +100,9 @@ public boolean onObject(
     }
 
     @Fallback
-    public boolean onOther(VirtualFrame frame, Object other) {
+    public boolean onOther(
+            @SuppressWarnings("unused") VirtualFrame frame,
+            @SuppressWarnings("unused") Object other) {
         return false;
     }
 }

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/patterns/RegexPattern.java

@@ -39,17 +39,20 @@ public RegexPattern(SourceSection location, String regex) {
     }
 
     @Specialization
-    public boolean onAdaNode(VirtualFrame frame, Libadalang.AdaNode node) {
+    public boolean onAdaNode(
+            @SuppressWarnings("unused") VirtualFrame frame, Libadalang.AdaNode node) {
         return node != LKQLNull.INSTANCE && this.pattern.contains(node.getText());
     }
 
     @Specialization
-    public boolean onString(VirtualFrame frame, String value) {
+    public boolean onString(@SuppressWarnings("unused") VirtualFrame frame, String value) {
         return pattern.contains(value);
     }
 
     @Fallback
-    public boolean onOther(VirtualFrame frame, Object other) {
+    public boolean onOther(
+            @SuppressWarnings("unused") VirtualFrame frame,
+            @SuppressWarnings("unused") Object other) {
         return false;
     }
 

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/patterns/TuplePattern.java

@@ -38,7 +38,9 @@ public boolean onTuple(VirtualFrame frame, LKQLTuple tuple) {
     }
 
     @Fallback
-    public boolean onOther(VirtualFrame frame, Object other) {
+    public boolean onOther(
+            @SuppressWarnings("unused") VirtualFrame frame,
+            @SuppressWarnings("unused") Object other) {
         return false;
     }