Rust: Avoid path resolution in Element.toString

rust/ql/lib/codeql/rust/elements/internal/AbiImpl.qll

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `Abi`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.Abi
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * An ABI specification for an extern function or block.
    *
@@ -21,5 +21,7 @@ module Impl {
    * //     ^^^
    * ```
    */
-  class Abi extends Generated::Abi { }
+  class Abi extends Generated::Abi {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/ArgListImpl.qll

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `ArgList`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.ArgList
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * A list of arguments in a function or method call.
    *
@@ -21,5 +21,7 @@ module Impl {
    * // ^^^^^^^^^
    * ```
    */
-  class ArgList extends Generated::ArgList { }
+  class ArgList extends Generated::ArgList {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/ArrayExprInternalImpl.qll

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `ArrayExprInternal`.
  *
@@ -12,5 +11,7 @@ private import codeql.rust.elements.internal.generated.ArrayExprInternal
  * be referenced directly.
  */
 module Impl {
-  class ArrayExprInternal extends Generated::ArrayExprInternal { }
+  class ArrayExprInternal extends Generated::ArrayExprInternal {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/ArrayTypeReprImpl.qll

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `ArrayTypeRepr`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.ArrayTypeRepr
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * An array type representation.
    *
@@ -21,5 +21,7 @@ module Impl {
    * //       ^^^^^^^^
    * ```
    */
-  class ArrayTypeRepr extends Generated::ArrayTypeRepr { }
+  class ArrayTypeRepr extends Generated::ArrayTypeRepr {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/AsmClobberAbiImpl.qll

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `AsmClobberAbi`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.AsmClobberAbi
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * A clobbered ABI in an inline assembly block.
    *
@@ -22,5 +22,7 @@ module Impl {
    * //       ^^^^^^^^^^^^^^^^
    * ```
    */
-  class AsmClobberAbi extends Generated::AsmClobberAbi { }
+  class AsmClobberAbi extends Generated::AsmClobberAbi {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/AsmConstImpl.qll

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `AsmConst`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.AsmConst
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * A constant operand in an inline assembly block.
    *
@@ -22,5 +22,7 @@ module Impl {
    * //                       ^^^^^^^
    * ```
    */
-  class AsmConst extends Generated::AsmConst { }
+  class AsmConst extends Generated::AsmConst {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/AsmDirSpecImpl.qll

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `AsmDirSpec`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.AsmDirSpec
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * An inline assembly direction specifier.
    *
@@ -22,5 +22,7 @@ module Impl {
    * //                                        ^^^                 ^^
    * ```
    */
-  class AsmDirSpec extends Generated::AsmDirSpec { }
+  class AsmDirSpec extends Generated::AsmDirSpec {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/AsmExprImpl.qll

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `AsmExpr`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.AsmExpr
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * An inline assembly expression. For example:
    * ```rust
@@ -21,5 +21,7 @@ module Impl {
    * }
    * ```
    */
-  class AsmExpr extends Generated::AsmExpr { }
+  class AsmExpr extends Generated::AsmExpr {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/AsmLabelImpl.qll

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `AsmLabel`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.AsmLabel
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * A label in an inline assembly block.
    *
@@ -25,5 +25,7 @@ module Impl {
    * );
    * ```
    */
-  class AsmLabel extends Generated::AsmLabel { }
+  class AsmLabel extends Generated::AsmLabel {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/AsmOperandExprImpl.qll

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `AsmOperandExpr`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.AsmOperandExpr
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * An operand expression in an inline assembly block.
    *
@@ -22,5 +22,7 @@ module Impl {
    * //                            ^          ^
    * ```
    */
-  class AsmOperandExpr extends Generated::AsmOperandExpr { }
+  class AsmOperandExpr extends Generated::AsmOperandExpr {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/AsmOperandNamedImpl.qll

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `AsmOperandNamed`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.AsmOperandNamed
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * A named operand in an inline assembly block.
    *
@@ -22,5 +22,7 @@ module Impl {
    * //                           ^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^
    * ```
    */
-  class AsmOperandNamed extends Generated::AsmOperandNamed { }
+  class AsmOperandNamed extends Generated::AsmOperandNamed {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/AsmOptionImpl.qll

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `AsmOption`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.AsmOption
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * An option in an inline assembly block.
    *
@@ -22,5 +22,7 @@ module Impl {
    * //              ^^^^^^^^^^^^^^^^
    * ```
    */
-  class AsmOption extends Generated::AsmOption { }
+  class AsmOption extends Generated::AsmOption {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/AsmOptionsListImpl.qll

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `AsmOptionsList`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.AsmOptionsList
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * A list of options in an inline assembly block.
    *
@@ -22,5 +22,7 @@ module Impl {
    * //              ^^^^^^^^^^^^^^^^
    * ```
    */
-  class AsmOptionsList extends Generated::AsmOptionsList { }
+  class AsmOptionsList extends Generated::AsmOptionsList {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/AsmRegOperandImpl.qll

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `AsmRegOperand`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.AsmRegOperand
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * A register operand in an inline assembly block.
    *
@@ -22,5 +22,7 @@ module Impl {
    * //                            ^         ^
    * ```
    */
-  class AsmRegOperand extends Generated::AsmRegOperand { }
+  class AsmRegOperand extends Generated::AsmRegOperand {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/AsmRegSpecImpl.qll

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `AsmRegSpec`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.AsmRegSpec
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * A register specification in an inline assembly block.
    *
@@ -22,5 +22,7 @@ module Impl {
    * //                        ^^^         ^^^
    * ```
    */
-  class AsmRegSpec extends Generated::AsmRegSpec { }
+  class AsmRegSpec extends Generated::AsmRegSpec {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/AsmSymImpl.qll

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `AsmSym`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.AsmSym
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * A symbol operand in an inline assembly block.
    *
@@ -22,5 +22,7 @@ module Impl {
    * //                 ^^^^^^^^^^^^^^^^^^^^^^
    * ```
    */
-  class AsmSym extends Generated::AsmSym { }
+  class AsmSym extends Generated::AsmSym {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/AssocItemListImpl.qll

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `AssocItemList`.
  *
@@ -12,8 +11,11 @@ private import codeql.rust.elements.internal.generated.AssocItemList
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * A list of `AssocItem` elements, as appearing in a `Trait` or `Impl`.
    */
-  class AssocItemList extends Generated::AssocItemList { }
+  class AssocItemList extends Generated::AssocItemList {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/AssocTypeArgImpl.qll

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `AssocTypeArg`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.AssocTypeArg
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * An associated type argument in a path.
    *
@@ -26,5 +26,7 @@ module Impl {
    * }
    * ```
    */
-  class AssocTypeArg extends Generated::AssocTypeArg { }
+  class AssocTypeArg extends Generated::AssocTypeArg {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }