Enum StmtKind

pub enum StmtKind<'ast> {
    Assembly(StmtAssembly<'ast>),
    DeclSingle(Box<'ast, VariableDefinition<'ast>>),
    DeclMulti(BoxSlice<'ast, SpannedOption<VariableDefinition<'ast>>>, Box<'ast, Expr<'ast>>),
    Block(Block<'ast>),
    Break,
    Continue,
    DoWhile(Box<'ast, Stmt<'ast>>, Box<'ast, Expr<'ast>>),
    Emit(AstPath<'ast>, CallArgs<'ast>),
    Expr(Box<'ast, Expr<'ast>>),
    For {
        init: Option<Box<'ast, Stmt<'ast>>>,
        cond: Option<Box<'ast, Expr<'ast>>>,
        next: Option<Box<'ast, Expr<'ast>>>,
        body: Box<'ast, Stmt<'ast>>,
    },
    If(Box<'ast, Expr<'ast>>, Box<'ast, Stmt<'ast>>, Option<Box<'ast, Stmt<'ast>>>),
    Return(Option<Box<'ast, Expr<'ast>>>),
    Revert(AstPath<'ast>, CallArgs<'ast>),
    Try(Box<'ast, StmtTry<'ast>>),
    UncheckedBlock(Block<'ast>),
    While(Box<'ast, Expr<'ast>>, Box<'ast, Stmt<'ast>>),
    Placeholder,
}

A kind of statement.

Variants

Assembly(StmtAssembly<'ast>)

An assembly block, with optional flags: assembly "evmasm" (...) { ... }.

DeclSingle(Box<'ast, VariableDefinition<'ast>>)

A single-variable declaration statement: uint256 foo = 42;.

DeclMulti(BoxSlice<'ast, SpannedOption<VariableDefinition<'ast>>>, Box<'ast, Expr<'ast>>)

A multi-variable declaration statement: (bool success, bytes memory value) = ...;.

Multi-assignments require an expression on the right-hand side.

Block(Block<'ast>)

A blocked scope: { ... }.

Break

A break statement: break;.

Continue

A continue statement: continue;.

DoWhile(Box<'ast, Stmt<'ast>>, Box<'ast, Expr<'ast>>)

A do-while statement: do { ... } while (condition);.

Emit(AstPath<'ast>, CallArgs<'ast>)

An emit statement: emit Foo.bar(42);.

Expr(Box<'ast, Expr<'ast>>)

An expression with a trailing semicolon.

For

A for statement: for (uint256 i; i < 42; ++i) { ... }.

Fields

init: Option<Box<'ast, Stmt<'ast>>>

cond: Option<Box<'ast, Expr<'ast>>>

next: Option<Box<'ast, Expr<'ast>>>

body: Box<'ast, Stmt<'ast>>

If(Box<'ast, Expr<'ast>>, Box<'ast, Stmt<'ast>>, Option<Box<'ast, Stmt<'ast>>>)

An if statement with an optional else block: if (expr) { ... } else { ... }.

Return(Option<Box<'ast, Expr<'ast>>>)

A return statement: return 42;.

Revert(AstPath<'ast>, CallArgs<'ast>)

A revert statement: revert Foo.bar(42);.

Try(Box<'ast, StmtTry<'ast>>)

A try statement: try fooBar(42) returns (...) { ... } catch (...) { ... }.

UncheckedBlock(Block<'ast>)

An unchecked block: unchecked { ... }.

While(Box<'ast, Expr<'ast>>, Box<'ast, Stmt<'ast>>)

A while statement: while (i < 42) { ... }.

Placeholder

A modifier placeholder statement: _;.

Trait Implementations

impl<'ast> Debug for StmtKind<'ast>

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

Formats the value using the given formatter.