Trait AstReconstructor

pub trait AstReconstructor {
    type AdditionalOutput: Default;

    // Provided methods
    fn reconstruct_type(
        &mut self,
        input: Type,
    ) -> (Type, Self::AdditionalOutput) { ... }
    fn reconstruct_array_type(
        &mut self,
        input: ArrayType,
    ) -> (Type, Self::AdditionalOutput) { ... }
    fn reconstruct_composite_type(
        &mut self,
        input: CompositeType,
    ) -> (Type, Self::AdditionalOutput) { ... }
    fn reconstruct_future_type(
        &mut self,
        input: FutureType,
    ) -> (Type, Self::AdditionalOutput) { ... }
    fn reconstruct_mapping_type(
        &mut self,
        input: MappingType,
    ) -> (Type, Self::AdditionalOutput) { ... }
    fn reconstruct_tuple_type(
        &mut self,
        input: TupleType,
    ) -> (Type, Self::AdditionalOutput) { ... }
    fn reconstruct_expression(
        &mut self,
        input: Expression,
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_array_access(
        &mut self,
        input: ArrayAccess,
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_associated_constant(
        &mut self,
        input: AssociatedConstantExpression,
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_associated_function(
        &mut self,
        input: AssociatedFunctionExpression,
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_member_access(
        &mut self,
        input: MemberAccess,
    ) -> (Expression, Self::AdditionalOutput) { ... }
    fn reconstruct_repeat(
        &mut self,
        input: RepeatExpression,
    ) -> (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) { ... }
    fn reconstruct_statement(
        &mut self,
        input: Statement,
    ) -> (Statement, Self::AdditionalOutput) { ... }
    fn reconstruct_assert(
        &mut self,
        input: AssertStatement,
    ) -> (Statement, Self::AdditionalOutput) { ... }
    fn reconstruct_assign(
        &mut self,
        input: AssignStatement,
    ) -> (Statement, Self::AdditionalOutput) { ... }
    fn reconstruct_block(
        &mut self,
        input: Block,
    ) -> (Block, Self::AdditionalOutput) { ... }
    fn reconstruct_conditional(
        &mut self,
        input: ConditionalStatement,
    ) -> (Statement, Self::AdditionalOutput) { ... }
    fn reconstruct_const(
        &mut self,
        input: ConstDeclaration,
    ) -> (Statement, Self::AdditionalOutput) { ... }
    fn reconstruct_definition(
        &mut self,
        input: DefinitionStatement,
    ) -> (Statement, Self::AdditionalOutput) { ... }
    fn reconstruct_expression_statement(
        &mut self,
        input: ExpressionStatement,
    ) -> (Statement, Self::AdditionalOutput) { ... }
    fn reconstruct_iteration(
        &mut self,
        input: IterationStatement,
    ) -> (Statement, Self::AdditionalOutput) { ... }
    fn reconstruct_return(
        &mut self,
        input: ReturnStatement,
    ) -> (Statement, Self::AdditionalOutput) { ... }
}

A Reconstructor trait for types in the AST.

Required Associated Types

type AdditionalOutput: Default

Provided Methods

fn reconstruct_type(&mut self, input: Type) -> (Type, Self::AdditionalOutput)

fn reconstruct_array_type( &mut self, input: ArrayType, ) -> (Type, Self::AdditionalOutput)

fn reconstruct_composite_type( &mut self, input: CompositeType, ) -> (Type, Self::AdditionalOutput)

fn reconstruct_future_type( &mut self, input: FutureType, ) -> (Type, Self::AdditionalOutput)

fn reconstruct_mapping_type( &mut self, input: MappingType, ) -> (Type, Self::AdditionalOutput)

fn reconstruct_tuple_type( &mut self, input: TupleType, ) -> (Type, Self::AdditionalOutput)

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

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

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

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

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

fn reconstruct_repeat( &mut self, input: RepeatExpression, ) -> (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)

fn reconstruct_statement( &mut self, input: Statement, ) -> (Statement, Self::AdditionalOutput)

fn reconstruct_assert( &mut self, input: AssertStatement, ) -> (Statement, Self::AdditionalOutput)

fn reconstruct_assign( &mut self, input: AssignStatement, ) -> (Statement, Self::AdditionalOutput)

fn reconstruct_block(&mut self, input: Block) -> (Block, Self::AdditionalOutput)

fn reconstruct_conditional( &mut self, input: ConditionalStatement, ) -> (Statement, Self::AdditionalOutput)

fn reconstruct_const( &mut self, input: ConstDeclaration, ) -> (Statement, Self::AdditionalOutput)

fn reconstruct_definition( &mut self, input: DefinitionStatement, ) -> (Statement, Self::AdditionalOutput)

fn reconstruct_expression_statement( &mut self, input: ExpressionStatement, ) -> (Statement, Self::AdditionalOutput)

fn reconstruct_iteration( &mut self, input: IterationStatement, ) -> (Statement, Self::AdditionalOutput)

fn reconstruct_return( &mut self, input: ReturnStatement, ) -> (Statement, Self::AdditionalOutput)

Implementors