Struct SymbolTableCreationVisitor

struct SymbolTableCreationVisitor<'a> {
    state: &'a mut CompilerState,
    program_name: Symbol,
    is_stub: bool,
    structs: IndexSet<Symbol>,
}

Fields

state: &'a mut CompilerState

The state of the compiler.

program_name: Symbol

The current program name.

is_stub: bool

Whether or not traversing stub.

structs: IndexSet<Symbol>

The set of local structs that have been successfully visited.

Trait Implementations

impl ExpressionVisitor for SymbolTableCreationVisitor<'_>

type AdditionalInput = ()

type Output = ()

fn visit_expression( &mut self, input: &Expression, additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_array_access( &mut self, input: &ArrayAccess, additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_member_access( &mut self, input: &MemberAccess, additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_tuple_access( &mut self, input: &TupleAccess, additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_array( &mut self, input: &ArrayExpression, additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_associated_constant( &mut self, _input: &AssociatedConstantExpression, _additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_associated_function( &mut self, input: &AssociatedFunctionExpression, _additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_binary( &mut self, input: &BinaryExpression, additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_call( &mut self, input: &CallExpression, additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_cast( &mut self, input: &CastExpression, additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_struct_init( &mut self, input: &StructExpression, additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_err( &mut self, _input: &ErrExpression, _additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_identifier( &mut self, _input: &Identifier, _additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_literal( &mut self, _input: &Literal, _additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_locator( &mut self, _input: &LocatorExpression, _additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_repeat( &mut self, input: &RepeatExpression, additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_ternary( &mut self, input: &TernaryExpression, additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_tuple( &mut self, input: &TupleExpression, additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_unary( &mut self, input: &UnaryExpression, additional: &Self::AdditionalInput, ) -> Self::Output

fn visit_unit( &mut self, _input: &UnitExpression, _additional: &Self::AdditionalInput, ) -> Self::Output

impl ProgramVisitor for SymbolTableCreationVisitor<'_>

fn visit_program_scope(&mut self, input: &ProgramScope)

fn visit_import(&mut self, input: &Program)

fn visit_struct(&mut self, input: &Composite)

fn visit_mapping(&mut self, input: &Mapping)

fn visit_function(&mut self, input: &Function)

fn visit_stub(&mut self, input: &Stub)

fn visit_function_stub(&mut self, input: &FunctionStub)

fn visit_struct_stub(&mut self, input: &Composite)

fn visit_program(&mut self, input: &Program)

impl StatementVisitor for SymbolTableCreationVisitor<'_>

fn visit_statement(&mut self, input: &Statement)

fn visit_assert(&mut self, input: &AssertStatement)

fn visit_assign(&mut self, input: &AssignStatement)

fn visit_block(&mut self, input: &Block)

fn visit_conditional(&mut self, input: &ConditionalStatement)

fn visit_const(&mut self, input: &ConstDeclaration)

fn visit_definition(&mut self, input: &DefinitionStatement)

fn visit_expression_statement(&mut self, input: &ExpressionStatement)

fn visit_iteration(&mut self, input: &IterationStatement)

fn visit_return(&mut self, input: &ReturnStatement)

impl TypeVisitor for SymbolTableCreationVisitor<'_>

fn visit_type(&mut self, input: &Type)

fn visit_array_type(&mut self, input: &ArrayType)

fn visit_future_type(&mut self, input: &FutureType)

fn visit_mapping_type(&mut self, input: &MappingType)

fn visit_tuple_type(&mut self, input: &TupleType)