Lines Matching refs:ProgramStateManager

9 //  This file implements ProgramState and ProgramStateManager.
39     ProgramStateManager &Mgr = s->getStateManager();
47 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env,
72 ProgramStateManager::ProgramStateManager(ASTContext &Ctx,
85 ProgramStateManager::~ProgramStateManager() {
91 ProgramStateRef ProgramStateManager::removeDeadBindingsFromEnvironmentAndStore(
118   ProgramStateManager &Mgr = getStateManager();
131   ProgramStateManager &Mgr = getStateManager();
140   ProgramStateManager &Mgr = getStateManager();
169   ProgramStateManager &Mgr = getStateManager();
326   ProgramStateManager &SM = getStateManager();
395 ProgramStateRef ProgramStateManager::getInitialState(const LocationContext *InitLoc) {
404 ProgramStateRef ProgramStateManager::getPersistentStateWithGDM(
412 ProgramStateRef ProgramStateManager::getPersistentState(ProgramState &State) {
485   ProgramStateManager &Mgr = getStateManager();
528 ProgramStateManager::FindGDMContext(void *K,
541 ProgramStateRef ProgramStateManager::addGDM(ProgramStateRef St, void *Key, void *Data){
553 ProgramStateRef ProgramStateManager::removeGDM(ProgramStateRef state, void *Key) {