Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Manager

816   RetainSummaryManager &Manager;
822     : Manager(mgr), RealSummary(real), ScratchSummary(*real), Accessed(false) {}
826       RealSummary = Manager.getPersistentSummary(ScratchSummary);