Function infer_constraints

src/program/infer/mod.rs:98–107

(programs: &Vec<PathBuf>, deopt: &Deopt)

}

pub fn infer_constraints(programs: &Vec<PathBuf>, deopt: &Deopt) -> Result<APIConstraints> {
    let mut constraints: HashMap<String, Vec<Constraint>> = HashMap::new();
    for program in programs {
        static_infer::infer_constraints(program, deopt, &mut constraints)?;
    }
    let mut refined = static_infer::refine_constraints(constraints.clone());
    dynamic_infer::infer(&mut refined, deopt)?;
    save_constraints(&refined, deopt)?;
    Ok(constraints)
}

fn save_constraints(constraints: &APIConstraints, deopt: &Deopt) -> Result<()> {
    let save_path: PathBuf = [deopt.get_library_misc_dir()?, "constraint.json".into()]