clang
8.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
Public Types | |
using | GraphTy = clang::ento::ExplodedGraph * |
using | NodeRef = clang::ento::ExplodedNode * |
using | ChildIteratorType = clang::ento::ExplodedNode::succ_iterator |
using | nodes_iterator = llvm::df_iterator< GraphTy > |
Static Public Member Functions | |
static NodeRef | getEntryNode (const GraphTy G) |
static bool | predecessorOfTrivial (NodeRef N) |
static ChildIteratorType | child_begin (NodeRef N) |
static ChildIteratorType | child_end (NodeRef N) |
static nodes_iterator | nodes_begin (const GraphTy G) |
static nodes_iterator | nodes_end (const GraphTy G) |
Definition at line 469 of file ExplodedGraph.h.
using llvm::GraphTraits< clang::ento::ExplodedGraph * >::ChildIteratorType = clang::ento::ExplodedNode::succ_iterator |
Definition at line 472 of file ExplodedGraph.h.
using llvm::GraphTraits< clang::ento::ExplodedGraph * >::GraphTy = clang::ento::ExplodedGraph * |
Definition at line 470 of file ExplodedGraph.h.
using llvm::GraphTraits< clang::ento::ExplodedGraph * >::NodeRef = clang::ento::ExplodedNode * |
Definition at line 471 of file ExplodedGraph.h.
using llvm::GraphTraits< clang::ento::ExplodedGraph * >::nodes_iterator = llvm::df_iterator<GraphTy> |
Definition at line 473 of file ExplodedGraph.h.
|
inlinestatic |
Definition at line 483 of file ExplodedGraph.h.
References clang::ento::ExplodedNode::succ_begin().
|
inlinestatic |
Definition at line 489 of file ExplodedGraph.h.
References clang::ento::ExplodedNode::getFirstSucc(), and clang::ento::ExplodedNode::succ_end().
|
inlinestatic |
Definition at line 475 of file ExplodedGraph.h.
References clang::ento::ExplodedGraph::roots_begin().
|
inlinestatic |
Definition at line 495 of file ExplodedGraph.h.
|
inlinestatic |
Definition at line 499 of file ExplodedGraph.h.
|
inlinestatic |
Definition at line 479 of file ExplodedGraph.h.
References clang::ento::ExplodedNode::getFirstSucc(), clang::ento::ExplodedNode::isTrivial(), and clang::ento::ExplodedNode::succ_size().