hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-24 16:25:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Define getNumberOfOperands in Operation class

Browse Source
This commit is contained in:
Simon Friis Vindum
2025-05-28 13:32:49 +02:00
parent d92d454941
commit 5160bc2b9a
4 changed files with 1 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
rust/ql/lib/codeql/rust/elements/internal/BinaryExprImpl.qll
View File

@@ -28,8 +28,6 @@ module Impl {
override string getOperatorName() { result = Generated::BinaryExpr.super.getOperatorName() }
override int getNumberOfOperands() { result = 2 }
override Expr getOperand(int n) {
n = 0 and result = this.getLhs()
or

2
rust/ql/lib/codeql/rust/elements/internal/OperationImpl.qll
View File

@@ -99,7 +99,7 @@ module Impl {
*
* This is either 1 for prefix operations, or 2 for binary operations.
*/
abstract int getNumberOfOperands();
final int getNumberOfOperands() { result = count(this.getAnOperand()) }
/** Gets an operand of this operation. */
Expr getAnOperand() { result = this.getOperand(_) }

2
rust/ql/lib/codeql/rust/elements/internal/PrefixExprImpl.qll
View File

@@ -26,8 +26,6 @@ module Impl {
override string getOperatorName() { result = Generated::PrefixExpr.super.getOperatorName() }
override int getNumberOfOperands() { result = 1 }
override Expr getOperand(int n) { n = 0 and result = this.getExpr() }
}
}

2
rust/ql/lib/codeql/rust/elements/internal/RefExprImpl.qll
View File

@@ -29,8 +29,6 @@ module Impl {
override string getOperatorName() { result = "&" }
override int getNumberOfOperands() { result = 1 }
override Expr getOperand(int n) { n = 0 and result = this.getExpr() }
private string getSpecPart(int index) {