Enum firm_construction::ast::Stmt

pub enum Stmt<'t> where
    't: 't,  {
    Block(Spanned<'t, Block<'t>>),
    Empty,
    If(Box<Spanned<'t, Expr<'t>>>, Box<Spanned<'t, Stmt<'t>>>, Option<Box<Spanned<'t, Stmt<'t>>>>),
    While(Box<Spanned<'t, Expr<'t>>>, Box<Spanned<'t, Stmt<'t>>>),
    Expression(Box<Spanned<'t, Expr<'t>>>),
    Return(Option<Box<Spanned<'t, Expr<'t>>>>),
    LocalVariableDeclaration(Spanned<'t, Type<'t>>, Spanned<'t, Symbol<'t>>, Option<Box<Spanned<'t, Expr<'t>>>>),
}

A statement can have one of the kinds:

• Block: A block defined in Block
• Empty: An empty statement: ;
• If: a if expression consisting of the condition, its body and optionally an else statement
• Expression: an expression defined in Expr
• While: a while loop consisting of the condition and its body
• Return: a return which can optionally return an expression
• LocalVariableDeclaration: a declaration and optional initialization of a local variable

Variants

Block(Spanned<'t, Block<'t>>)EmptyIf(Box<Spanned<'t, Expr<'t>>>, Box<Spanned<'t, Stmt<'t>>>, Option<Box<Spanned<'t, Stmt<'t>>>>)While(Box<Spanned<'t, Expr<'t>>>, Box<Spanned<'t, Stmt<'t>>>)Expression(Box<Spanned<'t, Expr<'t>>>)Return(Option<Box<Spanned<'t, Expr<'t>>>>)LocalVariableDeclaration(Spanned<'t, Type<'t>>, Spanned<'t, Symbol<'t>>, Option<Box<Spanned<'t, Expr<'t>>>>)

Trait Implementations

impl<'t> PartialEq<Stmt<'t>> for Stmt<'t>

fn eq(&self, other: &Stmt<'t>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Stmt<'t>) -> bool

This method tests for !=.

impl<'t> Eq for Stmt<'t>

impl<'t> Debug for Stmt<'t>

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

Formats the value using the given formatter.

impl<'t, '_enum> From<&'_enum Stmt<'t>> for StmtDiscriminants

fn from(val: &'_enum Stmt<'t>) -> StmtDiscriminants

Performs the conversion.

impl<'t> From<Stmt<'t>> for StmtDiscriminants

fn from(val: Stmt<'t>) -> StmtDiscriminants

Performs the conversion.

impl<'t> Clone for Stmt<'t>

fn clone(&self) -> Stmt<'t>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.