CVC3::DebugCounter Class Reference

Integer counter for debugging purposes. More...

#include <debug.h>

List of all members.

Public Member Functions

• DebugCounter (int &c)

  Constructor.
  

• ~DebugCounter ()

  Destructor.
  

• operator int ()

  Auto-cast to int.
  

• int operator-- ()

  Prefix auto-decrement.
  

• int operator++ ()

  Prefix auto-increment.
  

• int operator-- (int)

  Postfix auto-decrement.
  

• int operator++ (int)

  Postfix auto-increment.
  

• DebugCounter & operator= (int x)

  Value assignment.
  

• DebugCounter & operator+= (int x)
• DebugCounter & operator-= (int x)
• DebugCounter & operator= (const DebugCounter &x)

  Assignment from another counter.
  

• DebugCounter & operator-= (const DebugCounter &x)
• DebugCounter & operator+= (const DebugCounter &x)

Private Attributes

• int * d_counter

  We don't own the pointer.
  

Friends

• bool operator== (const DebugCounter &c1, const DebugCounter &c2)
• bool operator!= (const DebugCounter &c1, const DebugCounter &c2)
• bool operator== (int c1, const DebugCounter &c2)
• bool operator!= (int c1, const DebugCounter &c2)
• bool operator== (const DebugCounter &c1, int c2)
• bool operator!= (const DebugCounter &c1, int c2)
• std::ostream & operator<< (std::ostream &os, const DebugCounter &f)

  Printing counters.
  

---

Detailed Description

Integer counter for debugging purposes.

Intended use is to count events (e.g. number of function calls), but can be used to store any integer value (e.g. size of some data structure)

Definition at line 166 of file debug.h.

---

Constructor & Destructor Documentation

CVC3::DebugCounter::DebugCounter

(

int &

c

)

[inline]

Constructor.

Takes the pointer to the actual counter, normally stored in class Debug below.

Definition at line 173 of file debug.h.

CVC3::DebugCounter::~DebugCounter

(

)

[inline]

Destructor.

Definition at line 175 of file debug.h.

---

Member Function Documentation

CVC3::DebugCounter::operator int

(

)

[inline]

Auto-cast to int.

In particular, arithmetic comparisons like <, >, <=, >= will work because of this.

Definition at line 179 of file debug.h.

References d_counter.

int CVC3::DebugCounter::operator--

(

)

[inline]

Prefix auto-decrement.

Definition at line 184 of file debug.h.

int CVC3::DebugCounter::operator++

(

)

[inline]

Prefix auto-increment.

Definition at line 186 of file debug.h.

int CVC3::DebugCounter::operator--

(

int

)

[inline]

Postfix auto-decrement.

Definition at line 188 of file debug.h.

References d_counter.

int CVC3::DebugCounter::operator++

(

int

)

[inline]

Postfix auto-increment.

Definition at line 190 of file debug.h.

References d_counter.

DebugCounter& CVC3::DebugCounter::operator=

(

int

x

)

[inline]

Value assignment.

Definition at line 192 of file debug.h.

References d_counter.

DebugCounter& CVC3::DebugCounter::operator+=

(

int

x

)

[inline]

Definition at line 193 of file debug.h.

References d_counter.

DebugCounter& CVC3::DebugCounter::operator-=

(

int

x

)

[inline]

Definition at line 194 of file debug.h.

References d_counter.

DebugCounter& CVC3::DebugCounter::operator=

(

const DebugCounter &

x

)

[inline]

Assignment from another counter.

It copies the value, not the pointer

Definition at line 197 of file debug.h.

References d_counter.

DebugCounter& CVC3::DebugCounter::operator-=

(

const DebugCounter &

x

)

[inline]

It copies the value, not the pointer

Definition at line 200 of file debug.h.

References d_counter.

DebugCounter& CVC3::DebugCounter::operator+=

(

const DebugCounter &

x

)

[inline]

It copies the value, not the pointer

Definition at line 203 of file debug.h.

References d_counter.

---

Friends And Related Function Documentation

bool operator==	(	const DebugCounter &	c1,
		const DebugCounter &	c2
	)			[friend]

Definition at line 216 of file debug.h.

bool operator!=	(	const DebugCounter &	c1,
		const DebugCounter &	c2
	)			[friend]

Definition at line 219 of file debug.h.

bool operator==	(	int	c1,
		const DebugCounter &	c2
	)			[friend]

Definition at line 222 of file debug.h.

bool operator!=	(	int	c1,
		const DebugCounter &	c2
	)			[friend]

Definition at line 225 of file debug.h.

bool operator==	(	const DebugCounter &	c1,
		int	c2
	)			[friend]

Definition at line 228 of file debug.h.

bool operator!=	(	const DebugCounter &	c1,
		int	c2
	)			[friend]

Definition at line 231 of file debug.h.

std::ostream& operator<<	(	std::ostream &	os,
		const DebugCounter &	f
	)			[friend]

Printing counters.

Definition at line 234 of file debug.h.

---

Member Data Documentation

int* CVC3::DebugCounter::d_counter [private]

We don't own the pointer.

Definition at line 168 of file debug.h.

Referenced by operator int(), CVC3::operator!=(), operator++(), operator+=(), operator--(), operator-=(), CVC3::operator<<(), operator=(), and CVC3::operator==().

---

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

• debug.h

---