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

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


class  Factory

Public Member Functions

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


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 ( )

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

Definition at line 52 of file BlockCounter.h.

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