hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Remove some predicates

Browse Source
This commit is contained in:
Tom Hvitved
2025-12-04 12:55:43 +01:00
parent 09461e9cb6
commit 12a6dcc4ff
2 changed files with 1 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
rust/ql/lib/codeql/rust/elements/internal/CallExprImpl.qll
View File

@@ -44,12 +44,6 @@ module Impl {
override string toStringImpl() { result = this.getFunction().toAbbreviatedString() + "(...)" }
override Expr getSyntacticPositionalArgument(int i) { result = getSyntacticArg(this, i) }
// todo: remove once internal query has been updated
Expr getArg(int i) { result = getSyntacticArg(this, i) }
// todo: remove once internal query has been updated
int getNumberOfArgs() { result = this.getNumberOfSyntacticArguments() }
}
/**

8
rust/ql/lib/codeql/rust/elements/internal/CallImpl.qll
View File

@@ -39,9 +39,6 @@ module Impl {
/** Gets an argument of this call. */
Expr getAnArgument() { result = this.getArgument(_) }
// todo: remove once internal query has been updated
Expr getReceiver() { none() }
/**
* Gets the `i`th positional argument of this call.
*
@@ -71,9 +68,6 @@ module Impl {
/** Gets the name of the function called, if any. */
string getTargetName() { result = this.getStaticTarget().getName().getText() }
// todo: remove once internal query has been updated
string getMethodName() { result = this.getTargetName() }
/** Gets a runtime target of this call, if any. */
pragma[nomagic]
Function getARuntimeTarget() {
@@ -110,6 +104,6 @@ module Impl {
* x[y]; // `x` is receiver
* ```
*/
override Expr getReceiver() { none() }
Expr getReceiver() { none() }
}
}