clang 19.0.0git
Classes | Public Member Functions | Friends | List of all members
clang::ento::BlockCounter Class Reference

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
 

Detailed Description

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 29 of file BlockCounter.h.

Constructor & Destructor Documentation

◆ BlockCounter()

clang::ento::BlockCounter::BlockCounter ( )
inline

Member Function Documentation

◆ getNumVisited()

unsigned BlockCounter::getNumVisited ( const StackFrameContext CallSite,
unsigned  BlockID 
) const

Definition at line 57 of file BlockCounter.cpp.

References GetMap().

Referenced by clang::ento::BlockCounter::Factory::IncrementCount().

Friends And Related Function Documentation

◆ Factory

friend class Factory
friend

Definition at line 52 of file BlockCounter.h.


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