class WorkList

Declaration

class WorkList { /* full declaration omitted */ };

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h:60

Member Variables

private clang::ento::BlockCounter CurrentCounter

Method Overview

• public virtual clang::ento::WorkListUnit dequeue()
• public virtual void enqueue(const clang::ento::WorkListUnit & U)
• public void enqueue(clang::ento::ExplodedNode * N, const clang::CFGBlock * B, unsigned int idx)
• public void enqueue(clang::ento::ExplodedNode * N)
• public clang::ento::BlockCounter getBlockCounter() const
• public virtual bool hasWork() const
• public static std::unique_ptr<WorkList> makeBFS()
• public static std::unique_ptr<WorkList> makeBFSBlockDFSContents()
• public static std::unique_ptr<WorkList> makeDFS()
• public static std::unique_ptr<WorkList> makeUnexploredFirst()
• public static std::unique_ptr<WorkList> makeUnexploredFirstPriorityLocationQueue()
• public static std::unique_ptr<WorkList> makeUnexploredFirstPriorityQueue()
• public void setBlockCounter(clang::ento::BlockCounter C)
• public virtual ~WorkList()

Methods

¶virtual clang::ento::WorkListUnit dequeue()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h:77

¶virtual void enqueue(
    const clang::ento::WorkListUnit& U)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h:66

Parameters

const clang::ento::WorkListUnit& U

¶void enqueue(clang::ento::ExplodedNode* N,
             const clang::CFGBlock* B,
             unsigned int idx)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h:68

Parameters

clang::ento::ExplodedNode* N

const clang::CFGBlock* B

unsigned int idx

¶void enqueue(clang::ento::ExplodedNode* N)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h:72

Parameters

clang::ento::ExplodedNode* N

¶clang::ento::BlockCounter getBlockCounter() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h:80

¶virtual bool hasWork() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h:64

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

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h:83

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

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h:84

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

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h:82

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

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h:85

¶static std::unique_ptr<WorkList>
makeUnexploredFirstPriorityLocationQueue()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h:87

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

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h:86

¶void setBlockCounter(clang::ento::BlockCounter C)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h:79

Parameters

clang::ento::BlockCounter C

¶virtual ~WorkList()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h:63