clang: clang::ento::WorkListUnit Class Reference (original) (raw)

#include "[clang/StaticAnalyzer/Core/PathSensitive/WorkList.h](WorkList%5F8h%5Fsource.html)"

Public Member Functions
WorkListUnit (ExplodedNode *N, BlockCounter C, const CFGBlock *B, unsigned idx)
WorkListUnit (ExplodedNode *N, BlockCounter C)
ExplodedNode * getNode () const
Returns the node associated with the worklist unit.
BlockCounter getBlockCounter () const
Returns the block counter map associated with the worklist unit.
const CFGBlock * getBlock () const
Returns the CFGblock associated with the worklist unit.
unsigned getIndex () const
Return the index within the CFGBlock for the worklist unit.

Definition at line 27 of file WorkList.h.

◆ WorkListUnit() [2/2]

◆ getBlock()

const CFGBlock * clang::ento::WorkListUnit::getBlock ( ) const inline

◆ getBlockCounter()

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

◆ getIndex()

unsigned clang::ento::WorkListUnit::getIndex ( ) const inline

◆ getNode()

ExplodedNode * clang::ento::WorkListUnit::getNode ( ) const inline

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