Struct ResolvedApplicationExpression 

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

Phase 8 (orphan-closure) — content-addressed wrapper for ApplicationExpression<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: ApplicationExpressionResolver<H>, H: HostTypes> ResolvedApplicationExpression<'r, R, H>

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

Construct the wrapper, eagerly resolving the handle.

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

The handle this wrapper resolves.

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

The resolver supplied at construction.

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

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

impl<'r, R: ApplicationExpressionResolver<H>, H: HostTypes> ResolvedApplicationExpression<'r, R, H>

pub fn resolve_expression_operator<'r2, R2: OperationResolver<H>>( &self, r: &'r2 R2, ) -> Option<ResolvedOperation<'r2, R2, H>>

Promote the expression_operator 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: ApplicationExpressionResolver<H>, H: HostTypes> ApplicationExpression<H> for ResolvedApplicationExpression<'r, R, H>

type Operation = NullOperation<H>

Associated type for Operation.

type TermExpression = NullTermExpression<H>

Associated type for TermExpression.

fn expression_operator(&self) -> &Self::Operation

The operator in an application expression (e.g., op:add, op:neg).

fn arguments(&self) -> &[Self::TermExpression]

The argument list of an application expression. Non-functional: an application may take multiple arguments.

impl<'r, R: ApplicationExpressionResolver<H>, H: HostTypes> TermExpression<H> for ResolvedApplicationExpression<'r, R, H>