struct SymbolAccessCollector<'a> {
state: &'a CompilerState,
symbol_accesses: IndexSet<(Vec<Symbol>, Option<usize>)>,
}
Expand description
Collects all symbol accesses within an async block,
including both direct variable identifiers (x
) and tuple field accesses (x.0
, x.1
, etc.).
Each access is recorded as a pair: (Symbol, Option
None
means a direct variable access.Some(index)
means a tuple field access.
Fields§
§state: &'a CompilerState
§symbol_accesses: IndexSet<(Vec<Symbol>, Option<usize>)>
Trait Implementations§
Source§impl AstVisitor for SymbolAccessCollector<'_>
impl AstVisitor for SymbolAccessCollector<'_>
type AdditionalInput = ()
type Output = ()
fn visit_path( &mut self, input: &Path, _: &Self::AdditionalInput, ) -> Self::Output
fn visit_tuple_access( &mut self, input: &TupleAccess, _: &Self::AdditionalInput, ) -> Self::Output
fn visit_type(&mut self, input: &Type)
fn visit_array_type(&mut self, input: &ArrayType)
fn visit_composite_type(&mut self, input: &CompositeType)
fn visit_future_type(&mut self, input: &FutureType)
fn visit_mapping_type(&mut self, input: &MappingType)
fn visit_optional_type(&mut self, input: &OptionalType)
fn visit_tuple_type(&mut self, input: &TupleType)
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_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_async( &mut self, input: &AsyncExpression, _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_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
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)
Source§impl ProgramVisitor for SymbolAccessCollector<'_>
impl ProgramVisitor for SymbolAccessCollector<'_>
fn visit_program(&mut self, input: &Program)
fn visit_program_scope(&mut self, input: &ProgramScope)
fn visit_module(&mut self, input: &Module)
fn visit_stub(&mut self, _input: &Stub)
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_constructor(&mut self, input: &Constructor)
fn visit_function_stub(&mut self, _input: &FunctionStub)
fn visit_struct_stub(&mut self, _input: &Composite)
Auto Trait Implementations§
impl<'a> Freeze for SymbolAccessCollector<'a>
impl<'a> !RefUnwindSafe for SymbolAccessCollector<'a>
impl<'a> !Send for SymbolAccessCollector<'a>
impl<'a> !Sync for SymbolAccessCollector<'a>
impl<'a> Unpin for SymbolAccessCollector<'a>
impl<'a> !UnwindSafe for SymbolAccessCollector<'a>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more