clang  6.0.0svn
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 30 of file BlockCounter.h.

Constructor & Destructor Documentation

◆ BlockCounter()

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

Definition at line 36 of file BlockCounter.h.

References getNumVisited().

Member Function Documentation

◆ getNumVisited()

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

Definition at line 58 of file BlockCounter.cpp.

References GetMap(), and clang::T.

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

Friends And Related Function Documentation

◆ Factory

friend class Factory
friend

Definition at line 53 of file BlockCounter.h.


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