Struct semantic_analyzer::ast::IfStatement

pub struct IfStatement<'a, E: ExtendedExpression> {
    pub condition: IfCondition<'a, E>,
    pub body: IfBodyStatements<'a, E>,
    pub else_statement: Option<IfBodyStatements<'a, E>>,
    pub else_if_statement: Option<Box<IfStatement<'a, E>>>,
}

IfStatement if statement AST element. Contains full representation of if statement with entities:

• if-condition
• If-body statement - body of if-condition success
• Ff-else-body statement - body of else-condition success
• Else-if-body statement - body of else-if-condition success

Fields

condition: IfCondition<'a, E>

If-condition

body: IfBodyStatements<'a, E>

If-body statement - body of if-condition success

else_statement: Option<IfBodyStatements<'a, E>>

If-else-body statement - body of else-condition success

else_if_statement: Option<Box<IfStatement<'a, E>>>

Else-if-body statement - body of else-if-condition success

Trait Implementations

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

fn clone(&self) -> IfStatement<'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 IfStatement<'a, E>

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

Formats the value using the given formatter.

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

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

Converts to this type from the input type.

impl<E: ExtendedExpression> GetLocation for IfStatement<'_, E>

fn location(&self) -> CodeLocation

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

fn eq(&self, other: &IfStatement<'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 IfStatement<'a, E>