clang  15.0.0git
Public Types | Static Public Member Functions | List of all members
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 508 of file ExplodedGraph.h.

Member Typedef Documentation

◆ ChildIteratorType

Definition at line 511 of file ExplodedGraph.h.

◆ GraphTy

Definition at line 509 of file ExplodedGraph.h.

◆ NodeRef

Definition at line 510 of file ExplodedGraph.h.

◆ nodes_iterator

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

Definition at line 512 of file ExplodedGraph.h.

Member Function Documentation

◆ child_begin()

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

Definition at line 522 of file ExplodedGraph.h.

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

◆ child_end()

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

◆ getEntryNode()

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

Definition at line 514 of file ExplodedGraph.h.

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

◆ nodes_begin()

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

Definition at line 534 of file ExplodedGraph.h.

◆ nodes_end()

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

Definition at line 538 of file ExplodedGraph.h.

◆ predecessorOfTrivial()

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

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