Struct Analyzer 

struct Analyzer<'a, 'gcx> {
    ctx: &'a LintContext<'a, 'a>,
    gcx: Gcx<'gcx>,
    pending: HashMap<VariableId, Span>,
}

Tracks state variable writes that no later read has observed yet; a second write to such a variable makes the pending one redundant.

Fields

ctx: &'a LintContext<'a, 'a>

gcx: Gcx<'gcx>

pending: HashMap<VariableId, Span>

Implementations

impl Analyzer<'_, '_>

fn check_block(&mut self, block: Block<'_>) -> bool

Returns whether control flow continues past the block.

fn check_stmt(&mut self, stmt: &Stmt<'_>) -> bool

Returns whether control flow continues past the statement.

fn isolated<T>(&mut self, f: impl FnOnce(&mut Self) -> T) -> T

Runs f on a fresh pending set and discards its result set afterwards.

fn process_expr(&mut self, expr: &Expr<'_>)

Tracks the writes and reads of an expression evaluated for its side effects.

fn write_lhs(&mut self, lhs: &Expr<'_>, span: Span)

Records a plain = write; tuple destructuring records each component with its own span.

fn write(&mut self, var: VariableId, span: Span)

fn reads(&mut self, expr: &Expr<'_>)

Removes every state variable read by expr from the pending writes. Nested writes are tracked through Self::process_expr.

fn read_call_parts( &mut self, callee: &Expr<'_>, args: &CallArgs<'_>, opts: Option<&CallOptions<'_>>, )

Callee, arguments and call options are all evaluated before the call itself.

fn state_var(&self, expr: &Expr<'_>) -> Option<VariableId>

The state variable a bare identifier refers to.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 64 bytes