clang
3.9.0
|
#include <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 WorkList * | makeDFS () |
static WorkList * | makeBFS () |
static WorkList * | makeBFSBlockDFSContents () |
Definition at line 61 of file WorkList.h.
|
virtual |
Definition at line 103 of file CoreEngine.cpp.
|
pure virtual |
|
pure virtual |
|
inline |
Definition at line 69 of file WorkList.h.
References enqueue().
|
inline |
Definition at line 73 of file WorkList.h.
References enqueue(), clang::ProgramPoint::getKind(), clang::ento::ExplodedNode::getLocation(), and clang::ProgramPoint::PostStmtKind.
|
inline |
Definition at line 81 of file WorkList.h.
|
pure virtual |
Referenced by clang::ento::ExprEngine::hasEmptyWorkList().
|
static |
Definition at line 106 of file CoreEngine.cpp.
|
static |
Definition at line 156 of file CoreEngine.cpp.
|
static |
Definition at line 105 of file CoreEngine.cpp.
|
inline |
Definition at line 80 of file WorkList.h.