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
.
27
ProgramState::ProgramState(
ProgramStateManager
*mgr, const Environment& env,
52
ProgramStateManager
::~
ProgramStateManager
() {
59
ProgramStateManager
::removeDeadBindings(const ProgramState *state,
82
const ProgramState *
ProgramStateManager
::MarshalState(const ProgramState *state,
114
ProgramStateManager
&Mgr = getStateManager();
125
ProgramStateManager
&Mgr = getStateManager();
152
ProgramStateManager
&Mgr = getStateManager();
274
ProgramStateManager
&SM = getStateManager()
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h
36
class
ProgramStateManager
;
38
typedef ConstraintManager* (*ConstraintManagerCreator)(
ProgramStateManager
&,
40
typedef StoreManager* (*StoreManagerCreator)(
ProgramStateManager
&);
57
class
ProgramStateManager
;
79
friend class
ProgramStateManager
;
83
ProgramStateManager
*stateMgr;
98
ProgramState(
ProgramStateManager
*mgr, const Environment& env,
107
/// Return the
ProgramStateManager
associated with this state.
108
ProgramStateManager
&getStateManager() const { return *stateMgr; }
150
// are managed using the ConstraintManager associated with a
ProgramStateManager
[
all
...]
Completed in 362 milliseconds