Rust: Avoid path resolution in Element.toString

Define string representations on concrete element classes, make existing renderers total when unresolved child data is absent, and remove the path-resolution-dependent fallback from Element.

Add a consistency check for elements that lack a string representation and update generated-file metadata for customized wrappers.

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>

Author: hvitved

rust/ql/.generated.list

@@ -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/.gitattributes

@@ -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/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 `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/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 `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/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 `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/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 `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/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 `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/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 `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() }
+  }
 }