Struct AwaitChecker

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

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.

Implementations

impl AwaitChecker

pub fn new() -> Self

Initializes a new AwaitChecker.

pub fn remove(&mut self, name: &Symbol) -> 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.