Struct libslide::partial_evaluator::variable_expand::EagerVariableExpander

struct EagerVariableExpander<'a> {
    expr: RcExpr,
    expand_def: Option<&'a Assignment>,
}

Eagerly expands variables in an expression.

An EagerVariableExpander expands all matching variables on every call to expand.

For example, "a + b".expand("a = b + 1").expand("b = c") would expand to "c + 1 + c". Compare this to a LazyVariableExpander.

Note, however, that an EagerVariableExpander will not try to expand variables within an expanded variable definition on the same call to expand.

For example, "a".expand("a = a + a") would expand to "a + a" rather than "a + a + a + a + ...".

Fields

expr: RcExpr

expand_def: Option<&'a Assignment>

Trait Implementations

impl<'a> ExpressionTransformer<'a> for EagerVariableExpander<'a>

fn transform_var(&self, var: &'a InternedStr, span: Span) -> RcExpr

fn transform(&self, expr: &'a RcExpr) -> RcExpr

fn transform_const(&self, konst: &f64, span: Span) -> RcExpr

fn transform_binary_op(&self, op: BinaryOperator) -> BinaryOperator

fn transform_binary(&self, expr: &'a BinaryExpr<RcExpr>, span: Span) -> RcExpr

fn transform_unary_op(&self, op: UnaryOperator) -> UnaryOperator

fn transform_unary(&self, expr: &'a UnaryExpr<RcExpr>, span: Span) -> RcExpr

fn transform_parend(&self, expr: &'a RcExpr, span: Span) -> RcExpr

fn transform_bracketed(&self, expr: &'a RcExpr, span: Span) -> RcExpr

impl<'a> VariableExpander<'a> for EagerVariableExpander<'a>

fn new(expr: RcExpr) -> Self

Creates a new VariableExpander from an expression to expand.

fn expand(self, asgn: &'a Assignment) -> Self

Expands the variables matching the lhs of asgn with the assignment definition. Consumes and returns self, providing a chaining API.

fn finish(self) -> RcExpr

Consumes self and returns the owned expression with any variables expanded.