CVC3::ScopeWatcher Class Reference

A class which sets a boolean value to true when created, and resets to false when deleted. More...

#include <debug.h>

List of all members.

Public Member Functions

• ScopeWatcher (bool *flag)
• ~ScopeWatcher ()

Private Attributes

• bool * d_flag

---

Detailed Description

A class which sets a boolean value to true when created, and resets to false when deleted.

Useful for tracking when the control is within a certain method or not. For example, TheoryCore::addFact() uses d_inAddFact to check that certain other methods are only called from within addFact(). However, when an exception is thrown, this variable is not reset. The watcher class will reset the variable even in those cases.

Definition at line 91 of file debug.h.

---

Constructor & Destructor Documentation

CVC3::ScopeWatcher::ScopeWatcher

(

bool *

flag

)

[inline]

Definition at line 95 of file debug.h.

References d_flag.

CVC3::ScopeWatcher::~ScopeWatcher

(

)

[inline]

Definition at line 96 of file debug.h.

References d_flag.

---

Member Data Documentation

bool* CVC3::ScopeWatcher::d_flag [private]

Definition at line 93 of file debug.h.

Referenced by ScopeWatcher(), and ~ScopeWatcher().

---

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

• debug.h

---