Method new

src/analysis/pointsto/mod.rs:58–64

(body: &'a Body<'tcx>, tcx: TyCtxt<'tcx>)

impl<'a, 'tcx> Andersen<'a, 'tcx> {
    pub fn new(body: &'a Body<'tcx>, tcx: TyCtxt<'tcx>) -> Self {
        Self {
            body,
            tcx,
            pts: Default::default(),
        }
    }

    pub fn analyze(&mut self) {
        let mut collector = ConstraintGraphCollector::new(self.body, self.tcx);