Struct marker_api::ast::BreakExpr

#[repr(C)]
pub struct BreakExpr<'ast> { /* private fields */ }

A break expression with an optional label and an optional value.

for i in 0..10 {
    if i == 2 {
        break;
    //  ^^^^^ A break expression targeting the for loop
    }
}

let _ = 'label: {
//  vvvvvvvvvvvvvv A break expression with a label and a value
    break 'label 4;
//        ^^^^^^ ^ An integer literal being returned as a value of the target
//           |
//           An optional label, specifying which labeled expression is the target
};

Implementations

impl<'ast> BreakExpr<'ast>

pub fn label(&self) -> Option<&Ident<'ast>>

pub fn target_id(&self) -> ExprId

pub fn expr(&self) -> Option<ExprKind<'ast>>

Trait Implementations

impl<'ast> Debug for BreakExpr<'ast>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'ast> ExprData<'ast> for BreakExpr<'ast>

fn id(&self) -> ExprId

Returns the ExprId of this expression.

fn ty(&self) -> TyKind<'ast>

Returns the semantic type of this expression.

fn precedence(&self) -> ExprPrecedence

Returns the ExprPrecedence of this expression.

fn as_expr(&'ast self) -> ExprKind<'ast>

Returns this expression wrapped in it’s ExprKind variant.

impl<'ast> From<&'ast BreakExpr<'ast>> for ExprKind<'ast>

fn from(from: &'ast BreakExpr<'ast>) -> Self

Converts to this type from the input type.

impl<'ast> HasNodeId for BreakExpr<'ast>

fn node_id(&self) -> NodeId

Returns the NodeId of the identifiable node

impl<'ast> HasSpan<'ast> for BreakExpr<'ast>

fn span(&self) -> &Span<'ast>

This returns the Span of the implementing AST node.