clang  6.0.0svn
Public Types | Public Member Functions | List of all members
clang::ento::ExplodedNodeSet Class Reference

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

Public Types

typedef ImplTy::iterator iterator
 
typedef ImplTy::const_iterator const_iterator
 

Public Member Functions

 ExplodedNodeSet (ExplodedNode *N)
 
 ExplodedNodeSet ()
 
void Add (ExplodedNode *N)
 
unsigned size () const
 
bool empty () const
 
bool erase (ExplodedNode *N)
 
void clear ()
 
void insert (const ExplodedNodeSet &S)
 
iterator begin ()
 
iterator end ()
 
const_iterator begin () const
 
const_iterator end () const
 

Detailed Description

Definition at line 406 of file ExplodedGraph.h.

Member Typedef Documentation

◆ const_iterator

typedef ImplTy::const_iterator clang::ento::ExplodedNodeSet::const_iterator

Definition at line 423 of file ExplodedGraph.h.

◆ iterator

typedef ImplTy::iterator clang::ento::ExplodedNodeSet::iterator

Definition at line 422 of file ExplodedGraph.h.

Constructor & Destructor Documentation

◆ ExplodedNodeSet() [1/2]

clang::ento::ExplodedNodeSet::ExplodedNodeSet ( ExplodedNode N)
inline

Definition at line 411 of file ExplodedGraph.h.

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

◆ ExplodedNodeSet() [2/2]

clang::ento::ExplodedNodeSet::ExplodedNodeSet ( )
inline

Definition at line 416 of file ExplodedGraph.h.

Member Function Documentation

◆ Add()

void clang::ento::ExplodedNodeSet::Add ( ExplodedNode N)
inline

◆ begin() [1/2]

iterator clang::ento::ExplodedNodeSet::begin ( )
inline

◆ begin() [2/2]

const_iterator clang::ento::ExplodedNodeSet::begin ( ) const
inline

Definition at line 441 of file ExplodedGraph.h.

◆ clear()

void clang::ento::ExplodedNodeSet::clear ( )
inline

Definition at line 429 of file ExplodedGraph.h.

Referenced by clang::ento::ExprEngine::ProcessInitializer().

◆ empty()

bool clang::ento::ExplodedNodeSet::empty ( ) const
inline

◆ end() [1/2]

iterator clang::ento::ExplodedNodeSet::end ( )
inline

◆ end() [2/2]

const_iterator clang::ento::ExplodedNodeSet::end ( ) const
inline

Definition at line 442 of file ExplodedGraph.h.

◆ erase()

bool clang::ento::ExplodedNodeSet::erase ( ExplodedNode N)
inline

Definition at line 427 of file ExplodedGraph.h.

Referenced by clang::ento::NodeBuilder::takeNodes().

◆ insert()

void clang::ento::ExplodedNodeSet::insert ( const ExplodedNodeSet S)
inline

◆ size()

unsigned clang::ento::ExplodedNodeSet::size ( ) const
inline

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