Lines Matching defs:Mgr

39     ProgramStateManager &Mgr = s->getStateManager();
40     Mgr.StateSet.RemoveNode(s);
42     Mgr.freeStates.push_back(s);
118   ProgramStateManager &Mgr = getStateManager();
119   ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),
123     return Mgr.getOwningEngine().processRegionChange(newState, MR, LCtx);
131   ProgramStateManager &Mgr = getStateManager();
133   const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V);
135   return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx);
140   ProgramStateManager &Mgr = getStateManager();
142   const StoreRef &newStore = Mgr.StoreMgr->BindDefaultZero(getStore(), R);
144   return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx);
169   ProgramStateManager &Mgr = getStateManager();
170   ExprEngine &Eng = Mgr.getOwningEngine();
182   const StoreRef &NewStore = Mgr.StoreMgr->invalidateRegions(
485   ProgramStateManager &Mgr = getStateManager();
488   Mgr.getStoreManager().printJson(Out, getStore(), NL, Space, IsDot);
491   Env.printJson(Out, Mgr.getContext(), LCtx, NL, Space, IsDot);
494   Mgr.getConstraintManager().printJson(Out, this, NL, Space, IsDot);
500   Mgr.getOwningEngine().printJson(Out, this, LCtx, NL, Space, IsDot);