Sophie

Sophie

distrib > Fedora > 15 > i386 > by-pkgid > 583ffa4ba069126c3ba0bc565dc0485a > files > 240

cvc3-doc-2.4.1-1.fc15.noarch.rpm

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<title>CVC3: CVC3::ContextObjChain Class Reference</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<link href="doxygen.css" rel="stylesheet" type="text/css"/>
</head>
<body>
<!-- Generated by Doxygen 1.7.4 -->
<div id="top">
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  <td style="padding-left: 0.5em;">
   <div id="projectname">CVC3&#160;<span id="projectnumber">2.4.1</span></div>
  </td>
 </tr>
 </tbody>
</table>
</div>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="pages.html"><span>Related&#160;Pages</span></a></li>
      <li><a href="modules.html"><span>Modules</span></a></li>
      <li><a href="namespaces.html"><span>Namespaces</span></a></li>
      <li class="current"><a href="annotated.html"><span>Classes</span></a></li>
      <li><a href="files.html"><span>Files</span></a></li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="annotated.html"><span>Class&#160;List</span></a></li>
      <li><a href="classes.html"><span>Class&#160;Index</span></a></li>
      <li><a href="hierarchy.html"><span>Class&#160;Hierarchy</span></a></li>
      <li><a href="functions.html"><span>Class&#160;Members</span></a></li>
    </ul>
  </div>
  <div id="nav-path" class="navpath">
    <ul>
      <li class="navelem"><a class="el" href="namespaceCVC3.html">CVC3</a>      </li>
      <li class="navelem"><a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a>      </li>
    </ul>
  </div>
</div>
<div class="header">
  <div class="summary">
<a href="#pub-methods">Public Member Functions</a> &#124;
<a href="#pri-methods">Private Member Functions</a> &#124;
<a href="#pri-attribs">Private Attributes</a> &#124;
<a href="#friends">Friends</a>  </div>
  <div class="headertitle">
<div class="title">CVC3::ContextObjChain Class Reference<div class="ingroups"><a class="el" href="group__Context.html">Context Management</a></div></div>  </div>
</div>
<div class="contents">
<!-- doxytag: class="CVC3::ContextObjChain" -->
<p><code>#include &lt;<a class="el" href="context_8h_source.html">context.h</a>&gt;</code></p>

