class WorkListUnit

Declaration

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

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

Member Variables

private clang::ento::ExplodedNode* node

private clang::ento::BlockCounter counter

private const clang::CFGBlock* block

private unsigned int blockIdx

Method Overview

• public WorkListUnit(clang::ento::ExplodedNode * N, clang::ento::BlockCounter C, const clang::CFGBlock * B, unsigned int idx)
• public WorkListUnit(clang::ento::ExplodedNode * N, clang::ento::BlockCounter C)
• public const clang::CFGBlock * getBlock() const
• public clang::ento::BlockCounter getBlockCounter() const
• public unsigned int getIndex() const
• public clang::ento::ExplodedNode * getNode() const

Methods

¶WorkListUnit(clang::ento::ExplodedNode* N,
             clang::ento::BlockCounter C,
             const clang::CFGBlock* B,
             unsigned int idx)

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

Parameters

clang::ento::ExplodedNode* N

clang::ento::BlockCounter C

const clang::CFGBlock* B

unsigned int idx

¶WorkListUnit(clang::ento::ExplodedNode* N,
             clang::ento::BlockCounter C)

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

Parameters

clang::ento::ExplodedNode* N

clang::ento::BlockCounter C

¶const clang::CFGBlock* getBlock() const

Description

Returns the CFGblock associated with the worklist unit.

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

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

Description

Returns the block counter map associated with the worklist unit.

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

¶unsigned int getIndex() const

Description

Return the index within the CFGBlock for the worklist unit.

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

¶clang::ento::ExplodedNode* getNode() const

Description

Returns the node associated with the worklist unit.

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