Rust: Make Element.toString non-recursive

misc/codegen/templates/ql_class.mustache

@@ -30,7 +30,11 @@ module Generated {
      * Gets the string representation of this element.
      */
     cached
-    final string toString() { result = this.toStringImpl() }
+    final string toString() {
+      result = this.toStringImpl() and
+      // recursion guard to prevent `toString` from being defined recursively
+      (exists(any(Element e).toStringImpl()) implies any())
+    }
 
     /**
      * INTERNAL: Do not use.

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

@@ -20,6 +20,7 @@ module Impl {
      * Returns a string suitable to be inserted into the name of the parent. Typically `"..."`,
      * but may be overridden by subclasses.
      */
+    pragma[nomagic]
     string toAbbreviatedString() { result = "..." }
 
     predicate isUnknown() { none() } // compatibility with test generation, to be fixed

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

@@ -24,6 +24,6 @@ module Impl {
    * ```
    */
   class Module extends Generated::Module {
-    override string toStringImpl() { result = "mod " + this.getName() }
+    override string toStringImpl() { result = "mod " + this.getName().getText() }
   }
 }

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

@@ -19,6 +19,6 @@ module Impl {
    * ```
    */
   class Use extends Generated::Use {
-    override string toStringImpl() { result = "use " + this.getUseTree() }
+    override string toStringImpl() { result = "use " + this.getUseTree().toAbbreviatedString() }
   }
 }

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

@@ -26,14 +26,28 @@ module Impl {
       result = strictconcat(int i | | this.toStringPart(i) order by i)
     }
 
-    private string toStringPart(int index) {
-      result = this.getPath().toStringImpl() and index = 0
-      or
+    private string toStringPartCommon(int index) {
       result = "::{...}" and this.hasUseTreeList() and index = 1
       or
       result = "::*" and this.isGlob() and index = 2
       or
       result = " as " + this.getRename().getName().getText() and index = 3
     }
+
+    private string toStringPart(int index) {
+      result = this.getPath().toStringImpl() and index = 0
+      or
+      result = this.toStringPartCommon(index)
+    }
+
+    override string toAbbreviatedString() {
+      result = strictconcat(int i | | this.toAbbreviatedStringPart(i) order by i)
+    }
+
+    private string toAbbreviatedStringPart(int index) {
+      result = this.getPath().toAbbreviatedString() and index = 0
+      or
+      result = this.toStringPartCommon(index)
+    }
   }
 }

swift/ql/lib/codeql/swift/elements/expr/InitializerLookupExpr.qll

@@ -5,7 +5,7 @@ private import codeql.swift.elements.decl.Initializer
 final private class InitializerLookupExprImpl extends Impl::MethodLookupExpr {
   InitializerLookupExprImpl() { super.getMethod() instanceof Initializer }
 
-  override string toStringImpl() { result = this.getMember().toString() }
+  override string toStringImpl() { result = this.getMember().toStringImpl() }
 }
 
 final class InitializerLookupExpr extends MethodLookupExpr, InitializerLookupExprImpl {

swift/ql/lib/codeql/swift/elements/expr/internal/ApplyExprImpl.qll

@@ -48,7 +48,7 @@ module Impl {
 
     override Expr getQualifier() { result = expr.getQualifier() }
 
-    override string toStringImpl() { result = "call to " + expr }
+    override string toStringImpl() { result = "call to " + expr.toStringImpl() }
   }
 
   private class FullDotSyntaxBaseIgnoredApplyExpr extends ApplyExpr {

swift/ql/lib/codeql/swift/elements/expr/internal/ExplicitCastExprImpl.qll

@@ -4,6 +4,6 @@ module Impl {
   class ExplicitCastExpr extends Generated::ExplicitCastExpr {
     override predicate convertsFrom(Expr e) { e = this.getImmediateSubExpr() }
 
-    override string toStringImpl() { result = "(" + this.getType() + ") ..." }
+    override string toStringImpl() { result = "(" + this.getType().toStringImpl() + ") ..." }
   }
 }