Searched defs:ProgramStateManager (Results 1 - 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp10 // This file implements ProgramState and ProgramStateManager.
37 ProgramStateManager &Mgr = s->getStateManager();
45 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env,
70 ProgramStateManager::ProgramStateManager(ASTContext &Ctx, function in class:ProgramStateManager
83 ProgramStateManager::~ProgramStateManager() {
90 ProgramStateManager::removeDeadBindings(ProgramStateRef state,
115 ProgramStateManager &Mgr = getStateManager();
126 ProgramStateManager
[all...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h42 typedef ConstraintManager* (*ConstraintManagerCreator)(ProgramStateManager&,
44 typedef StoreManager* (*StoreManagerCreator)(ProgramStateManager&);
80 friend class ProgramStateManager;
84 ProgramStateManager *stateMgr;
98 ProgramState(ProgramStateManager *mgr, const Environment& env,
107 /// Return the ProgramStateManager associated with this state.
108 ProgramStateManager &getStateManager() const {
152 // are managed using the ConstraintManager associated with a ProgramStateManager.
433 // ProgramStateManager - Factory object for ProgramStates.
436 class ProgramStateManager { class in namespace:clang::ento
[all...]

Completed in 254 milliseconds