Rust: Overrride toStringImpl for new elements classes

Author: paldepind

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 `DerefPat`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.DerefPat
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * A deref pattern, matching the value behind a smart pointer. This is an experimental
    * Rust feature that cannot be written directly in stable Rust; the example below uses
@@ -23,5 +23,7 @@ module Impl {
    * };
    * ```
    */
-  class DerefPat extends Generated::DerefPat { }
+  class DerefPat extends Generated::DerefPat {
+    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 `ImplRestriction`.
  *
@@ -12,8 +11,11 @@ private import codeql.rust.elements.internal.generated.ImplRestriction
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * An implementation restriction, limiting where a trait can be implemented. For example the `impl(crate)` restriction (an unstable feature).
    */
-  class ImplRestriction extends Generated::ImplRestriction { }
+  class ImplRestriction extends Generated::ImplRestriction {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/DerefPatImpl.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 `IncludeBytesExpr`.
  *
@@ -12,11 +11,14 @@ private import codeql.rust.elements.internal.generated.IncludeBytesExpr
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * An expression produced by the built-in `include_bytes!` macro, embedding the contents of a file as a byte array. For example:
    * ```rust
    * let data = include_bytes!("data.bin");
    * ```
    */
-  class IncludeBytesExpr extends Generated::IncludeBytesExpr { }
+  class IncludeBytesExpr extends Generated::IncludeBytesExpr {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/ImplRestrictionImpl.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 `MutRestriction`.
  *
@@ -12,8 +11,11 @@ private import codeql.rust.elements.internal.generated.MutRestriction
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * A mutability restriction, limiting where a field can be mutated. For example the `mut(crate)` restriction (an unstable feature).
    */
-  class MutRestriction extends Generated::MutRestriction { }
+  class MutRestriction extends Generated::MutRestriction {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/IncludeBytesExprImpl.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 `NotNull`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.NotNull
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * The `!null` pattern used in a pattern type to denote a non-null value. Pattern types
    * are an experimental, mostly compiler-internal feature (used in the standard library for
@@ -21,5 +21,7 @@ module Impl {
    * type NonNull = builtin#pattern_type(*const () is !null);
    * ```
    */
-  class NotNull extends Generated::NotNull { }
+  class NotNull extends Generated::NotNull {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/MutRestrictionImpl.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 `PatternTypeRepr`.
  *
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.PatternTypeRepr
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * A pattern type, constraining a type to values matching a pattern. Pattern types are an
    * experimental, mostly compiler-internal feature and cannot be written directly in stable
@@ -20,5 +20,7 @@ module Impl {
    * type NonZero = builtin#pattern_type(u32 is 1..);
    * ```
    */
-  class PatternTypeRepr extends Generated::PatternTypeRepr { }
+  class PatternTypeRepr extends Generated::PatternTypeRepr {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }

rust/ql/lib/codeql/rust/elements/internal/NotNullImpl.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 `VisibilityInner`.
  *
@@ -12,12 +11,15 @@ private import codeql.rust.elements.internal.generated.VisibilityInner
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
    * The parenthesized inner part of a visibility modifier or restriction, such as the `(in path)` in `pub(in path)`, or the `(crate)` in `pub(crate)`. For example the `(in foo::bar)` in:
    * ```rust
    * pub(in foo::bar) struct S;
    * //  ^^^^^^^^^^^^
    * ```
    */
-  class VisibilityInner extends Generated::VisibilityInner { }
+  class VisibilityInner extends Generated::VisibilityInner {
+    override string toStringImpl() { result = this.getAPrimaryQlClass() }
+  }
 }