Skip to content

Commit 8ec8824

Browse files
committed
Rust: implement Crate::toString
1 parent 9bba666 commit 8ec8824

File tree

3 files changed

+5
-4
lines changed

3 files changed

+5
-4
lines changed

rust/ql/.generated.list

Lines changed: 0 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

rust/ql/.gitattributes

Lines changed: 0 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

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

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// generated by codegen, remove this comment if you wish to edit this file
21
/**
32
* This module provides a hand-modifiable wrapper around the generated class `Crate`.
43
*
@@ -12,5 +11,9 @@ private import codeql.rust.elements.internal.generated.Crate
1211
* be referenced directly.
1312
*/
1413
module Impl {
15-
class Crate extends Generated::Crate { }
14+
class Crate extends Generated::Crate {
15+
override string toString() {
16+
result = "Crate(" + this.getName() + "@" + concat(this.getVersion()) + ")"
17+
}
18+
}
1619
}

0 commit comments

Comments
 (0)