Enum semantic_analyzer::ast::BodyStatement

pub enum BodyStatement<'a, E: ExtendedExpression> {
    LetBinding(LetBinding<'a, E>),
    Binding(Binding<'a, E>),
    FunctionCall(FunctionCall<'a, E>),
    If(IfStatement<'a, E>),
    Loop(Vec<LoopBodyStatement<'a, E>>),
    Expression(Expression<'a, E>),
    Return(Expression<'a, E>),
}

BodyStatement one of the basic AST elements. It’s part of Function body.

Variants

LetBinding(LetBinding<'a, E>)

Let-binding function declaration

Binding(Binding<'a, E>)

Binding function declaration

FunctionCall(FunctionCall<'a, E>)

Function call

If(IfStatement<'a, E>)

If-condition control flow statement

Loop(Vec<LoopBodyStatement<'a, E>>)

Loop control flow statement

Expression(Expression<'a, E>)

Expression statement

Return(Expression<'a, E>)

Return statement

Trait Implementations

impl<'a, E: Clone + ExtendedExpression> Clone for BodyStatement<'a, E>

fn clone(&self) -> BodyStatement<'a, E>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, E: Debug + ExtendedExpression> Debug for BodyStatement<'a, E>

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

Formats the value using the given formatter.

impl<E: ExtendedExpression> From<BodyStatement<'_, E>> for BodyStatement

fn from(value: BodyStatement<'_, E>) -> Self

Converts to this type from the input type.

impl<'a, E: PartialEq + ExtendedExpression> PartialEq for BodyStatement<'a, E>

fn eq(&self, other: &BodyStatement<'a, E>) -> 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<'a, E: ExtendedExpression> StructuralPartialEq for BodyStatement<'a, E>