Enum StatementType 

pub enum StatementType {
    Literal(Literal),
    Opcode(Opcode),
    ImmediateOpcode {
        opcode: Opcode,
        operands: Vec<Expression>,
    },
    Code(String),
    MacroInvocation(MacroInvocation),
    Constant(String),
    ArgCall(String, String),
    ArgMacroInvocation(String, String, Vec<MacroArg>),
    Label(Label),
    LabelCall(String),
    BuiltinFunctionCall(BuiltinFunctionCall),
    ForLoop {
        variable: String,
        start: Expression,
        end: Expression,
        step: Option<Expression>,
        body: Vec<Statement>,
    },
    IfStatement {
        condition: Expression,
        then_branch: Vec<Statement>,
        else_if_branches: Vec<(Expression, Vec<Statement>)>,
        else_branch: Option<Vec<Statement>>,
    },
}

The Statement Type

Variants

Literal(Literal)

A Literal Statement

Example: 0x04, 0x420

Opcode(Opcode)

An Opcode Statement

Example: add, mstore, calldataload

ImmediateOpcode

An opcode followed by immediate operands that are resolved at compile time

Operands are compile-time expressions: literals, [CONSTANT], <arg>, loop variables, or parenthesized arithmetic. Example: dupn 17, swapn [DEPTH], exchange 1 <m>, push2 [SIZE]

Fields

opcode: Opcode

The opcode

operands: Vec<Expression>

Operand expressions in source order

Code(String)

A Code Statement

Raw bytecode string

MacroInvocation(MacroInvocation)

A Macro Invocation Statement

Example: TRANSFER(), ONLY_OWNER()

Constant(String)

A Constant Push

Example: [BALANCE_LOCATION], [MAX_SUPPLY]

ArgCall(String, String)

An Arg Call

Referencing a macro parameter. Example: <amount>, <recipient>

Macro name and argument name

ArgMacroInvocation(String, String, Vec<MacroArg>)

A Macro Invocation through Argument

Calling a macro passed as an argument. Example: <operation>()

Parent macro name, argument name, and arguments for the invoked macro

Label(Label)

A Label

Jump destination definition. Example: success:, error:

LabelCall(String)

A Label Reference/Call

Reference to jump to a label. Example: success, error

BuiltinFunctionCall(BuiltinFunctionCall)

A built-in function call

Example: __FUNC_SIG(transfer), __EVENT_HASH(Transfer)

ForLoop

A compile-time for loop

Example: for(i in 0..5) { <i> }

Fields

variable: String

Loop variable name

start: Expression

Start value (constant expression)

end: Expression

End value (exclusive, constant expression)

step: Option<Expression>

Optional step value (defaults to 1)

body: Vec<Statement>

Loop body statements

IfStatement

A compile-time if statement

Example: if([CONST] > 5) { ... } else { ... }

Fields

condition: Expression

Condition (constant expression that evaluates to non-zero = true)

then_branch: Vec<Statement>

Then branch statements

else_if_branches: Vec<(Expression, Vec<Statement>)>

Optional else if clauses (condition, body pairs)

else_branch: Option<Vec<Statement>>

Optional else branch statements

Trait Implementations

impl Clone for StatementType

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StatementType

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

Formats the value using the given formatter.

impl Display for StatementType

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

Formats the value using the given formatter.

impl Eq for StatementType

impl Ord for StatementType

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for StatementType

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for StatementType

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for StatementType

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: 264 bytes

Size for each variant:

• Literal: 40 bytes
• Opcode: 9 bytes
• ImmediateOpcode: 40 bytes
• Code: 32 bytes
• MacroInvocation: 80 bytes
• Constant: 32 bytes
• ArgCall: 56 bytes
• ArgMacroInvocation: 80 bytes
• Label: 80 bytes
• LabelCall: 32 bytes
• BuiltinFunctionCall: 64 bytes
• ForLoop: 264 bytes
• IfStatement: 152 bytes