Struct VariableTracker 

pub struct VariableTracker<'ctx> { /* private fields */ }

Tracks variable definitions and their mutability state.

Implementations

impl<'ctx> VariableTracker<'ctx>

pub fn extend_from_environment(&mut self, environment: &Environment<'ctx>)

Extends the variable tracker from the variables present in the environment.

pub fn insert(&mut self, var: Binding<'ctx>) -> Option<Binding<'ctx>>

Inserts a semantic definition for a variable. Returns the old value if the variable was already defined.

pub fn is_mut(&self, var_id: &VarId<'ctx>) -> bool

Returns true if the variable is currently mutable. A variable is mutable only if declared mutable AND not referenced.

pub fn is_mut_expr(&self, expr: &ExprAndId<'ctx>) -> bool

Returns true if the expression is a variable or a member access of a mutable variable.

pub fn report_var_mutability_error( &self, db: &'ctx dyn Database, diagnostics: &mut SemanticDiagnostics<'ctx>, var_id: &VarId<'ctx>, error_ptr: impl Into<SyntaxStablePtrId<'ctx>>, immutable_diagnostic: SemanticDiagnosticKind<'ctx>, )

Reports a mutability error if the variable cannot be modified.

pub fn mark_referenced( &mut self, expr: &ExprAndId<'ctx>, reference_location: SyntaxStablePtrId<'ctx>, )

Marks an expression as pointed to if it refers to a mutable variable.

Trait Implementations

impl<'ctx> Debug for VariableTracker<'ctx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'ctx> Default for VariableTracker<'ctx>

fn default() -> VariableTracker<'ctx>

Returns the “default value” for a type.

impl<'ctx> PartialEq for VariableTracker<'ctx>

fn eq(&self, other: &VariableTracker<'ctx>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'ctx> Eq for VariableTracker<'ctx>

impl<'ctx> StructuralPartialEq for VariableTracker<'ctx>