Rust: rename {Implicit,FormatTemplate}VariableAccess

Author: aibaars

rust/ql/.generated.list

@@ -96,7 +96,7 @@ class FormatArgsExprTree extends StandardPostOrderTree, FormatArgsExpr {
     result = this.getArg(i).getExpr()
     or
     result =
-      any(ImplicitVariableAccess v, Format f, int index, int kind |
+      any(FormatTemplateVariableAccess v, Format f, int index, int kind |
         f = this.getFormat(index) and
         (
           v.getArgument() = f.getArgumentRef() and kind = 0
@@ -112,7 +112,7 @@ class FormatArgsExprTree extends StandardPostOrderTree, FormatArgsExpr {
   }
 }
 
-class ImplictVariableAccessTree extends LeafTree, ImplicitVariableAccess { }
+class FormatTemplateVariableAccessTree extends LeafTree, FormatTemplateVariableAccess { }
 
 class ItemTree extends LeafTree, Item {
   ItemTree() {

rust/ql/.gitattributes

@@ -1,6 +1,6 @@
 /**
  *  This module defines the hook used internally to tweak the characteristic predicate of
- *  `ImplicitVariableAccess` synthesized instances.
+ *  `FormatTemplateVariableAccess` synthesized instances.
  *  INTERNAL: Do not use.
  */
 
@@ -10,10 +10,10 @@ private import codeql.rust.elements.Format
 private import codeql.rust.elements.NamedFormatArgument
 
 /**
- *  The characteristic predicate of `ImplicitVariableAccess` synthesized instances.
+ *  The characteristic predicate of `FormatTemplateVariableAccess` synthesized instances.
  *  INTERNAL: Do not use.
  */
-predicate constructImplicitVariableAccess(Raw::FormatArgsExpr parent, int index, int kind) {
+predicate constructFormatTemplateVariableAccess(Raw::FormatArgsExpr parent, int index, int kind) {
   unboundNamedFormatArgument(parent, index, kind, _)
 }
 

rust/ql/lib/codeql/rust/controlflow/internal/ControlFlowGraphImpl.qll

@@ -1,27 +1,27 @@
 /**
- * This module provides a hand-modifiable wrapper around the generated class `ImplicitVariableAccess`.
+ * This module provides a hand-modifiable wrapper around the generated class `FormatTemplateVariableAccess`.
  *
  * 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.FormatTemplateVariableAccess
+private import codeql.rust.elements.internal.FormatTemplateVariableAccessConstructor
 private import codeql.rust.elements.internal.generated.Raw
 private import codeql.rust.elements.internal.generated.Synth
 private import codeql.rust.elements.Format
 private import codeql.rust.elements.NamedFormatArgument
 
 /**
- * INTERNAL: This module contains the customizable definition of `ImplicitVariableAccess` and should not
+ * INTERNAL: This module contains the customizable definition of `FormatTemplateVariableAccess` and should not
  * be referenced directly.
  */
 module Impl {
-  class ImplicitVariableAccess extends Generated::ImplicitVariableAccess {
+  class FormatTemplateVariableAccess extends Generated::FormatTemplateVariableAccess {
     private NamedFormatArgument argument;
 
-    ImplicitVariableAccess() {
+    FormatTemplateVariableAccess() {
       exists(Raw::FormatArgsExpr parent, int index, int kind |
-        this = Synth::TImplicitVariableAccess(parent, index, kind) and
+        this = Synth::TFormatTemplateVariableAccess(parent, index, kind) and
         unboundNamedFormatArgument(parent, index, kind, argument)
       )
     }