clang
7.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
Public Types | |
using | NodeRef = const clang::ento::ExplodedNode * |
using | ChildIteratorType = clang::ento::ExplodedNode::const_succ_iterator |
using | nodes_iterator = llvm::df_iterator< NodeRef > |
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 485 of file ExplodedGraph.h.
using llvm::GraphTraits< const clang::ento::ExplodedNode * >::ChildIteratorType = clang::ento::ExplodedNode::const_succ_iterator |
Definition at line 487 of file ExplodedGraph.h.
using llvm::GraphTraits< const clang::ento::ExplodedNode * >::NodeRef = const clang::ento::ExplodedNode * |
Definition at line 486 of file ExplodedGraph.h.
using llvm::GraphTraits< const clang::ento::ExplodedNode * >::nodes_iterator = llvm::df_iterator<NodeRef> |
Definition at line 488 of file ExplodedGraph.h.
|
inlinestatic |
Definition at line 492 of file ExplodedGraph.h.
References clang::ento::ExplodedNode::succ_begin().
|
inlinestatic |
Definition at line 494 of file ExplodedGraph.h.
References clang::ento::ExplodedNode::succ_end().
|
inlinestatic |
Definition at line 490 of file ExplodedGraph.h.
|
inlinestatic |
Definition at line 496 of file ExplodedGraph.h.
|
inlinestatic |
Definition at line 498 of file ExplodedGraph.h.