Struct ResolvedInfixExpression 

pub struct ResolvedInfixExpression<'r, R: InfixExpressionResolver<H>, H: HostTypes> { /* private fields */ }

Phase 8 (orphan-closure) — content-addressed wrapper for InfixExpression<H>.

Caches the resolver’s lookup at construction. Accessors return the cached record’s fields when present, falling back to the Null{Class}<H> absent sentinels when the resolver returned None. Object accessors always return absent sentinels — use the resolve_{m} chain methods to descend into sub-records.

Implementations

impl<'r, R: InfixExpressionResolver<H>, H: HostTypes> ResolvedInfixExpression<'r, R, H>

pub fn new(handle: InfixExpressionHandle<H>, resolver: &'r R) -> Self

Construct the wrapper, eagerly resolving the handle.

pub const fn handle(&self) -> InfixExpressionHandle<H>

The handle this wrapper resolves.

pub const fn resolver(&self) -> &'r R

The resolver supplied at construction.

pub const fn record(&self) -> Option<&InfixExpressionRecord<H>>

The cached record, or None when the resolver returned None.

impl<'r, R: InfixExpressionResolver<H>, H: HostTypes> ResolvedInfixExpression<'r, R, H>

pub fn resolve_left_operand<'r2, R2: TermExpressionResolver<H>>( &self, r: &'r2 R2, ) -> Option<ResolvedTermExpression<'r2, R2, H>>

Promote the left_operand handle on the cached record into a resolved wrapper, given a resolver for the range class. Returns None if no record was resolved at construction.

pub fn resolve_right_operand<'r2, R2: TermExpressionResolver<H>>( &self, r: &'r2 R2, ) -> Option<ResolvedTermExpression<'r2, R2, H>>

Promote the right_operand handle on the cached record into a resolved wrapper, given a resolver for the range class. Returns None if no record was resolved at construction.

Trait Implementations

impl<'r, R: InfixExpressionResolver<H>, H: HostTypes> InfixExpression<H> for ResolvedInfixExpression<'r, R, H>

type TermExpression = NullTermExpression<H>

Associated type for TermExpression.

fn left_operand(&self) -> &Self::TermExpression

The left operand of an infix expression.

fn right_operand(&self) -> &Self::TermExpression

The right operand of an infix expression.

fn infix_operator(&self) -> &H::HostString

The operator symbol in an infix expression (e.g., ‘=’, ‘\u{2264}’, ‘\u{2192}’).

impl<'r, R: InfixExpressionResolver<H>, H: HostTypes> TermExpression<H> for ResolvedInfixExpression<'r, R, H>