Enum endbasic_core::ast::Statement

pub enum Statement {
    Assignment(VarRef, Expr),
    BuiltinCall(String, Vec<(Option<Expr>, ArgSep)>),
    If(Vec<(Expr, Vec<Statement>)>),
    For(VarRef, Expr, Expr, Expr, Vec<Statement>),
    While(Expr, Vec<Statement>),
}

Represents a statement in the program along all data to execute it.

Variants

Assignment(VarRef, Expr)

Represents a variable assignment.

The first parameter is the reference to the variable to set. The second parameter is the expression to compute the value for the variable.

BuiltinCall(String, Vec<(Option<Expr>, ArgSep)>)

Represents a call to a builtin command such as PRINT.

The first parameter is the name of the builtin. The second parameter is the sequence of arguments to pass to the builtin.

Each argument is represented as an optional expression to evaluate and the separator that was to separate it from the next argument. Because of this, the last argument always carries ArgSep::End as the separator. The reason the expression is optional is to support calls of the form PRINT a, , b.

If(Vec<(Expr, Vec<Statement>)>)

Represents an IF statement.

The first and only parameter is a sequence containing all the branches of the statement. Each element is a pair of the conditional guard for the branch and the collection of statements in that branch. The final ELSE branch, if present, is also included here and its guard clause is always a true expression.

For(VarRef, Expr, Expr, Expr, Vec<Statement>)

Represents a FOR statement.

The first parameter is the loop's iterator name, which is expressed a variable reference that must be either automatic or an integer. The second parameter is the expression to compute the iterator's initial value, which must evaluate to an integer. The third parameter is the condition to test after each body execution, which if false terminates the loop. The fourth parameter is the expression to compute the iterator's next value. The fifth parameter is the collection of statements within the loop.

Note that we do not store the original end and step values, and instead use expressions to represent the loop condition and the computation of the next iterator value. We do this for run-time efficiency. The reason this is possible is because we force the step to be an integer literal at parse time and do not allow it to be an expression.

While(Expr, Vec<Statement>)

Represents a WHILE statement.

The first parameter is the loop's condition. The second parameter is the collection of statements within the loop.

Trait Implementations

impl Debug for Statement

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

Formats the value using the given formatter.

impl PartialEq<Statement> for Statement

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

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

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

This method tests for !=.

impl StructuralPartialEq for Statement