Enum LogicalOr

pub enum LogicalOr {
    Or(Box<LogicalOr>, LogicalAnd),
    Primary(Box<Primary>),
}

A logical OR expression node in the abstract syntax tree.

Represents a logical OR operation (| or ||) or a lower-precedence expression that has been flattened in the AST. This enum follows the recursive descent parsing pattern used throughout the AIMX expression grammar.

AST Structure

The LogicalOr enum forms part of the recursive AST structure where:

• Or nodes represent binary OR operations
• Primary nodes represent flattened expressions from lower precedence levels

Variants

Or(Box<LogicalOr>, LogicalAnd)

Represents a binary logical OR operation. The left operand is another LogicalOr expression (allowing chaining), and the right operand is a LogicalAnd expression (higher precedence than OR operations).

Primary(Box<Primary>)

Represents expressions that don’t contain logical OR operations. This variant is used for AST flattening optimization.

Examples

use aimx::expressions::{
    logical::LogicalOr,
    logical::LogicalAnd,
    primary::Primary,
};
use aimx::Literal;

// Represents the expression: true | false
let or_expr = LogicalOr::Or(
    Box::new(LogicalOr::Primary(Box::new(Primary::Literal(Literal::Bool(true))))),
    LogicalAnd::Primary(Box::new(Primary::Literal(Literal::Bool(false))))
);

Evaluation

When evaluated, LogicalOr expressions:

• Require boolean operands for OR operations
• Return true if at least one operand evaluates to true
• Provide detailed error messages for type mismatches
• Support short-circuit evaluation (right operand not evaluated if left is true)

See Also

• LogicalAnd - Logical AND expressions
• Primary - Base expression types

Variants

Or(Box<LogicalOr>, LogicalAnd)

Primary(Box<Primary>)

Primary flattened AST optimization

Trait Implementations

impl Clone for LogicalOr

fn clone(&self) -> LogicalOr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LogicalOr

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

Formats the value using the given formatter.

impl Display for LogicalOr

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

Formats the value using the given formatter.

impl ExpressionLike for LogicalOr

fn evaluate(&self, context: &mut dyn ContextLike) -> Result<Value>

Evaluate the expression within the given context.

fn write(&self, writer: &mut Writer)

Write this expression to the provided writer.

fn to_sanitized(&self) -> String

Convert this expression to a sanitized string representation.

fn to_formula(&self) -> String

Convert this expression to a formula string representation.

impl PartialEq for LogicalOr

fn eq(&self, other: &LogicalOr) -> 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 LogicalOr