Struct pomelo_ty::usages::UsageCtxt

pub struct UsageCtxt<'a> {
    hir: &'a File,
    val_map: HashMap<(LongVId, DefLoc), Vec<ValUsage>>,
    ty_map: HashMap<(LongTyCon, DefLoc), Vec<TyUsage>>,
    exception_map: HashMap<Idx<Dec>, Vec<Idx<Expr>>>,
}

Tracks variable, type constructor, and exception usages.

TODO: track tyvars? TODO: exception_map is not being used right now, everything is being treated as a VId

Fields

hir: &'a File

val_map: HashMap<(LongVId, DefLoc), Vec<ValUsage>>

ty_map: HashMap<(LongTyCon, DefLoc), Vec<TyUsage>>

exception_map: HashMap<Idx<Dec>, Vec<Idx<Expr>>>

Implementations

impl<'a> UsageCtxt<'a>

pub fn new(hir: &'a File) -> Self

pub fn register_value(&mut self, usage: ValUsage, def: (LongVId, DefLoc))

pub fn register_tycon(&mut self, usage: TyUsage, def: (LongTyCon, DefLoc))

pub fn register_exception(&mut self, usage: Idx<Expr>, def: Idx<Dec>)

pub fn lookup_value(&self, def: &(LongVId, DefLoc)) -> Option<&[ValUsage]>

pub fn lookup_tycon(&self, def: &(LongTyCon, DefLoc)) -> Option<&[TyUsage]>

pub fn lookup_exception(&self, def: Idx<Dec>) -> Option<&[Idx<Expr>]>

pub fn arenas(&self) -> &impl FileArena

impl<'a> UsageCtxt<'a>

fn visit_databind(&mut self, databind: &DataBind)

fn visit_mrule(&mut self, mrule: &MRule)

Trait Implementations

impl<'a> Clone for UsageCtxt<'a>

fn clone(&self) -> UsageCtxt<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for UsageCtxt<'a>

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

Formats the value using the given formatter.

impl<'a> HirVisitor for UsageCtxt<'a>

fn visit_dec(&mut self, dec: Idx<Dec>)

fn visit_expr(&mut self, expr: Idx<Expr>)

fn visit_pat(&mut self, pat: Idx<Pat>)

fn visit_ty(&mut self, ty: Idx<Ty>)