<p><a href="classCVC3_1_1ContextObjChain-members.html">List of all members.</a></p>
<h2><a name="pub-methods"></a>
Public Member Functions</h2>
<ul>
<li><a class="el" href="classCVC3_1_1ContextObjChain.html#a788988a56a5a6c9a0adf0854041dcb07">~ContextObjChain</a> ()
<dl class="el"><dd class="mdescRight">Destructor.  <a href="#a788988a56a5a6c9a0adf0854041dcb07"></a><br/></dl><li>void * <a class="el" href="classCVC3_1_1ContextObjChain.html#afa47cd0df02aa00f68b78c00ba46c1ce">operator new</a> (size_t size, <a class="el" href="classCVC3_1_1MemoryManager.html">MemoryManager</a> *mm)
<li>void <a class="el" href="classCVC3_1_1ContextObjChain.html#a6de67c7f87aa17d4b3ea62bbfb28e3c6">operator delete</a> (void *pMem, <a class="el" href="classCVC3_1_1MemoryManager.html">MemoryManager</a> *mm)
<li>void <a class="el" href="classCVC3_1_1ContextObjChain.html#ae8a63005ffe97aa5d59394cf67320287">operator delete</a> (void *)
<li>void * <a class="el" href="classCVC3_1_1ContextObjChain.html#a4e3a0a6e9b99c74108d8006e9b7e0210">operator new</a> (size_t size, bool b)
<li>void <a class="el" href="classCVC3_1_1ContextObjChain.html#a4e9cf7f1ec93515fe347716e4fcd28d2">operator delete</a> (void *pMem, bool b)
</ul>
<h2><a name="pri-methods"></a>
Private Member Functions</h2>
<ul>
<li><a class="el" href="classCVC3_1_1ContextObjChain.html#a689d17e7768d0f95cc6c36d27bdb8368">ContextObjChain</a> (<a class="el" href="classCVC3_1_1ContextObj.html">ContextObj</a> *data, <a class="el" href="classCVC3_1_1ContextObj.html">ContextObj</a> *master, <a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a> *restore)
<dl class="el"><dd class="mdescRight">Private constructor (only friends can use it)  <a href="#a689d17e7768d0f95cc6c36d27bdb8368"></a><br/></dl><li><a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a> * <a class="el" href="classCVC3_1_1ContextObjChain.html#a83e5207b9d496337691b30f072c117c7">restore</a> (void)
<dl class="el"><dd class="mdescRight">Restore from d_data to d_master.  <a href="#a83e5207b9d496337691b30f072c117c7"></a><br/></dl></ul>
<h2><a name="pri-attribs"></a>
Private Attributes</h2>
<ul>
<li><a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a> * <a class="el" href="classCVC3_1_1ContextObjChain.html#afa940ba625d121fe37a659d7caf7f558">d_restoreChainNext</a>
<dl class="el"><dd class="mdescRight">Next link in chain.  <a href="#afa940ba625d121fe37a659d7caf7f558"></a><br/></dl><li><a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a> ** <a class="el" href="classCVC3_1_1ContextObjChain.html#af0e39b718fff489ee96dfb6b4e59d03d">d_restoreChainPrev</a>
<dl class="el"><dd class="mdescRight">Pointer to the pointer of the previous object which points to us. This makes a doubly-linked list for easy element deletion.  <a href="#af0e39b718fff489ee96dfb6b4e59d03d"></a><br/></dl><li><a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a> * <a class="el" href="classCVC3_1_1ContextObjChain.html#a64049e510cf64e4a96d6e1134479f467">d_restore</a>
<dl class="el"><dd class="mdescRight">Pointer to the previous copy which belongs to the same master.  <a href="#a64049e510cf64e4a96d6e1134479f467"></a><br/></dl><li><a class="el" href="classCVC3_1_1ContextObj.html">ContextObj</a> * <a class="el" href="classCVC3_1_1ContextObjChain.html#a7574a1b2995d61f9b3ea8e81cd3b7d87">d_data</a>
<dl class="el"><dd class="mdescRight">Pointer to copy of master to be restored when <a class="el" href="classCVC3_1_1ContextObjChain.html#a83e5207b9d496337691b30f072c117c7" title="Restore from d_data to d_master.">restore()</a> is called.  <a href="#a7574a1b2995d61f9b3ea8e81cd3b7d87"></a><br/></dl><li><a class="el" href="classCVC3_1_1ContextObj.html">ContextObj</a> * <a class="el" href="classCVC3_1_1ContextObjChain.html#a3f4c203169ba7c8f1528de48fa95eedf">d_master</a>
<dl class="el"><dd class="mdescRight">Pointer to the master object.  <a href="#a3f4c203169ba7c8f1528de48fa95eedf"></a><br/></dl></ul>
<h2><a name="friends"></a>
Friends</h2>
<ul>
<li>class <a class="el" href="classCVC3_1_1ContextObjChain.html#a921193447f6e42f596ac0a7694b02830">Scope</a>
<li>class <a class="el" href="classCVC3_1_1ContextObjChain.html#aaa3d900ada369da566fe2d896aee9a5a">ContextObj</a>
<li>class <a class="el" href="classCVC3_1_1ContextObjChain.html#ade09c87996f604683ba4726bfdd79121">CDFlags</a>
</ul>
<hr/><a name="details" id="details"></a><h2>Detailed Description</h2>
<div class="textblock"><p>Description: An element of a doubly linked list holding a copy of <a class="el" href="classCVC3_1_1ContextObj.html">ContextObj</a> in a scope. It is made separate from <a class="el" href="classCVC3_1_1ContextObj.html">ContextObj</a> to keep the list pointers valid in all scopes at all times, so that the object can be easily removed from the list when the master <a class="el" href="classCVC3_1_1ContextObj.html">ContextObj</a> is destroyed. </p>

