hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-07-20 18:58:36 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Move OperationImpl to internal/OperationImpl.qll.

Browse Source
This commit is contained in:
Geoffrey White
2025-05-09 17:01:26 +01:00
parent 09dc7fc5c4
commit 48b95f3a4e
2 changed files with 30 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
rust/ql/lib/codeql/rust/elements/Operation.qll
View File

@@ -2,28 +2,7 @@
* Provides classes for operations.
*/
private import rust
import internal.OperationImpl
private import codeql.rust.elements.internal.ExprImpl::Impl as ExprImpl
/**
* INTERNAL: This module contains the customizable definition of `Operation` and should not
* be referenced directly.
*/
module OperationImpl {
/**
* An operation, for example `&&`, `+=`, `!` or `*`.
*/
abstract class Operation extends ExprImpl::Expr {
/**
* Gets the operator name of this operation, if it exists.
*/
abstract string getOperatorName();
/**
* Gets an operand of this operation.
*/
abstract Expr getAnOperand();
}
}
final class Operation = OperationImpl::Operation;

29
rust/ql/lib/codeql/rust/elements/internal/OperationImpl.qll Normal file
View File

@@ -0,0 +1,29 @@
/**
* Provides classes for operations.
*
* INTERNAL: Do not use.
*/
private import rust
private import codeql.rust.elements.internal.ExprImpl::Impl as ExprImpl
/**
* INTERNAL: This module contains the customizable definition of `Operation` and should not
* be referenced directly.
*/
module OperationImpl {
/**
* An operation, for example `&&`, `+=`, `!` or `*`.
*/
abstract class Operation extends ExprImpl::Expr {
/**
* Gets the operator name of this operation, if it exists.
*/
abstract string getOperatorName();
/**
* Gets an operand of this operation.
*/
abstract Expr getAnOperand();
}
}