clang
6.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
Public Types | |
typedef clang::ento::ExplodedNode * | NodeRef |
typedef clang::ento::ExplodedNode::succ_iterator | ChildIteratorType |
typedef llvm::df_iterator< NodeRef > | nodes_iterator |
Static Public Member Functions | |
static NodeRef | getEntryNode (NodeRef N) |
static ChildIteratorType | child_begin (NodeRef N) |
static ChildIteratorType | child_end (NodeRef N) |
static nodes_iterator | nodes_begin (NodeRef N) |
static nodes_iterator | nodes_end (NodeRef N) |
Definition at line 452 of file ExplodedGraph.h.
typedef clang::ento::ExplodedNode::succ_iterator llvm::GraphTraits< clang::ento::ExplodedNode * >::ChildIteratorType |
Definition at line 454 of file ExplodedGraph.h.
typedef clang::ento::ExplodedNode* llvm::GraphTraits< clang::ento::ExplodedNode * >::NodeRef |
Definition at line 453 of file ExplodedGraph.h.
typedef llvm::df_iterator<NodeRef> llvm::GraphTraits< clang::ento::ExplodedNode * >::nodes_iterator |
Definition at line 455 of file ExplodedGraph.h.
|
inlinestatic |
Definition at line 459 of file ExplodedGraph.h.
References clang::ento::ExplodedNode::succ_begin().
|
inlinestatic |
Definition at line 461 of file ExplodedGraph.h.
References clang::ento::ExplodedNode::succ_end().
|
inlinestatic |
Definition at line 457 of file ExplodedGraph.h.
|
inlinestatic |
Definition at line 463 of file ExplodedGraph.h.
|
inlinestatic |
Definition at line 465 of file ExplodedGraph.h.