Struct bytecode::compositional_analysis::SummaryCache

pub struct SummaryCache<'a> { /* private fields */ }

Provides access to procedure summaries that have already been computed

Implementations

impl<'a> SummaryCache<'a>

pub fn new(targets: &'a FunctionTargetsHolder, global_env: &'a GlobalEnv) -> Self

pub fn get<Summary: 'static>( &self, fun_id: QualifiedId<FunId>, variant: &FunctionVariant ) -> Option<&Summary>

Return a summary for a variant of fun_id. Returns None if fun_id is a native function

pub fn global_env(&self) -> &GlobalEnv