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

Class CompoundAssignmentExprCfgNode

A compound assignment expression, for example:

x += y;

Note that compound assignment expressions are syntatic sugar for trait invocations, i.e., the above actually means

(&mut x).add_assign(y);

Import path

import codeql.rust.controlflow.CfgNodes

Direct supertypes

Indirect supertypes

Fields

Predicates

getCompoundAssignmentExpr

Gets the underlying CompoundAssignmentExpr.

Inherited predicates

getAPredecessor

Gets an immediate predecessor, if any.

from NodeImpl
getAPredecessor

Gets an immediate predecessor node of a given flow type, if any.

from NodeImpl
getASplit

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

from AstCfgNodeImpl
getASuccessor

Gets an immediate successor, if any.

from NodeImpl
getASuccessor

Gets a successor node of a given type, if any.

from NodeImpl
getAnAttr

Gets any of the attrs of this binary expression.

from BinaryExprCfgNode
getAstNode

Gets the AST node that this node corresponds to, if any.

from AstCfgNodeImpl
getAttr

Gets the indexth attr of this binary expression (0-based).

from BinaryExprCfgNode
getBinaryExpr

Gets the underlying BinaryExpr.

from BinaryExprCfgNode
getExpr

Gets the underlying Expr.

from ExprCfgNode
getLhs

Gets the lhs of this binary expression, if it exists.

from BinaryExprCfgNode
getLocation

Gets the location of this control flow node.

from AstCfgNodeImpl
getNumberOfAttrs

Gets the number of attrs of this binary expression.

from BinaryExprCfgNode
getOperatorName

Gets the operator name of this binary expression, if it exists.

from BinaryExprCfgNode
getRhs

Gets the rhs of this binary expression, if it exists.

from BinaryExprCfgNode
getScope

Gets the scope of this node.

from NodeImpl
getSplitsString

Gets a comma-separated list of strings for each split in this node, if any.

from AstCfgNodeImpl
hasLhs

Holds if getLhs() exists.

from BinaryExprCfgNode
hasOperatorName

Holds if getOperatorName() exists.

from BinaryExprCfgNode
hasRhs

Holds if getRhs() exists.

from BinaryExprCfgNode
isBranch

Holds if this node has more than one successor.

from NodeImpl
isCondition

Holds if this control flow node has conditional successors.

from NodeImpl
isJoin

Holds if this node has more than one predecessor.

from NodeImpl
toString

Gets a textual representation of this control flow node.

from AstCfgNodeImpl

Charpred