clang  6.0.0svn
Public Member Functions | List of all members
clang::ento::WorkListUnit Class Reference

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

Public Member Functions

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

Detailed Description

Definition at line 28 of file WorkList.h.

Constructor & Destructor Documentation

◆ WorkListUnit() [1/2]

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

Definition at line 35 of file WorkList.h.

Referenced by clang::ento::WorkList::enqueue().

◆ WorkListUnit() [2/2]

clang::ento::WorkListUnit::WorkListUnit ( ExplodedNode N,
BlockCounter  C 
)
inlineexplicit

Definition at line 42 of file WorkList.h.

Member Function Documentation

◆ getBlock()

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

Returns the CFGblock associated with the worklist unit.

Definition at line 55 of file WorkList.h.

Referenced by clang::ento::CoreEngine::dispatchWorkItem().

◆ getBlockCounter()

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

Returns the block counter map associated with the worklist unit.

Definition at line 52 of file WorkList.h.

Referenced by clang::ento::CoreEngine::ExecuteWorkList().

◆ getIndex()

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

Return the index within the CFGBlock for the worklist unit.

Definition at line 58 of file WorkList.h.

Referenced by clang::ento::CoreEngine::dispatchWorkItem().

◆ getNode()

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

Returns the node associated with the worklist unit.

Definition at line 49 of file WorkList.h.

Referenced by clang::ento::CoreEngine::ExecuteWorkList().


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