Trait jj_lib::dsl_util::AliasExpandableExpression

pub trait AliasExpandableExpression<'i>: FoldableExpression<'i> {
    // Required methods
    fn identifier(name: &'i str) -> Self;
    fn function_call(function: Box<FunctionCallNode<'i, Self>>) -> Self;
    fn alias_expanded(
        id: AliasId<'i>,
        subst: Box<ExpressionNode<'i, Self>>,
    ) -> Self;
}

Expression item that supports alias substitution.

Required Methods

fn identifier(name: &'i str) -> Self

Wraps identifier.

fn function_call(function: Box<FunctionCallNode<'i, Self>>) -> Self

Wraps function call.

fn alias_expanded(id: AliasId<'i>, subst: Box<ExpressionNode<'i, Self>>) -> Self

Wraps substituted expression.

Object Safety

This trait is not object safe.

Implementors

impl<'i> AliasExpandableExpression<'i> for ExpressionKind<'i>