Struct Usage 

pub struct Usage<'db> {
    pub usage: OrderedHashMap<MemberPath<'db>, ExprVarMemberPath<'db>>,
    pub changes: OrderedHashMap<MemberPath<'db>, ExprVarMemberPath<'db>>,
    pub snap_usage: OrderedHashMap<MemberPath<'db>, ExprVarMemberPath<'db>>,
    pub introductions: OrderedHashSet<VarId<'db>>,
    pub has_early_return: bool,
}

Usages of variables and member paths in semantic code.

Fields

usage: OrderedHashMap<MemberPath<'db>, ExprVarMemberPath<'db>>

Member paths that are read.

changes: OrderedHashMap<MemberPath<'db>, ExprVarMemberPath<'db>>

Member paths that are assigned to.

snap_usage: OrderedHashMap<MemberPath<'db>, ExprVarMemberPath<'db>>

Member paths that are read as snapshots.

introductions: OrderedHashSet<VarId<'db>>

Variables that are defined.

has_early_return: bool

indicates that the expression has an early return.

Implementations

impl<'db> Usage<'db>

pub fn add_usage_and_changes(&mut self, usage: &Usage<'db>)

Adds the usage and changes from ‘usage’ to self, Ignoring introductions.

pub fn finalize_as_scope(&mut self)

Removes usage that was introduced current block and usage that is already covered by containing variables.

Trait Implementations

impl<'db> Clone for Usage<'db>

fn clone(&self) -> Usage<'db>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'db> Debug for Usage<'db>

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

Formats the value using the given formatter.

impl<'db> DebugWithDb<'db> for Usage<'db>

type Db = ExprFormatter<'db>

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

fn debug<'me>(&'me self, db: &'db Self::Db) -> DebugWith<'me, 'db, Self::Db>

where Self: Sized + 'me,

fn into_debug<'me>(self, db: &'db Self::Db) -> DebugWith<'me, 'db, Self::Db>

where Self: Sized + 'me,

impl<'db> Default for Usage<'db>

fn default() -> Usage<'db>

Returns the “default value” for a type.