llvm::GraphTraits< clang::ento::ExplodedGraph * > Struct Reference

#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)

Detailed Description

Definition at line 493 of file ExplodedGraph.h.

Member Typedef Documentation

ChildIteratorType

using llvm::GraphTraits< clang::ento::ExplodedGraph * >::ChildIteratorType = clang::ento::ExplodedNode::succ_iterator

Definition at line 496 of file ExplodedGraph.h.

GraphTy

using llvm::GraphTraits< clang::ento::ExplodedGraph * >::GraphTy = clang::ento::ExplodedGraph *

Definition at line 494 of file ExplodedGraph.h.

NodeRef

using llvm::GraphTraits< clang::ento::ExplodedGraph * >::NodeRef = clang::ento::ExplodedNode *

Definition at line 495 of file ExplodedGraph.h.

nodes_iterator

using llvm::GraphTraits< clang::ento::ExplodedGraph * >::nodes_iterator = llvm::df_iterator<GraphTy>

Definition at line 497 of file ExplodedGraph.h.

Member Function Documentation

child_begin()

ChildIteratorType llvm::GraphTraits< clang::ento::ExplodedGraph * >::child_begin ( NodeRef N )

inlinestatic

Definition at line 505 of file ExplodedGraph.h.

References child_begin(), predecessorOfTrivial(), and clang::ento::ExplodedNode::succ_begin().

Referenced by child_begin().

child_end()

ChildIteratorType llvm::GraphTraits< clang::ento::ExplodedGraph * >::child_end ( NodeRef N )

inlinestatic

Definition at line 511 of file ExplodedGraph.h.

References child_end(), clang::ento::ExplodedNode::getFirstSucc(), predecessorOfTrivial(), and clang::ento::ExplodedNode::succ_end().

Referenced by child_end().

getEntryNode()

NodeRef llvm::GraphTraits< clang::ento::ExplodedGraph * >::getEntryNode ( const GraphTy G )

inlinestatic

Definition at line 499 of file ExplodedGraph.h.

References clang::ento::ExplodedGraph::getRoot().

nodes_begin()

nodes_iterator llvm::GraphTraits< clang::ento::ExplodedGraph * >::nodes_begin ( const GraphTy G )

inlinestatic

Definition at line 517 of file ExplodedGraph.h.

nodes_end()

nodes_iterator llvm::GraphTraits< clang::ento::ExplodedGraph * >::nodes_end ( const GraphTy G )

inlinestatic

Definition at line 521 of file ExplodedGraph.h.

predecessorOfTrivial()

bool llvm::GraphTraits< clang::ento::ExplodedGraph * >::predecessorOfTrivial ( NodeRef N )

inlinestatic

Definition at line 501 of file ExplodedGraph.h.

References clang::ento::ExplodedNode::getFirstSucc(), clang::ento::ExplodedNode::isTrivial(), and clang::ento::ExplodedNode::succ_size().

Referenced by child_begin(), and child_end().

---

The documentation for this struct was generated from the following file:

• include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h