Struct StaticAnalyzingVisitor

pub struct StaticAnalyzingVisitor<'a> {
    pub state: &'a mut CompilerState,
    pub await_checker: AwaitChecker,
    pub current_program: Symbol,
    pub variant: Option<Variant>,
    pub non_async_external_call_seen: bool,
}

Fields

state: &'a mut CompilerState

await_checker: AwaitChecker

Struct to store the state relevant to checking all futures are awaited.

current_program: Symbol

The current program name.

variant: Option<Variant>

The variant of the function that we are currently traversing.

non_async_external_call_seen: bool

Whether or not a non-async external call has been seen in this function.

Implementations

impl StaticAnalyzingVisitor<'_>

pub fn emit_err(&self, err: StaticAnalyzerError)

pub fn emit_warning(&self, warning: StaticAnalyzerWarning)

Emits a type checker warning

pub fn assert_future_await(&mut self, future: &Option<&Expression>, span: Span)

Type checks the awaiting of a future.

pub fn assert_simple_async_transition_call( &mut self, program: Symbol, function_name: Symbol, span: Span, )

Assert that an async call is a “simple” one. Simple is defined as an async transition function which does not return a Future that itself takes a Future as an argument.

Trait Implementations

impl ExpressionVisitor for StaticAnalyzingVisitor<'_>

type AdditionalInput = ()

type Output = ()

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

fn visit_call( &mut self, input: &CallExpression, _: &Self::AdditionalInput, ) -> Self::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_binary( &mut self, input: &BinaryExpression, 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 StaticAnalyzingVisitor<'_>

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

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

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

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_stub(&mut self, _input: &FunctionStub)

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

impl StatementVisitor for StaticAnalyzingVisitor<'_>

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

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_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 StaticAnalyzingVisitor<'_>

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)