Skip to main content

analyze_program_with_modules

aver::analysis::shape

Function analyze_program_with_modules 

Source 
pub fn analyze_program_with_modules(
    resolved_fns: &[&ResolvedFnDef],
    entry_items: &[TopLevel],
    dep_modules: &[ModuleInfo],
) -> ProgramShape
Expand description

Same as analyze_program but also detects module-level patterns (ModulePattern::RefinementSmartConstructor, …) by walking the source items and dep modules. Callers that have both the resolved-fn snapshot and the source items should prefer this.