CodeQL library for Rust
codeql/rust-all 0.2.6 (changelog, source)
Search

Class Impl::Operation

An operation, for example &&, +=, ! or *.

Overloadable operations are syntatic sugar for method calls, where the first operand is the receiver. For example, x + y is syntactic sugar for Add::add(x, y), and x += y is syntactic sugar for AddAssign::add_assign(&mut x, y).

Import path

import codeql.rust.elements.internal.OperationImpl

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

getAnOperand

Gets an operand of this operation.

getNumberOfOperands

Gets the number of operands of this operation.

getOperand

Gets the nth operand of this operation, if any.

getOperatorName

Gets the operator name of this operation, if it exists.

getSyntacticPositionalArgument

Gets the ith syntactical argument of this expression.

isOverloaded

Holds if this operation is overloaded to the method methodName of the trait trait.

Inherited predicates

fromSource

Holds if this element is from source code.

from Locatable
getACfgNode

Gets a control flow node for this AST node, if any.

from AstNode
getAPrimaryQlClass

Gets the name of a primary CodeQL class to which this element belongs.

from Element
getASyntacticArgument

Gets a syntactic argument of this expression.

from InvocationExpr
getEnclosingBlock

Gets the block that encloses this node, if any.

from AstNode
getEnclosingCallable

Gets the immediately enclosing callable of this node, if any.

from AstNode
getEnclosingCfgScope

Gets the CFG scope that encloses this node, if any.

from AstNode
getFile

Gets the primary file where this element occurs.

from Locatable
getLocationfrom Locatable
getNumberOfSyntacticArguments

Gets the number of syntactic arguments of this expression.

from InvocationExpr
getParentNode

Gets the nearest enclosing parent of this node, which is also an AstNode, if any.

from AstNode
getPrimaryQlClasses

Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.

from Element
getResolveStep

Gets the most immediate element that should substitute this element in the explicit AST, if any. Classes can override this to indicate this node should be in the “hidden” AST, mostly reserved for conversions and syntactic sugar nodes like parentheses.

from Element
getResolvedTarget

Gets the resolved target (function or tuple struct/variant), if any.

from InvocationExpr
getSyntacticArgument

Gets the argument at syntactic position pos of this expression.

from InvocationExpr
getSyntacticReceiver

Gets the syntactic receiver of this expression, if any.

from InvocationExpr
hasEnclosingCfgScope

Holds if this node is inside a CFG scope.

from AstNode
isFromMacroExpansion

Holds if this node exists only as the result of a macro expansion.

from AstNode
isInMacroExpansion

Holds if this node is inside a macro expansion.

from AstNode
isUnknownfrom Element
resolve

Gets the element that should substitute this element in the explicit AST, applying getResolveStep transitively.

from Element
toAbbreviatedString

INTERNAL: Do not use.

from Element
toString

Gets the string representation of this element.

from Element
toStringImpl

INTERNAL: Do not use.

from Element