clang  6.0.0svn
Classes | Public Member Functions | Static Public Member Functions | List of all members
clang::ento::WorkList Class Referenceabstract

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

Classes

class  Visitor
 

Public Member Functions

virtual ~WorkList ()
 
virtual bool hasWork () const =0
 
virtual void enqueue (const WorkListUnit &U)=0
 
void enqueue (ExplodedNode *N, const CFGBlock *B, unsigned idx)
 
void enqueue (ExplodedNode *N)
 
virtual WorkListUnit dequeue ()=0
 
void setBlockCounter (BlockCounter C)
 
BlockCounter getBlockCounter () const
 
virtual bool visitItemsInWorkList (Visitor &V)=0
 

Static Public Member Functions

static WorkListmakeDFS ()
 
static WorkListmakeBFS ()
 
static WorkListmakeBFSBlockDFSContents ()
 

Detailed Description

Definition at line 61 of file WorkList.h.

Constructor & Destructor Documentation

◆ ~WorkList()

WorkList::~WorkList ( )
virtual

Definition at line 102 of file CoreEngine.cpp.

Member Function Documentation

◆ dequeue()

virtual WorkListUnit clang::ento::WorkList::dequeue ( )
pure virtual

◆ enqueue() [1/3]

virtual void clang::ento::WorkList::enqueue ( const WorkListUnit U)
pure virtual

◆ enqueue() [2/3]

void clang::ento::WorkList::enqueue ( ExplodedNode N,
const CFGBlock B,
unsigned  idx 
)
inline

Definition at line 69 of file WorkList.h.

References clang::ento::WorkListUnit::WorkListUnit().

◆ enqueue() [3/3]

void clang::ento::WorkList::enqueue ( ExplodedNode N)
inline

◆ getBlockCounter()

BlockCounter clang::ento::WorkList::getBlockCounter ( ) const
inline

Definition at line 81 of file WorkList.h.

◆ hasWork()

virtual bool clang::ento::WorkList::hasWork ( ) const
pure virtual

◆ makeBFS()

WorkList * WorkList::makeBFS ( )
static

Definition at line 105 of file CoreEngine.cpp.

◆ makeBFSBlockDFSContents()

WorkList * WorkList::makeBFSBlockDFSContents ( )
static

Definition at line 155 of file CoreEngine.cpp.

◆ makeDFS()

WorkList * WorkList::makeDFS ( )
static

Definition at line 104 of file CoreEngine.cpp.

◆ setBlockCounter()

void clang::ento::WorkList::setBlockCounter ( BlockCounter  C)
inline

Definition at line 80 of file WorkList.h.

◆ visitItemsInWorkList()

virtual bool clang::ento::WorkList::visitItemsInWorkList ( Visitor V)
pure virtual

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