PandA-2024.02
|
Public Member Functions | |
virtual | ~NodeContainer () |
const VarNodes & | getVarNodes () const |
VarNode * | addVarNode (const tree_nodeConstRef &V, unsigned int function_id) |
const ConditionalValueRanges & | getCVR () const |
void | addConditionalValueRange (const ConditionalValueRange &&cvr) |
const OpNodes & | getOpNodes () const |
OpNode * | pushOperation (OpNode *op) |
OpNode * | addOperation (const tree_nodeConstRef &stmt, unsigned int function_id, const FunctionBehaviorConstRef &FB, const tree_managerConstRef &TM, const application_managerRef &AppM) |
const DefMap & | getDefs () const |
const UseMap & | getUses () const |
Static Public Attributes | |
static int | debug_level = DEBUG_LEVEL_NONE |
Protected Member Functions | |
UseMap & | getUses () |
Private Attributes | |
VarNodes | _varNodes |
OpNodes | _opNodes |
DefMap | _defMap |
UseMap | _useMap |
ConditionalValueRanges | _cvrMap |
Static Private Attributes | |
static const std::vector< std::function< std::function< OpNode *(NodeContainer *)> const tree_nodeConstRef &, unsigned int, const FunctionBehaviorConstRef &, const tree_managerConstRef &, const application_managerRef &)> > | _opCtorGenerators |
Definition at line 2162 of file Range_Analysis.cpp.
|
inlinevirtual |
Definition at line 2187 of file Range_Analysis.cpp.
|
inline |
Definition at line 2227 of file Range_Analysis.cpp.
|
inline |
Definition at line 2262 of file Range_Analysis.cpp.
|
inline |
Definition at line 2204 of file Range_Analysis.cpp.
References THROW_ASSERT.
|
inline |
Definition at line 2222 of file Range_Analysis.cpp.
|
inline |
Definition at line 2275 of file Range_Analysis.cpp.
|
inline |
Definition at line 2243 of file Range_Analysis.cpp.
|
inlineprotected |
Definition at line 2181 of file Range_Analysis.cpp.
|
inline |
Definition at line 2280 of file Range_Analysis.cpp.
|
inline |
Definition at line 2199 of file Range_Analysis.cpp.
Definition at line 2248 of file Range_Analysis.cpp.
References OpNode::getSink(), OpNode::getSources(), and VarNode::getValue().
|
private |
Definition at line 2178 of file Range_Analysis.cpp.
|
private |
Definition at line 2174 of file Range_Analysis.cpp.
|
staticprivate |
Definition at line 2168 of file Range_Analysis.cpp.
Referenced by LoadOpNode::printDot().
|
private |
Definition at line 2172 of file Range_Analysis.cpp.
|
private |
Definition at line 2176 of file Range_Analysis.cpp.
|
private |
Definition at line 2170 of file Range_Analysis.cpp.
|
static |
Definition at line 2286 of file Range_Analysis.cpp.