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.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 48 bytes

Size for each variant:

• Assembly: 40 bytes
• DeclSingle: 8 bytes
• DeclMulti: 16 bytes
• Block: 16 bytes
• Break: 0 bytes
• Continue: 0 bytes
• DoWhile: 16 bytes
• Emit: 32 bytes
• Expr: 8 bytes
• For: 32 bytes
• If: 24 bytes
• Return: 8 bytes
• Revert: 32 bytes
• Try: 8 bytes
• UncheckedBlock: 16 bytes
• While: 16 bytes
• Placeholder: 0 bytes