Enum Stmt

pub enum Stmt {
    Expr(MaybeExpr),
    Assign(MaybeExpr, AssignOp, MaybeExpr),
    If(MaybeExpr, Brace, MaybeElse),
    While(MaybeExpr, Brace, MaybeElse),
    For(MaybeExpr, Brace, MaybeElse),
    Switch(MaybeExpr, Vec<Case>, MaybeElse),
    Verb(Verb, MaybeExpr),
}

Represents a statement, including the trailing ; if any.

Stmts frequently contain Exprs, and never two consecutively. We allow every such Expr to be optional, so that a later pass can report a helpful error when it’s missing.

Variants

Expr(MaybeExpr)

E.g. print("Hello");.

Assign(MaybeExpr, AssignOp, MaybeExpr)

E.g. x += 1;.

If(MaybeExpr, Brace, MaybeElse)

E.g. if ... {...} else {...}.

Allow the condition Expr to be None, though it’s an error.

While(MaybeExpr, Brace, MaybeElse)

E.g. while ... {...} else {...}.

Allow the condition Expr to be None, though it’s an error.

For(MaybeExpr, Brace, MaybeElse)

E.g. for ... in ... {...} else {...}.

Allow an arbitrary Expr, or a missing one, though anything but ... in ... is an error.

Switch(MaybeExpr, Vec<Case>, MaybeElse)

E.g. switch ... case ... {...} case ... {...} else {...}.

Allow the discriminant Expr to be None, though it’s an error.

Verb(Verb, MaybeExpr)

E.g. return ...; or continue;.

Allow the Expr to be present or missing, though for some Verbs one of those cases is an error.

Trait Implementations

impl Debug for Stmt

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

Formats the value using the given formatter.

impl Tree for Stmt

fn declare_keywords(declare: impl FnMut(&'static str, Self))

where Self: Sized,

declare() all the keywords whose parse trees are Selfs.