Enum Postfix 

pub enum Postfix {
    Empty,
    Function(Arc<str>, Box<Expression>),
    Index(Box<Postfix>, Box<Expression>),
    Method(Box<Postfix>, Arc<str>, Box<Expression>),
    Inference(Arc<Reference>, Box<Expression>),
    Critical(Box<Postfix>),
    Primary(Box<Primary>),
}

Postfix expression AST for AIMX.

Captures postfix operations applied after primary expressions, including function calls, indexing, method calls, inference calls, criticalization, and flattened primaries for shallow trees.

Used by parse_postfix and ExpressionLike evaluation.

Variants

Empty

The empty placeholder _

Function(Arc<str>, Box<Expression>)

Function call with function name and argument expression

Index(Box<Postfix>, Box<Expression>)

Array indexing operation with base and index expressions

Method(Box<Postfix>, Arc<str>, Box<Expression>)

Method call on an object with method name and arguments

Inference(Arc<Reference>, Box<Expression>)

Inference call on a reference and arguments

Critical(Box<Postfix>)

Criticalization on a postfix expression

Primary(Box<Primary>)

Primary flattened AST optimization

Implementations

impl Postfix

pub fn is_empty(&self) -> bool

Returns true if this is Postfix::Empty.

pub fn print(&self, writer: &mut Writer)

Trait Implementations

impl Clone for Postfix

fn clone(&self) -> Postfix

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Postfix

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

Formats the value using the given formatter.

impl Display for Postfix

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

Formats the value using the given formatter.

impl ExpressionLike for Postfix

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

Evaluate postfix expression in context.

Function/method/inference calls are delegated via ContextLike. Indexing supports arrays and collections; Critical turns Value::Errata into a CriticalError.

fn to_formula(&self) -> String

Return the formula-string representation (round-trippable by the parser).

impl PartialEq for Postfix

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

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

Serialize this expression with the given Writer.

fn to_stringized(&self) -> String

Return a string representation (raw unsafe output).

fn to_sanitized(&self) -> String

Return a sanitized string representation (escaped for safe output).

fn to_expressionized(&self) -> String

Return a sanitized string representation (escaped for safe output).

impl StructuralPartialEq for Postfix