CVCL::Context Class Reference
[Context Management]

#include <context.h>

Collaboration diagram for CVCL::Context:

[legend]List of all members.

Public Member Functions

• Context (ContextManager *cm, const std::string &name, int id)
• ~Context ()
• ContextManager * getCM () const

  Access methods.
  

• const std::string & name () const
• int id () const
• Scope * topScope () const
• Scope * bottomScope () const
• int level () const
• void push ()
• void pop ()
• void popto (int toLevel)
• void addNotifyObj (ContextNotifyObj *obj)
• void deleteNotifyObj (ContextNotifyObj *obj)

Private Attributes

• ContextManager * d_cm

  Context Manager.
  

• std::string d_name

  Name of context.
  

• int d_id

  Context ID.
  

• Scope * d_topScope

  Pointer to top and bottom scopes of context.
  

• Scope * d_bottomScope
• std::vector< ContextNotifyObj * > d_notifyObjList

  List of objects to notify with every pop.
  

---

Detailed Description

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

Definition at line 235 of file context.h.

---

Constructor & Destructor Documentation

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

Context::~Context (   )

Definition at line 293 of file context.cpp. References CVCL::Scope::d_context, d_notifyObjList, d_topScope, and CVCL::Scope::prevScope().

---

Member Function Documentation

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

Access methods. Definition at line 257 of file context.h. References d_cm.

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

Definition at line 258 of file context.h. References d_name.

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

Definition at line 259 of file context.h. References d_id. Referenced by CVCL::ContextManager::switchContext().

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

Definition at line 260 of file context.h. References d_topScope. Referenced by CVCL::Scope::isCurrent(), popto(), and CVCL::Scope::topScope().

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

Definition at line 261 of file context.h. References d_bottomScope.

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

Definition at line 262 of file context.h. References d_topScope, and CVCL::Scope::level(). Referenced by CVCL::SearchSat::Restorer::notifyPre(), pop(), popto(), push(), and CVCL::ContextManager::scopeLevel().

void CVCL::Context::push (   )  [inline]

Definition at line 265 of file context.h. References CVCL::Debug::counter(), d_topScope, CVCL::debugger, IF_DEBUG(), level(), and CVCL::TRACE. Referenced by CVCL::ContextManager::push().

void Context::pop (   )

Definition at line 311 of file context.cpp. References d_notifyObjList, d_topScope, level(), CVCL::Scope::prevScope(), CVCL::Scope::restore(), and CVCL::TRACE. Referenced by CVCL::ContextManager::pop(), and popto().

void Context::popto (  int  toLevel  )

Definition at line 339 of file context.cpp. References level(), pop(), and topScope(). Referenced by CVCL::ContextManager::popto().

void CVCL::Context::addNotifyObj (  ContextNotifyObj *  obj  )  [inline]

Definition at line 273 of file context.h. References d_notifyObjList. Referenced by CVCL::ContextNotifyObj::ContextNotifyObj().

void Context::deleteNotifyObj (  ContextNotifyObj *  obj  )

Definition at line 348 of file context.cpp. References d_notifyObjList. Referenced by CVCL::ContextNotifyObj::~ContextNotifyObj().

---

Member Data Documentation

ContextManager* CVCL::Context::d_cm [private]

Context Manager. Definition at line 237 of file context.h. Referenced by getCM().

std::string CVCL::Context::d_name [private]

Name of context. Definition at line 240 of file context.h. Referenced by name().

int CVCL::Context::d_id [private]

Context ID. Definition at line 243 of file context.h. Referenced by id().

Scope* CVCL::Context::d_topScope [private]

Pointer to top and bottom scopes of context. Definition at line 246 of file context.h. Referenced by level(), pop(), push(), topScope(), and ~Context().

Scope* CVCL::Context::d_bottomScope [private]

Definition at line 247 of file context.h. Referenced by bottomScope().

std::vector<ContextNotifyObj*> CVCL::Context::d_notifyObjList [private]

List of objects to notify with every pop. Definition at line 250 of file context.h. Referenced by addNotifyObj(), deleteNotifyObj(), pop(), and ~Context().

---

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

• context.h
• context.cpp

---