Struct MopAlias

pub struct MopAlias<'tcx> {
    pub tcx: TyCtxt<'tcx>,
    pub fn_map: FxHashMap<DefId, MopAAResult>,
}

Fields

tcx: TyCtxt<'tcx>

fn_map: FxHashMap<DefId, MopAAResult>

Implementations

impl<'tcx> MopAlias<'tcx>

pub fn new(tcx: TyCtxt<'tcx>) -> Self

fn handle_conor_cases(&mut self)

fn query_mop(&mut self, def_id: DefId)

Trait Implementations

impl<'tcx, T> AliasAnalysis<T> for MopAlias<'tcx>

where T: From<MopAAResult> + Clone,

fn get_fn_alias(&mut self, def_id: DefId) -> T

fn get_all_fn_alias(&mut self) -> FxHashMap<DefId, T>

impl<'tcx> Analysis for MopAlias<'tcx>

fn name(&self) -> &'static str

Return the name of the analysis.

fn run(&mut self)

Execute the analysis.

fn reset(&mut self)

Reset the analysis result.