Rust: add ImplicitVariableAccess class

Author: aibaars

rust/ql/.generated.list

@@ -0,0 +1,38 @@
+/**
+ *  This module defines the hook used internally to tweak the characteristic predicate of
+ *  `ImplicitVariableAccess` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+
+private import codeql.rust.elements.internal.generated.Raw
+private import codeql.rust.elements.internal.generated.Synth
+private import codeql.rust.elements.FormatTemplate
+
+/**
+ *  The characteristic predicate of `ImplicitVariableAccess` synthesized instances.
+ *  INTERNAL: Do not use.
+ */
+predicate constructImplicitVariableAccess(Raw::FormatArgsExpr parent, int index, int kind) {
+  exists(NamedFormatArgument arg | unboundNamedFormatArgument(parent, index, kind, arg))
+}
+
+/**
+ * A named format argument for which no binding is found in the parent `FormatArgsExpr::getArg(_)`.
+ * INTERNAL: Do not use.
+ */
+predicate unboundNamedFormatArgument(
+  Raw::FormatArgsExpr parent, int index, int kind, NamedFormatArgument arg
+) {
+  exists(Format format, string name |
+    not parent.getArg(_).getName().getText() = name and
+    name = arg.getName() and
+    Synth::convertFormatArgsExprToRaw(format.getParent()) = parent and
+    format.getIndex() = index
+  |
+    arg = format.getArgumentRef() and kind = 0
+    or
+    arg = format.getWidthArgument() and kind = 1
+    or
+    arg = format.getPrecisionArgument() and kind = 2
+  )
+}

rust/ql/.gitattributes

@@ -0,0 +1,49 @@
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `ImplicitVariableAccess`.
+ *
+ * INTERNAL: Do not use.
+ */
+
+private import codeql.rust.elements.internal.generated.ImplicitVariableAccess
+private import codeql.rust.elements.internal.ImplicitVariableAccessConstructor
+private import codeql.rust.elements.internal.generated.Raw
+private import codeql.rust.elements.internal.generated.Synth
+private import codeql.rust.elements.FormatTemplate
+
+/**
+ * INTERNAL: This module contains the customizable definition of `ImplicitVariableAccess` and should not
+ * be referenced directly.
+ */
+module Impl {
+  class ImplicitVariableAccess extends Generated::ImplicitVariableAccess {
+    private NamedFormatArgument argument;
+
+    ImplicitVariableAccess() {
+      exists(Raw::FormatArgsExpr parent, int index, int kind |
+        this = Synth::TImplicitVariableAccess(parent, index, kind) and
+        unboundNamedFormatArgument(parent, index, kind, argument)
+      )
+    }
+
+    /**
+     * Holds if this element is at the specified location.
+     * The location spans column `startcolumn` of line `startline` to
+     * column `endcolumn` of line `endline` in file `filepath`.
+     * For more information, see
+     * [Providing locations in CodeQL queries](https://codeql.github.com/docs/writing-codeql-queries/providing-locations-in-codeql-queries/).
+     */
+    predicate hasLocationInfo(
+      string filepath, int startline, int startcolumn, int endline, int endcolumn
+    ) {
+      argument.hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)
+    }
+
+    override string toString() { result = this.getName() }
+
+    /** Gets the name of the variable */
+    string getName() { result = argument.getName() }
+
+    /** Gets the underlying `NamedFormatArgument` . */
+    NamedFormatArgument getArgument() { result = argument }
+  }
+}