OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:ProgramStateManager
(Results
1 - 2
of
2
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp
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()
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h
43
ProgramStateManager
&, SubEngine *);
45
ProgramStateManager
&);
81
friend class
ProgramStateManager
;
85
ProgramStateManager
*stateMgr;
99
ProgramState(
ProgramStateManager
*mgr, const Environment& env,
108
/// Return the
ProgramStateManager
associated with this state.
109
ProgramStateManager
&getStateManager() const {
153
// are managed using the ConstraintManager associated with a
ProgramStateManager
.
441
//
ProgramStateManager
- Factory object for ProgramStates.
444
class
ProgramStateManager
{
[
all
...]
Completed in 1312 milliseconds