Lines Matching refs:getStateManager
71 ASTContext &Ctx = getState()->getStateManager().getContext();
219 State->getStateManager().getRegionManager().getParamVarRegion(
343 CD.II = &getState()->getStateManager().getContext().Idents.get(
405 ASTContext &Ctx = getState()->getStateManager().getContext();
527 ExprEngine &Engine = getState()->getStateManager().getOwningEngine();
563 ExprEngine &Engine = getState()->getStateManager().getOwningEngine();
591 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
791 ProgramStateManager &StateMgr = getState()->getStateManager();
866 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
909 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
1102 getState()->getStateManager().getOwningEngine().getAnalysisManager();
1356 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
1403 SValBuilder &SVB = State->getStateManager().getSValBuilder();
1426 SValBuilder &SVB = State->getStateManager().getSValBuilder();