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

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

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
 

Static Public Member Functions

static std::unique_ptr< WorkListmakeDFS ()
 
static std::unique_ptr< WorkListmakeBFS ()
 
static std::unique_ptr< WorkListmakeBFSBlockDFSContents ()
 
static std::unique_ptr< WorkListmakeUnexploredFirst ()
 
static std::unique_ptr< WorkListmakeUnexploredFirstPriorityQueue ()
 

Detailed Description

Definition at line 61 of file WorkList.h.

Constructor & Destructor Documentation

◆ ~WorkList()

WorkList::~WorkList ( )
virtualdefault

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()

std::unique_ptr< WorkList > WorkList::makeBFS ( )
static

Definition at line 86 of file WorkList.cpp.

Referenced by generateWorkList().

◆ makeBFSBlockDFSContents()

std::unique_ptr< WorkList > WorkList::makeBFSBlockDFSContents ( )
static

◆ makeDFS()

std::unique_ptr< WorkList > WorkList::makeDFS ( )
static

Definition at line 82 of file WorkList.cpp.

Referenced by generateWorkList().

◆ makeUnexploredFirst()

std::unique_ptr< WorkList > WorkList::makeUnexploredFirst ( )
static

◆ makeUnexploredFirstPriorityQueue()

std::unique_ptr< WorkList > WorkList::makeUnexploredFirstPriorityQueue ( )
static

Definition at line 252 of file WorkList.cpp.

Referenced by generateWorkList().

◆ setBlockCounter()

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

Definition at line 80 of file WorkList.h.


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