Lines Matching defs:ProgramStateManager
10 // This file implements ProgramState and ProgramStateManager.
37 ProgramStateManager &Mgr = s->getStateManager();
45 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env,
70 ProgramStateManager::ProgramStateManager(ASTContext &Ctx,
83 ProgramStateManager::~ProgramStateManager() {
90 ProgramStateManager::removeDeadBindings(ProgramStateRef state,
115 ProgramStateManager &Mgr = getStateManager();
126 ProgramStateManager &Mgr = getStateManager();
192 ProgramStateManager &Mgr = getStateManager();
335 ProgramStateManager &SM = getStateManager();
385 ProgramStateRef ProgramStateManager::getInitialState(const LocationContext *InitLoc) {
394 ProgramStateRef ProgramStateManager::getPersistentStateWithGDM(
402 ProgramStateRef ProgramStateManager::getPersistentState(ProgramState &State) {
446 ProgramStateManager &Mgr = getStateManager();
492 ProgramStateManager::FindGDMContext(void *K,
505 ProgramStateRef ProgramStateManager::addGDM(ProgramStateRef St, void *Key, void *Data){
517 ProgramStateRef ProgramStateManager::removeGDM(ProgramStateRef state, void *Key) {
