Struct semantic_analyzer::ast::ExpressionLogicCondition

pub struct ExpressionLogicCondition<'a, E: ExtendedExpression> {
    pub left: ExpressionCondition<'a, E>,
    pub right: Option<(LogicCondition, Box<ExpressionLogicCondition<'a, E>>)>,
}

Logic expression condition

ExpressionLogicCondition expression logic condition used for IfCondition declaration. Expression logic condition can contains left and optional right parts. Right part represent logic condition (like or, and) to other ExpressionLogicCondition. So finally ir can represent tree expressions logic conditions.

Fields

left: ExpressionCondition<'a, E>

Left expression condition

right: Option<(LogicCondition, Box<ExpressionLogicCondition<'a, E>>)>

Optional right side contain logic operation to other ExpressionLogicCondition

Trait Implementations

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

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

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

Formats the value using the given formatter.

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

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

Converts to this type from the input type.

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

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