<p>Definition at line <a class="el" href="context_8h_source.html#l00133">133</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
</div><hr/><h2>Constructor &amp; Destructor Documentation</h2>
<a class="anchor" id="a689d17e7768d0f95cc6c36d27bdb8368"></a><!-- doxytag: member="CVC3::ContextObjChain::ContextObjChain" ref="a689d17e7768d0f95cc6c36d27bdb8368" args="(ContextObj *data, ContextObj *master, ContextObjChain *restore)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">CVC3::ContextObjChain::ContextObjChain </td>
          <td>(</td>
          <td class="paramtype"><a class="el" href="classCVC3_1_1ContextObj.html">ContextObj</a> *&#160;</td>
          <td class="paramname"><em>data</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype"><a class="el" href="classCVC3_1_1ContextObj.html">ContextObj</a> *&#160;</td>
          <td class="paramname"><em>master</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype"><a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a> *&#160;</td>
          <td class="paramname"><em>restore</em>&#160;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td><code> [inline, private]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Private constructor (only friends can use it) </p>

<p>Definition at line <a class="el" href="context_8h_source.html#l00156">156</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>

<p>Referenced by <a class="el" href="context_8h_source.html#l00371">CVC3::ContextObj::ContextObj()</a>.</p>

</div>
</div>
<a class="anchor" id="a788988a56a5a6c9a0adf0854041dcb07"></a><!-- doxytag: member="CVC3::ContextObjChain::~ContextObjChain" ref="a788988a56a5a6c9a0adf0854041dcb07" args="()" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">CVC3::ContextObjChain::~ContextObjChain </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Destructor. </p>

<p>Definition at line <a class="el" href="context_8h_source.html#l00166">166</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>

</div>
</div>
<hr/><h2>Member Function Documentation</h2>
<a class="anchor" id="a83e5207b9d496337691b30f072c117c7"></a><!-- doxytag: member="CVC3::ContextObjChain::restore" ref="a83e5207b9d496337691b30f072c117c7" args="(void)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a> * ContextObjChain::restore </td>
          <td>(</td>
          <td class="paramtype">void&#160;</td>
          <td class="paramname"></td><td>)</td>
          <td><code> [private]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Restore from d_data to d_master. </p>

<p>Definition at line <a class="el" href="context_8cpp_source.html#l00111">111</a> of file <a class="el" href="context_8cpp_source.html">context.cpp</a>.</p>

<p>References <a class="el" href="debug_8h_source.html#l00408">DebugAssert</a>.</p>

<p>Referenced by <a class="el" href="context_8h_source.html#l00360">CVC3::Scope::restore()</a>.</p>

</div>
</div>
<a class="anchor" id="afa47cd0df02aa00f68b78c00ba46c1ce"></a><!-- doxytag: member="CVC3::ContextObjChain::operator new" ref="afa47cd0df02aa00f68b78c00ba46c1ce" args="(size_t size, MemoryManager *mm)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">void* CVC3::ContextObjChain::operator new </td>
          <td>(</td>
          <td class="paramtype">size_t&#160;</td>
          <td class="paramname"><em>size</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype"><a class="el" href="classCVC3_1_1MemoryManager.html">MemoryManager</a> *&#160;</td>
          <td class="paramname"><em>mm</em>&#160;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="context_8h_source.html#l00168">168</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>

<p>References <a class="el" href="classCVC3_1_1MemoryManager.html#a3db7efbc4b956bd423a73e1157d70ce0">CVC3::MemoryManager::newData()</a>.</p>

</div>
</div>
<a class="anchor" id="a6de67c7f87aa17d4b3ea62bbfb28e3c6"></a><!-- doxytag: member="CVC3::ContextObjChain::operator delete" ref="a6de67c7f87aa17d4b3ea62bbfb28e3c6" args="(void *pMem, MemoryManager *mm)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">void CVC3::ContextObjChain::operator delete </td>
          <td>(</td>
          <td class="paramtype">void *&#160;</td>
          <td class="paramname"><em>pMem</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype"><a class="el" href="classCVC3_1_1MemoryManager.html">MemoryManager</a> *&#160;</td>
          <td class="paramname"><em>mm</em>&#160;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="context_8h_source.html#l00171">171</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>

<p>References <a class="el" href="classCVC3_1_1MemoryManager.html#ad29fac88d3a07566d9a8f9dc8d8e059c">CVC3::MemoryManager::deleteData()</a>.</p>

</div>
</div>
<a class="anchor" id="ae8a63005ffe97aa5d59394cf67320287"></a><!-- doxytag: member="CVC3::ContextObjChain::operator delete" ref="ae8a63005ffe97aa5d59394cf67320287" args="(void *)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">void CVC3::ContextObjChain::operator delete </td>
          <td>(</td>
          <td class="paramtype">void *&#160;</td>
          <td class="paramname"></td><td>)</td>
          <td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="context_8h_source.html#l00175">175</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>

</div>
</div>
<a class="anchor" id="a4e3a0a6e9b99c74108d8006e9b7e0210"></a><!-- doxytag: member="CVC3::ContextObjChain::operator new" ref="a4e3a0a6e9b99c74108d8006e9b7e0210" args="(size_t size, bool b)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">void* CVC3::ContextObjChain::operator new </td>
          <td>(</td>
          <td class="paramtype">size_t&#160;</td>
          <td class="paramname"><em>size</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype">bool&#160;</td>
          <td class="paramname"><em>b</em>&#160;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="context_8h_source.html#l00179">179</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>

</div>
</div>
<a class="anchor" id="a4e9cf7f1ec93515fe347716e4fcd28d2"></a><!-- doxytag: member="CVC3::ContextObjChain::operator delete" ref="a4e9cf7f1ec93515fe347716e4fcd28d2" args="(void *pMem, bool b)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">void CVC3::ContextObjChain::operator delete </td>
          <td>(</td>
          <td class="paramtype">void *&#160;</td>
          <td class="paramname"><em>pMem</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype">bool&#160;</td>
          <td class="paramname"><em>b</em>&#160;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="context_8h_source.html#l00182">182</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>

</div>
</div>
<hr/><h2>Friends And Related Function Documentation</h2>
<a class="anchor" id="a921193447f6e42f596ac0a7694b02830"></a><!-- doxytag: member="CVC3::ContextObjChain::Scope" ref="a921193447f6e42f596ac0a7694b02830" args="" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">friend class <a class="el" href="classCVC3_1_1Scope.html">Scope</a><code> [friend]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="context_8h_source.html#l00134">134</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>

</div>
</div>
<a class="anchor" id="aaa3d900ada369da566fe2d896aee9a5a"></a><!-- doxytag: member="CVC3::ContextObjChain::ContextObj" ref="aaa3d900ada369da566fe2d896aee9a5a" args="" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">friend class <a class="el" href="classCVC3_1_1ContextObj.html">ContextObj</a><code> [friend]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="context_8h_source.html#l00135">135</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>

</div>
</div>
<a class="anchor" id="ade09c87996f604683ba4726bfdd79121"></a><!-- doxytag: member="CVC3::ContextObjChain::CDFlags" ref="ade09c87996f604683ba4726bfdd79121" args="" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">friend class <a class="el" href="classCVC3_1_1CDFlags.html">CDFlags</a><code> [friend]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="context_8h_source.html#l00136">136</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>

</div>
</div>
<hr/><h2>Member Data Documentation</h2>
<a class="anchor" id="afa940ba625d121fe37a659d7caf7f558"></a><!-- doxytag: member="CVC3::ContextObjChain::d_restoreChainNext" ref="afa940ba625d121fe37a659d7caf7f558" args="" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a>* <a class="el" href="classCVC3_1_1ContextObjChain.html#afa940ba625d121fe37a659d7caf7f558">CVC3::ContextObjChain::d_restoreChainNext</a><code> [private]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Next link in chain. </p>

<p>Definition at line <a class="el" href="context_8h_source.html#l00139">139</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>

<p>Referenced by <a class="el" href="context_8h_source.html#l00350">CVC3::Scope::addToChain()</a>, <a class="el" href="context_8cpp_source.html#l00055">CVC3::Scope::check()</a>, <a class="el" href="context_8cpp_source.html#l00037">CVC3::Scope::finalize()</a>, and <a class="el" href="context_8cpp_source.html#l00179">CVC3::ContextObj::~ContextObj()</a>.</p>

</div>
</div>
<a class="anchor" id="af0e39b718fff489ee96dfb6b4e59d03d"></a><!-- doxytag: member="CVC3::ContextObjChain::d_restoreChainPrev" ref="af0e39b718fff489ee96dfb6b4e59d03d" args="" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a>** <a class="el" href="classCVC3_1_1ContextObjChain.html#af0e39b718fff489ee96dfb6b4e59d03d">CVC3::ContextObjChain::d_restoreChainPrev</a><code> [private]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Pointer to the pointer of the previous object which points to us. This makes a doubly-linked list for easy element deletion. </p>

<p>Definition at line <a class="el" href="context_8h_source.html#l00144">144</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>

<p>Referenced by <a class="el" href="context_8h_source.html#l00350">CVC3::Scope::addToChain()</a>, and <a class="el" href="context_8cpp_source.html#l00179">CVC3::ContextObj::~ContextObj()</a>.</p>

</div>
</div>
<a class="anchor" id="a64049e510cf64e4a96d6e1134479f467"></a><!-- doxytag: member="CVC3::ContextObjChain::d_restore" ref="a64049e510cf64e4a96d6e1134479f467" args="" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a>* <a class="el" href="classCVC3_1_1ContextObjChain.html#a64049e510cf64e4a96d6e1134479f467">CVC3::ContextObjChain::d_restore</a><code> [private]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Pointer to the previous copy which belongs to the same master. </p>

<p>Definition at line <a class="el" href="context_8h_source.html#l00147">147</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>

<p>Referenced by <a class="el" href="context_8h_source.html#l00371">CVC3::ContextObj::ContextObj()</a>, <a class="el" href="context_8h_source.html#l00244">CVC3::ContextObj::getRestore()</a>, <a class="el" href="cdflags_8cpp_source.html#l00031">CVC3::CDFlags::update()</a>, and <a class="el" href="context_8cpp_source.html#l00179">CVC3::ContextObj::~ContextObj()</a>.</p>

</div>
</div>
<a class="anchor" id="a7574a1b2995d61f9b3ea8e81cd3b7d87"></a><!-- doxytag: member="CVC3::ContextObjChain::d_data" ref="a7574a1b2995d61f9b3ea8e81cd3b7d87" args="" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classCVC3_1_1ContextObj.html">ContextObj</a>* <a class="el" href="classCVC3_1_1ContextObjChain.html#a7574a1b2995d61f9b3ea8e81cd3b7d87">CVC3::ContextObjChain::d_data</a><code> [private]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Pointer to copy of master to be restored when <a class="el" href="classCVC3_1_1ContextObjChain.html#a83e5207b9d496337691b30f072c117c7" title="Restore from d_data to d_master.">restore()</a> is called. </p>

<p>Definition at line <a class="el" href="context_8h_source.html#l00150">150</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>

<p>Referenced by <a class="el" href="context_8h_source.html#l00244">CVC3::ContextObj::getRestore()</a>.</p>

</div>
</div>
<a class="anchor" id="a3f4c203169ba7c8f1528de48fa95eedf"></a><!-- doxytag: member="CVC3::ContextObjChain::d_master" ref="a3f4c203169ba7c8f1528de48fa95eedf" args="" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classCVC3_1_1ContextObj.html">ContextObj</a>* <a class="el" href="classCVC3_1_1ContextObjChain.html#a3f4c203169ba7c8f1528de48fa95eedf">CVC3::ContextObjChain::d_master</a><code> [private]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Pointer to the master object. </p>

<p>Definition at line <a class="el" href="context_8h_source.html#l00153">153</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>

<p>Referenced by <a class="el" href="context_8cpp_source.html#l00037">CVC3::Scope::finalize()</a>, and <a class="el" href="context_8cpp_source.html#l00179">CVC3::ContextObj::~ContextObj()</a>.</p>

</div>
</div>
<hr/>The documentation for this class was generated from the following files:<ul>
<li><a class="el" href="context_8h_source.html">context.h</a></li>
<li><a class="el" href="context_8cpp_source.html">context.cpp</a></li>
</ul>
</div>
<hr class="footer"/><address class="footer"><small>Generated on Wed Sep 7 2011 for CVC3 by&#160;
<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.7.4 </small></address>
</body>
</html>

Perl :: Catalyst :: PostgreSQL :: RPM Valid HTML 4.01 Transitional