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 <BlockCounter.h>

List of all members.

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

clang::ento::BlockCounter::BlockCounter

(

)

[inline]

Definition at line 36 of file BlockCounter.h.

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

---

Member Function Documentation

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

Definition at line 58 of file BlockCounter.cpp.

References GetMap().

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

---

Friends And Related Function Documentation

friend class Factory [friend]

Definition at line 53 of file BlockCounter.h.

---

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

• BlockCounter.h
• BlockCounter.cpp