Class Impl::BreakExpr

A break expression. For example:

loop {
    if not_ready() {
        break;
     }
}

let x = 'label: loop {
    if done() {
        break 'label 42;
    }
};

let x = 'label: {
    if exit() {
        break 'label 42;
    }
    0;
};

Import path

import codeql.rust.elements.internal.BreakExprImpl

Direct supertypes

BreakExpr

Indirect supertypes

Predicates

getTarget	Gets the target of this `break` expression.
toStringImpl	INTERNAL: Do not use.

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 BreakExpr
getAnAttr	Gets any of the attrs of this break expression.	from BreakExpr
getAttr	Gets the `index`th attr of this break expression (0-based).	from BreakExpr
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
getExpr	Gets the expression of this break expression, if it exists.	from BreakExpr
getFile	Gets the primary file where this element occurs.	from Locatable
getLifetime	Gets the lifetime of this break expression, if it exists.	from BreakExpr
getLocation		from Locatable
getNumberOfAttrs	Gets the number of attrs of this break expression.	from BreakExpr
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
hasEnclosingCfgScope	Holds if this node is inside a CFG scope.	from AstNode
hasExpr	Holds if `getExpr()` exists.	from BreakExpr
hasLifetime	Holds if `getLifetime()` exists.	from BreakExpr
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
isUnknown		from 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