Lines Matching refs:getStateManager
40 ProgramStateManager &Mgr = s->getStateManager();
118 getStateManager().StoreMgr->BindCompoundLiteral(getStore(), CL, LC, V);
124 getStateManager().StoreMgr->BindDecl(getStore(), VR, IVal);
130 getStateManager().StoreMgr->BindDeclWithNoInit(getStore(), VR);
135 ProgramStateManager &Mgr = getStateManager();
146 ProgramStateManager &Mgr = getStateManager();
175 ProgramStateManager &Mgr = getStateManager();
197 const StoreRef &newStore = getStateManager().StoreMgr->Remove(OldStore, LV);
209 getStateManager().StoreMgr->enterStackFrame(this, callerCtx, calleeCtx);
270 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V,
277 return getStateManager().getPersistentState(NewSt);
285 getStateManager().EnvMgr.bindExprAndLocation(Env,
294 return getStateManager().getPersistentState(NewSt);
307 ProgramStateManager &SM = getStateManager();
386 return getStateManager().getPersistentState(NewSt);
405 ProgramStateManager &Mgr = getStateManager();
577 SRM.reset(state->getStateManager().getStoreManager().