Struct c2rust_refactor::analysis::ownership::AnalysisResult

pub struct AnalysisResult<'lty, 'tcx> {
    pub statics: HashMap<DefId, PTy<'lty, 'tcx>>,
    pub funcs: HashMap<DefId, FunctionResult<'lty, 'tcx>>,
    pub variants: HashMap<DefId, VariantResult>,
    pub monos: HashMap<(DefId, usize), MonoResult>,
    // some fields omitted
}

The collected results of running the analysis.

Fields

statics: HashMap<DefId, PTy<'lty, 'tcx>>

The permission-labeled type of every non-fn item. This includes statics, consts, and struct/enum fields.

funcs: HashMap<DefId, FunctionResult<'lty, 'tcx>>

Results for to each (analysis-level) function. Note that only the primary variant of each variant group will have its DefId present in this table - look up variants[&id].func_id first if you aren't sure whether a fn is a primary variant.

variants: HashMap<DefId, VariantResult>

Results for to each variant fn. Every fn that was analyzed should have an entry in this table.

monos: HashMap<(DefId, usize), MonoResult>

Results for each monomorphization of each analysis-level function, indexed by function ID and monomorphization index.

Methods

impl<'lty, 'tcx> AnalysisResult<'lty, 'tcx>

pub fn fn_results(
    &self,
    id: DefId
) -> (&FunctionResult<'lty, 'tcx>, &VariantResult)

Get the function and variant results for a fn item-like.

pub fn arena(&self) -> &'lty SyncDroplessArena