Struct AwaitChecker

pub struct AwaitChecker {
    pub(crate) to_await: Vec<ConditionalTreeNode>,
    pub(crate) static_to_await: IndexSet<Symbol>,
    pub(crate) enabled: bool,
    pub(crate) max_depth: usize,
}

Fields

to_await: Vec<ConditionalTreeNode>

All possible subsets of futures that must be awaited.

static_to_await: IndexSet<Symbol>

Statically updated set of futures to await.

enabled: bool

Whether or not to do full tree search for await checking.

max_depth: usize

Maximum nesting depth to search for await checking.

Implementations

impl AwaitChecker

pub fn new(max_depth: usize, enabled: bool) -> Self

Initializes a new AwaitChecker.

pub fn remove(&mut self, id: &Identifier) -> bool

Remove from list. Returns true if there was a path where the future was not awaited in the order of the input list.

pub fn set_futures(&mut self, futures: IndexSet<Symbol>)

Initialize futures.

pub fn create_then_scope( &mut self, is_finalize: bool, input: Span, ) -> Result<Vec<ConditionalTreeNode>, StaticAnalyzerWarning>

Enter scope for then branch of conditional.

pub fn exit_then_scope( &mut self, is_finalize: bool, parent_nodes: Vec<ConditionalTreeNode>, ) -> Vec<ConditionalTreeNode>

Exit scope for then branch of conditional.

pub fn exit_statement_scope( &mut self, is_finalize: bool, then_nodes: Vec<ConditionalTreeNode>, )

Exit scope for conditional statement at current depth.