clang  7.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

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)
 

Detailed Description

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

Definition at line 485 of file ExplodedGraph.h.

Member Typedef Documentation

◆ ChildIteratorType

Definition at line 487 of file ExplodedGraph.h.

◆ NodeRef

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

Definition at line 486 of file ExplodedGraph.h.

◆ nodes_iterator

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

Definition at line 488 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 492 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 494 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 490 of file ExplodedGraph.h.

◆ nodes_begin()

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

Definition at line 496 of file ExplodedGraph.h.

◆ nodes_end()

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

Definition at line 498 of file ExplodedGraph.h.


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