CVC3::ContextManager Class Reference
[Context Management]

Manager for multiple contexts. Also holds current context. More...

#include <context.h>

Collaboration diagram for CVC3::ContextManager:

Collaboration graph
[legend]

List of all members.

Public Member Functions

Private Attributes


Detailed Description

Manager for multiple contexts. Also holds current context.

Author: Clark Barrett

Created: Thu Feb 13 00:26:29 2003

Definition at line 393 of file context.h.


Constructor & Destructor Documentation

ContextManager::ContextManager (  ) 

Definition at line 330 of file context.cpp.

References createContext(), and d_curContext.

ContextManager::~ContextManager (  ) 

Definition at line 336 of file context.cpp.

References d_contexts.


Member Function Documentation

void CVC3::ContextManager::push (  )  [inline]

void CVC3::ContextManager::pop (  )  [inline]

void CVC3::ContextManager::popto ( int  toLevel  )  [inline]

int CVC3::ContextManager::scopeLevel (  )  [inline]

Context * ContextManager::createContext ( const std::string &  name = ""  ) 

Definition at line 345 of file context.cpp.

References d_contexts.

Referenced by ContextManager().

Context* CVC3::ContextManager::getCurrentContext (  )  [inline]

Context * ContextManager::switchContext ( Context context  ) 

Definition at line 352 of file context.cpp.

References d_contexts, d_curContext, DebugAssert, FatalAssert, and CVC3::Context::id().

unsigned long ContextManager::getMemory ( int  verbosity  ) 


Member Data Documentation

Definition at line 394 of file context.h.

Referenced by ContextManager(), getCurrentContext(), pop(), popto(), push(), scopeLevel(), and switchContext().

std::vector<Context*> CVC3::ContextManager::d_contexts [private]

Definition at line 395 of file context.h.

Referenced by createContext(), getMemory(), switchContext(), and ~ContextManager().


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

Generated on Thu Oct 15 22:18:12 2009 for CVC3 by  doxygen 1.5.8