CVC3  2.4.1
Public Member Functions | Private Attributes
CVC3::Context Class Reference

#include <context.h>

List of all members.

Public Member Functions

Private Attributes


Detailed Description

Encapsulates the general notion of stack-based saving and restoring of a database.


Constructor & Destructor Documentation

Context::Context ( ContextManager cm,
const std::string name,
int  id 
)

Definition at line 208 of file context.cpp.

References d_topScope, d_bottomScope, and TRACE.

Referenced by getMemory(), and CVC3::ContextManager::createContext().

Context::~Context ( )

Member Function Documentation

ContextManager* CVC3::Context::getCM ( ) const [inline]

Access methods.

Definition at line 331 of file context.h.

const std::string& CVC3::Context::name ( ) const [inline]

Definition at line 332 of file context.h.

int CVC3::Context::id ( ) const [inline]

Definition at line 333 of file context.h.

Referenced by CVC3::ContextManager::switchContext().

Scope* CVC3::Context::topScope ( ) const [inline]

Definition at line 334 of file context.h.

Referenced by popto().

Scope* CVC3::Context::bottomScope ( ) const [inline]

Definition at line 335 of file context.h.

int CVC3::Context::level ( void  ) const [inline]

Definition at line 336 of file context.h.

Referenced by push(), and pop().

void Context::push ( )

Definition at line 244 of file context.cpp.

References IF_DEBUG, level(), TRACE, d_cmmStack, and d_topScope.

void Context::pop ( )
void Context::popto ( int  toLevel)

Definition at line 296 of file context.cpp.

References topScope(), CVC3::Scope::level(), and pop().

void CVC3::Context::addNotifyObj ( ContextNotifyObj obj) [inline]

Definition at line 341 of file context.h.

Referenced by CVC3::ContextNotifyObj::ContextNotifyObj().

void Context::deleteNotifyObj ( ContextNotifyObj obj)

Definition at line 302 of file context.cpp.

References d_notifyObjList.

unsigned long Context::getMemory ( int  verbosity)

Member Data Documentation

Context Manager.

Definition at line 308 of file context.h.

Name of context.

Definition at line 311 of file context.h.

Referenced by getMemory().

int CVC3::Context::d_id [private]

Context ID.

Definition at line 314 of file context.h.

Pointer to top and bottom scopes of context.

Definition at line 317 of file context.h.

Referenced by Context(), ~Context(), push(), pop(), and getMemory().

Definition at line 318 of file context.h.

Referenced by Context().

List of objects to notify with every pop.

Definition at line 321 of file context.h.

Referenced by ~Context(), pop(), deleteNotifyObj(), and getMemory().

Stack of free ContextMemoryManager's.

Definition at line 324 of file context.h.

Referenced by ~Context(), push(), pop(), and getMemory().


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