Enum Stmt 

pub enum Stmt {
    Empty,
    Expr(Box<Expr>),
    Let(Box<LExpr>, Location, Box<Expr>),
    Set(Box<LExpr>, Location, Box<Expr>),
    Mut(Box<LExpr>, Loc<Op>, Box<Expr>),
    If(Location, Box<Expr>, Block, Option<Else>),
    While(Location, Box<Expr>, Block, Option<Else>),
    For(Location, Box<LExpr>, Box<Expr>, Block, Option<Else>),
    Switch(Location, Box<Expr>, Box<[Case]>, Option<Else>),
    Break(Location),
    Continue(Location),
    Return(Location, Option<Box<Expr>>),
    Throw(Location, Box<Expr>),
    Assert(Location, Box<Expr>),
    Assume(Location, Box<Expr>),
}

A statement.

Variants

Empty

Expr(Box<Expr>)

Let(Box<LExpr>, Location, Box<Expr>)

Set(Box<LExpr>, Location, Box<Expr>)

Mut(Box<LExpr>, Loc<Op>, Box<Expr>)

If(Location, Box<Expr>, Block, Option<Else>)

While(Location, Box<Expr>, Block, Option<Else>)

For(Location, Box<LExpr>, Box<Expr>, Block, Option<Else>)

Switch(Location, Box<Expr>, Box<[Case]>, Option<Else>)

Break(Location)

Continue(Location)

Return(Location, Option<Box<Expr>>)

Throw(Location, Box<Expr>)

Assert(Location, Box<Expr>)

Assume(Location, Box<Expr>)

Trait Implementations

impl AST for Stmt

type Generous = Stmt

The parser type that turns into Self.

fn validate( report: &mut impl FnMut(Location, &str), tree: &Self::Generous, ) -> Result<Self, Invalid>

Attempt to construct a Self given its parse tree.

impl Clone for Stmt

fn clone(&self) -> Stmt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Stmt

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

Formats the value using the given formatter.