Enum Statement 

pub enum Statement {
    VariableDeclaration {
        name: String,
        var_type: Type,
        initializer: Option<Expression>,
    },
    Return(Option<Expression>),
    Assignment {
        target: String,
        value: Expression,
    },
    If {
        condition: Expression,
        then_block: Vec<Statement>,
        else_block: Option<Vec<Statement>>,
    },
    For {
        init: Option<Box<Statement>>,
        condition: Option<Expression>,
        increment: Option<Box<Statement>>,
        body: Vec<Statement>,
    },
    While {
        condition: Expression,
        body: Vec<Statement>,
    },
    DerefAssignment {
        target: Expression,
        value: Expression,
    },
    ArrayIndexAssignment {
        array: Box<Expression>,
        index: Box<Expression>,
        value: Expression,
    },
    FieldAssignment {
        object: Expression,
        field: String,
        value: Expression,
    },
    Break,
    Continue,
    Switch {
        condition: Expression,
        cases: Vec<SwitchCase>,
        default_case: Option<Vec<Statement>>,
    },
    PostIncrement {
        target: String,
    },
    PreIncrement {
        target: String,
    },
    PostDecrement {
        target: String,
    },
    PreDecrement {
        target: String,
    },
    CompoundAssignment {
        target: String,
        op: BinaryOperator,
        value: Expression,
    },
    FunctionCall {
        function: String,
        arguments: Vec<Expression>,
    },
}

Represents a C statement.

Variants

VariableDeclaration

Variable declaration: int* ptr = malloc(4);

Fields

name: String

Variable name

var_type: Type

Variable type

initializer: Option<Expression>

Optional initializer expression

Return(Option<Expression>)

Return statement: return expr;

Assignment

Assignment statement: x = 42;

Fields

target: String

Target variable name

value: Expression

Value expression to assign

If

If statement: if (cond) { ... } else { ... }

Fields

condition: Expression

Condition expression

then_block: Vec<Statement>

Then block

else_block: Option<Vec<Statement>>

Optional else block

For

For loop: for (init; cond; inc) { ... }

Fields

init: Option<Box<Statement>>

Optional init statement

condition: Option<Expression>

Optional condition expression

increment: Option<Box<Statement>>

Optional increment statement

body: Vec<Statement>

Loop body

While

While loop: while (cond) { ... }

Fields

condition: Expression

Condition expression

body: Vec<Statement>

Loop body

DerefAssignment

Pointer dereference assignment: *ptr = value;

Fields

target: Expression

Target expression to dereference

value: Expression

Value expression to assign

ArrayIndexAssignment

Array index assignment: arr[i] = value;

Fields

array: Box<Expression>

Array expression

index: Box<Expression>

Index expression

value: Expression

Value expression to assign

FieldAssignment

Field assignment: ptr->field = value; or obj.field = value;

Fields

object: Expression

Object/pointer expression

field: String

Field name

value: Expression

Value expression to assign

Break

Break statement: break;

Continue

Continue statement: continue;

Switch

Switch statement: switch (expr) { case 1: ...; default: ...; }

Fields

condition: Expression

Condition expression to switch on

cases: Vec<SwitchCase>

List of case statements

default_case: Option<Vec<Statement>>

Optional default case body

PostIncrement

Post-increment statement: ptr++;

Fields

target: String

Target variable name

PreIncrement

Pre-increment statement: ++ptr;

Fields

target: String

Target variable name

PostDecrement

Post-decrement statement: ptr--;

Fields

target: String

Target variable name

PreDecrement

Pre-decrement statement: --ptr;

Fields

target: String

Target variable name

CompoundAssignment

Compound assignment: ptr += offset;, x *= 2;, etc.

Fields

target: String

Target variable name

op: BinaryOperator

Binary operator to apply

value: Expression

Value expression

FunctionCall

Function call statement: strlen(s);, strcpy(dst, src);

Fields

function: String

Function name

arguments: Vec<Expression>

Arguments

Implementations

impl Statement

pub fn is_string_function_call(&self) -> bool

Check if this statement is a string function call.

pub fn is_function_call(&self) -> bool

Check if this statement is a function call.

pub fn as_function_call(&self) -> Option<&Expression>

Convert this statement to a function call expression if it is one.

Implementation Status

Stub implementation - always returns None. The Statement::FunctionCall variant doesn’t store the call as an Expression, so conversion would require reconstructing an Expression::FunctionCall from the statement’s fields.

Trait Implementations

impl Clone for Statement

fn clone(&self) -> Statement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Statement

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

Formats the value using the given formatter.

impl PartialEq for Statement

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for Statement