Enum solang_parser::pt::Statement

pub enum Statement {
    Block {
        loc: Loc,
        unchecked: bool,
        statements: Vec<Statement>,
    },
    Assembly {
        loc: Loc,
        dialect: Option<StringLiteral>,
        flags: Option<Vec<StringLiteral>>,
        block: YulBlock,
    },
    Args(Loc, Vec<NamedArgument>),
    If(Loc, Expression, Box<Statement>, Option<Box<Statement>>),
    While(Loc, Expression, Box<Statement>),
    Expression(Loc, Expression),
    VariableDefinition(Loc, VariableDeclaration, Option<Expression>),
    For(Loc, Option<Box<Statement>>, Option<Box<Expression>>, Option<Box<Expression>>, Option<Box<Statement>>),
    DoWhile(Loc, Box<Statement>, Expression),
    Continue(Loc),
    Break(Loc),
    Return(Loc, Option<Expression>),
    Revert(Loc, Option<IdentifierPath>, Vec<Expression>),
    RevertNamedArgs(Loc, Option<IdentifierPath>, Vec<NamedArgument>),
    Emit(Loc, Expression),
    Try(Loc, Expression, Option<(ParameterList, Box<Statement>)>, Vec<CatchClause>),
    Error(Loc),
}

A statement.

Variants

Block

Fields

loc: Loc

The code location.

unchecked: bool

Whether this block is unchecked.

statements: Vec<Statement>

The statements.

[unchecked] { <statements>* }

Assembly

Fields

loc: Loc

The code location.

dialect: Option<StringLiteral>

The assembly dialect.

flags: Option<Vec<StringLiteral>>

The assembly flags.

block: YulBlock

The assembly block.

assembly [dialect] [(<flags>,*)] <block>

Args(Loc, Vec<NamedArgument>)

{ <1>,* }

If(Loc, Expression, Box<Statement>, Option<Box<Statement>>)

if ({1}) <2> [else <3>]

Note that the <1> expression does not contain the parentheses.

While(Loc, Expression, Box<Statement>)

while ({1}) <2>

Note that the <1> expression does not contain the parentheses.

Expression(Loc, Expression)

An Expression.

VariableDefinition(Loc, VariableDeclaration, Option<Expression>)

<1> [= <2>];

For(Loc, Option<Box<Statement>>, Option<Box<Expression>>, Option<Box<Expression>>, Option<Box<Statement>>)

for ([1]; [2]; [3]) [4]

The [4] block statement is None when the for statement ends with a semicolon.

DoWhile(Loc, Box<Statement>, Expression)

do <1> while ({2});

Note that the <2> expression does not contain the parentheses.

Continue(Loc)

continue;

Break(Loc)

break;

Return(Loc, Option<Expression>)

return [1];

Revert(Loc, Option<IdentifierPath>, Vec<Expression>)

revert [1] (<2>,*);

RevertNamedArgs(Loc, Option<IdentifierPath>, Vec<NamedArgument>)

revert [1] ({ <2>,* });

Emit(Loc, Expression)

emit <1>;

<1> is FunctionCall.

Try(Loc, Expression, Option<(ParameterList, Box<Statement>)>, Vec<CatchClause>)

try <1> [returns (<2.1>,*) <2.2>] <3>*

<1> is either New(FunctionCall) or FunctionCall.

Error(Loc)

An error occurred during parsing.

Implementations

impl Statement

pub fn is_empty(&self) -> bool

Returns true if the block statement contains no elements.

Trait Implementations

impl Clone for Statement

fn clone(&self) -> Statement

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CodeLocation for Statement

fn loc(&self) -> Loc

Returns the code location of self.

impl Debug for Statement

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

Formats the value using the given formatter.

impl Display for Statement

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

Formats the value using the given formatter.

impl OptionalCodeLocation for Statement

fn loc_opt(&self) -> Option<Loc>

Returns the optional code location of self.

impl PartialEq for Statement

fn eq(&self, other: &Statement) -> bool

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Statement

impl StructuralEq for Statement

impl StructuralPartialEq for Statement