Lines Matching defs:ProgramStateManager
9 // This file implements ProgramState and ProgramStateManager.
38 ProgramStateManager &Mgr = s->getStateManager();
46 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env,
75 ProgramStateManager::ProgramStateManager(ASTContext &Ctx,
88 ProgramStateManager::~ProgramStateManager() {
94 ProgramStateRef ProgramStateManager::removeDeadBindingsFromEnvironmentAndStore(
121 ProgramStateManager &Mgr = getStateManager();
134 ProgramStateManager &Mgr = getStateManager();
143 ProgramStateManager &Mgr = getStateManager();
191 ProgramStateManager &Mgr = getStateManager();
331 ProgramStateManager &SM = getStateManager();
391 ProgramStateRef ProgramStateManager::getInitialState(const LocationContext *InitLoc) {
400 ProgramStateRef ProgramStateManager::getPersistentStateWithGDM(
408 ProgramStateRef ProgramStateManager::getPersistentState(ProgramState &State) {
455 ProgramStateManager &Mgr = getStateManager();
498 ProgramStateManager::FindGDMContext(void *K,
511 ProgramStateRef ProgramStateManager::addGDM(ProgramStateRef St, void *Key, void *Data){
523 ProgramStateRef ProgramStateManager::removeGDM(ProgramStateRef state, void *Key) {