Trait leo_ast::passes::reconstructor::ExpressionReconstructor

pub trait ExpressionReconstructor {
    type AdditionalOutput: Default;

    // Provided methods
    fn reconstruct_expression(
        &mut self,
        input: Expression
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_access(
        &mut self,
        input: AccessExpression
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_array_access(
        &mut self,
        input: ArrayAccess
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_associated_constant(
        &mut self,
        input: AssociatedConstant
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_associated_function(
        &mut self,
        input: AssociatedFunction
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_member_access(
        &mut self,
        input: MemberAccess
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_tuple_access(
        &mut self,
        input: TupleAccess
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_array(
        &mut self,
        input: ArrayExpression
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_binary(
        &mut self,
        input: BinaryExpression
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_call(
        &mut self,
        input: CallExpression
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_cast(
        &mut self,
        input: CastExpression
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_struct_init(
        &mut self,
        input: StructExpression
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_err(
        &mut self,
        _input: ErrExpression
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_identifier(
        &mut self,
        input: Identifier
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_literal(
        &mut self,
        input: Literal
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_locator(
        &mut self,
        input: LocatorExpression
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_ternary(
        &mut self,
        input: TernaryExpression
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_tuple(
        &mut self,
        input: TupleExpression
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_unary(
        &mut self,
        input: UnaryExpression
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_unit(
        &mut self,
        input: UnitExpression
    ) -> (Expression, Self::AdditionalOutput) { ... }
}

A Reconstructor trait for expressions in the AST.

Required Associated Types

type AdditionalOutput: Default

Provided Methods

fn reconstruct_expression( &mut self, input: Expression ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_access( &mut self, input: AccessExpression ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_array_access( &mut self, input: ArrayAccess ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_associated_constant( &mut self, input: AssociatedConstant ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_associated_function( &mut self, input: AssociatedFunction ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_member_access( &mut self, input: MemberAccess ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_tuple_access( &mut self, input: TupleAccess ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_array( &mut self, input: ArrayExpression ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_binary( &mut self, input: BinaryExpression ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_call( &mut self, input: CallExpression ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_cast( &mut self, input: CastExpression ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_struct_init( &mut self, input: StructExpression ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_err( &mut self, _input: ErrExpression ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_identifier( &mut self, input: Identifier ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_literal( &mut self, input: Literal ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_locator( &mut self, input: LocatorExpression ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_ternary( &mut self, input: TernaryExpression ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_tuple( &mut self, input: TupleExpression ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_unary( &mut self, input: UnaryExpression ) -> (Expression, Self::AdditionalOutput)

fn reconstruct_unit( &mut self, input: UnitExpression ) -> (Expression, Self::AdditionalOutput)

Implementors