Rust: add default Element::toString

aibaars · aibaars · commit 42b1112be64c · 2024-09-09T15:05:04.000+02:00
diff --git a/rust/ql/lib/codeql/rust/elements/Element.qll b/rust/ql/lib/codeql/rust/elements/Element.qll
@@ -5,5 +5,7 @@
 private import codeql.rust.generated.Element
 
 class Element extends Generated::Element {
+  override string toString() { result = this.getAPrimaryQlClass() }
+
   predicate isUnknown() { none() } // compatibility with test generation, to be fixed
 }

Original file line number	Diff line number	Diff line change
`@@ -5,5 +5,7 @@`
`5`	`5`	`private import codeql.rust.generated.Element`
`6`	`6`
`7`	`7`	`class Element extends Generated::Element {`
	`8`	`+ override string toString() { result = this.getAPrimaryQlClass() }`
	`9`	`+`
`8`	`10`	`predicate isUnknown() { none() } // compatibility with test generation, to be fixed`
`9`	`11`	`}`