Struct StorageLoweringVisitor

pub struct StorageLoweringVisitor<'a> {
    pub state: &'a mut CompilerState,
    pub program: Symbol,
    pub new_mappings: IndexMap<Symbol, Mapping>,
}

Fields

state: &'a mut CompilerState

program: Symbol

new_mappings: IndexMap<Symbol, Mapping>

Implementations

impl StorageLoweringVisitor<'_>

pub fn generate_mapping_names_for_vector( &self, expr: &Expression, ) -> (Symbol, Symbol)

Generate mapping names for a vector expression. Each vector is represented using two mappings: a mapping for values and a mapping for the length.

pub fn symbol_to_path_expr(&mut self, sym: Symbol) -> Expression

Creates a path expression from a symbol

pub fn literal_false(&mut self) -> Expression

Standard literal expressions used frequently

pub fn literal_zero_u32(&mut self) -> Expression

pub fn literal_one_u32(&mut self) -> Expression

pub fn get_vector_len_expr( &mut self, len_path_expr: Expression, span: Span, ) -> Expression

Generates Mapping::get_or_use(len_path_expr, false, 0u32)

pub fn set_mapping_expr( &mut self, path_expr: Expression, key_expr: Expression, value_expr: Expression, span: Span, ) -> Expression

Generates Mapping::set(path_expr, key_expr, value_expr)

pub fn get_mapping_expr( &mut self, path_expr: Expression, key_expr: Expression, span: Span, ) -> Expression

Generates Mapping::get(path_expr, key_expr)

pub fn get_or_use_mapping_expr( &mut self, path_expr: Expression, key_expr: Expression, default_expr: Expression, span: Span, ) -> Expression

Generates Mapping::get_or_use(path_expr, key_expr, default_expr)

pub fn ternary_expr( &mut self, condition: Expression, if_true: Expression, if_false: Expression, span: Span, ) -> Expression

Generates a ternary expression

pub fn binary_expr( &mut self, left: Expression, op: BinaryOperation, right: Expression, ) -> Expression

Generates a binary expression

pub fn zero(&self, ty: &Type) -> Expression

Produces a zero expression for Type ty.

Trait Implementations

impl AstReconstructor for StorageLoweringVisitor<'_>

type AdditionalInput = ()

type AdditionalOutput = Vec<Statement>

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

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

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

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

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

fn reconstruct_repeat( &mut self, input: RepeatExpression, _additional: &(), ) -> (Expression, Self::AdditionalOutput)

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

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

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

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

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

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

fn reconstruct_path( &mut self, input: Path, _additional: &(), ) -> (Expression, Self::AdditionalOutput)

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

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

fn reconstruct_unary( &mut self, input: UnaryExpression, _addiional: &(), ) -> (Expression, 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, block: 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)

fn reconstruct_type(&mut self, input: Type) -> (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_optional_type( &mut self, input: OptionalType, ) -> (Type, Self::AdditionalOutput)

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

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

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

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

fn reconstruct_async( &mut self, input: AsyncExpression, _additional: &Self::AdditionalInput, ) -> (Expression, Self::AdditionalOutput)

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

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

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

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

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

impl ProgramReconstructor for StorageLoweringVisitor<'_>

fn reconstruct_program_scope(&mut self, input: ProgramScope) -> ProgramScope

fn reconstruct_storage_variable( &mut self, input: StorageVariable, ) -> StorageVariable

fn reconstruct_program(&mut self, input: Program) -> Program

fn reconstruct_stub(&mut self, input: Stub) -> Stub

fn reconstruct_module(&mut self, input: Module) -> Module

fn reconstruct_function(&mut self, input: Function) -> Function

fn reconstruct_constructor(&mut self, input: Constructor) -> Constructor

fn reconstruct_function_stub(&mut self, input: FunctionStub) -> FunctionStub

fn reconstruct_struct(&mut self, input: Composite) -> Composite

fn reconstruct_import(&mut self, input: Program) -> Program

fn reconstruct_mapping(&mut self, input: Mapping) -> Mapping