Skip to content

Commit c70decb

Browse files
committed
Rust: add Callable::getParam and CallExprBase::getArg shortcuts
1 parent 779d06f commit c70decb

File tree

18 files changed

+132
-33
lines changed

18 files changed

+132
-33
lines changed

rust/ql/.generated.list

Lines changed: 13 additions & 9 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

rust/ql/.gitattributes

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

rust/ql/lib/codeql/rust/controlflow/internal/generated/CfgNodes.qll

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

rust/ql/lib/codeql/rust/elements/Callable.qll

Lines changed: 1 addition & 0 deletions
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/CallExprBaseImpl.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,5 +28,7 @@ module Impl {
2828
class CallExprBase extends Generated::CallExprBase {
2929
/** Gets the static target of this call, if any. */
3030
Callable getStaticTarget() { none() } // overridden by subclasses, but cannot be made abstract
31+
32+
override Expr getArg(int index) { result = this.getArgList().getArg(index) }
3133
}
3234
}

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

Lines changed: 3 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)