Enum LogicalAnd

pub enum LogicalAnd {
    And(Box<LogicalAnd>, Equality),
    Primary(Box<Primary>),
}

A logical AND expression node in the abstract syntax tree.

Represents a logical AND 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 LogicalAnd enum forms part of the recursive AST structure where:

• And nodes represent binary AND operations
• Primary nodes represent flattened expressions from lower precedence levels

Variants

And(Box<LogicalAnd>, Equality)

Represents a binary logical AND operation. The left operand is another LogicalAnd expression (allowing chaining), and the right operand is an Equality expression (higher precedence than logical operators).

Primary(Box<Primary>)

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

Examples

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

// Represents the expression: true & false
let and_expr = LogicalAnd::And(
    Box::new(LogicalAnd::Primary(Box::new(Primary::Literal(Literal::Bool(true))))),
    Equality::Primary(Box::new(Primary::Literal(Literal::Bool(false))))
);

Evaluation

When evaluated, LogicalAnd expressions:

• Require boolean operands for AND operations
• Return true only if both operands evaluate to true
• Provide detailed error messages for type mismatches

See Also

• LogicalOr - Logical OR expressions
• Equality - Higher precedence operations
• Primary - Base expression types

Variants

And(Box<LogicalAnd>, Equality)

Primary(Box<Primary>)

Primary flattened AST optimization

Trait Implementations

impl Clone for LogicalAnd

fn clone(&self) -> LogicalAnd

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LogicalAnd

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

Formats the value using the given formatter.

impl Display for LogicalAnd

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

Formats the value using the given formatter.

impl ExpressionLike for LogicalAnd

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 LogicalAnd

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