clang  6.0.0svn
Public Types | Static Public Member Functions | List of all members
llvm::GraphTraits< const clang::ento::ExplodedNode * > Struct Template Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"

Public Types

typedef const clang::ento::ExplodedNodeNodeRef
 
typedef clang::ento::ExplodedNode::const_succ_iterator ChildIteratorType
 
typedef llvm::df_iterator< NodeRefnodes_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)
 

Detailed Description

template<>
struct llvm::GraphTraits< const clang::ento::ExplodedNode * >

Definition at line 468 of file ExplodedGraph.h.

Member Typedef Documentation

◆ ChildIteratorType

Definition at line 470 of file ExplodedGraph.h.

◆ NodeRef

typedef const clang::ento::ExplodedNode* llvm::GraphTraits< const clang::ento::ExplodedNode * >::NodeRef

Definition at line 469 of file ExplodedGraph.h.

◆ nodes_iterator

typedef llvm::df_iterator<NodeRef> llvm::GraphTraits< const clang::ento::ExplodedNode * >::nodes_iterator

Definition at line 471 of file ExplodedGraph.h.

Member Function Documentation

◆ child_begin()

static ChildIteratorType llvm::GraphTraits< const clang::ento::ExplodedNode * >::child_begin ( NodeRef  N)
inlinestatic

Definition at line 475 of file ExplodedGraph.h.

References clang::ento::ExplodedNode::succ_begin().

◆ child_end()

static ChildIteratorType llvm::GraphTraits< const clang::ento::ExplodedNode * >::child_end ( NodeRef  N)
inlinestatic

Definition at line 477 of file ExplodedGraph.h.

References clang::ento::ExplodedNode::succ_end().

◆ getEntryNode()

static NodeRef llvm::GraphTraits< const clang::ento::ExplodedNode * >::getEntryNode ( NodeRef  N)
inlinestatic

Definition at line 473 of file ExplodedGraph.h.

◆ nodes_begin()

static nodes_iterator llvm::GraphTraits< const clang::ento::ExplodedNode * >::nodes_begin ( NodeRef  N)
inlinestatic

Definition at line 479 of file ExplodedGraph.h.

◆ nodes_end()

static nodes_iterator llvm::GraphTraits< const clang::ento::ExplodedNode * >::nodes_end ( NodeRef  N)
inlinestatic

Definition at line 481 of file ExplodedGraph.h.


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