clang
7.0.0
|
An abstract data type used to count the number of times a given block has been visited along a path analyzed by CoreEngine. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/BlockCounter.h"
Classes | |
class | Factory |
Public Member Functions | |
BlockCounter () | |
unsigned | getNumVisited (const StackFrameContext *CallSite, unsigned BlockID) const |
Friends | |
class | Factory |
An abstract data type used to count the number of times a given block has been visited along a path analyzed by CoreEngine.
Definition at line 30 of file BlockCounter.h.
|
inline |
Definition at line 36 of file BlockCounter.h.
References getNumVisited().
unsigned BlockCounter::getNumVisited | ( | const StackFrameContext * | CallSite, |
unsigned | BlockID | ||
) | const |
Definition at line 58 of file BlockCounter.cpp.
References GetMap().
Referenced by BlockCounter(), and clang::ento::BlockCounter::Factory::IncrementCount().
|
friend |
Definition at line 53 of file BlockCounter.h.