<!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"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<title>CVC3: CVC3::Scope Class Reference</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr style="height: 56px;">
<td style="padding-left: 0.5em;">
<div id="projectname">CVC3
</div>
</td>
</tr>
</tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.2 -->
<div id="navrow1" class="tabs">
<ul class="tablist">
<li><a href="index.html"><span>Main Page</span></a></li>
<li><a href="pages.html"><span>Related 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 List</span></a></li>
<li><a href="classes.html"><span>Class Index</span></a></li>
<li><a href="inherits.html"><span>Class Hierarchy</span></a></li>
<li><a href="functions.html"><span>Class 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_1Scope.html">Scope</a></li> </ul>
</div>
</div><!-- top -->
<div class="header">
<div class="summary">
<a href="#pub-methods">Public Member Functions</a> |
<a href="#pri-methods">Private Member Functions</a> |
<a href="#pri-attribs">Private Attributes</a> |
<a href="#friends">Friends</a> |
<a href="classCVC3_1_1Scope-members.html">List of all members</a> </div>
<div class="headertitle">
<div class="title">CVC3::Scope Class Reference<div class="ingroups"><a class="el" href="group__Context.html">Context Management</a></div></div> </div>
</div><!--header-->
<div class="contents">
<p><code>#include <<a class="el" href="context_8h_source.html">context.h</a>></code></p>
<div class="dynheader">
Collaboration diagram for CVC3::Scope:</div>
<div class="dyncontent">
<div class="center"><img src="classCVC3_1_1Scope__coll__graph.gif" border="0" usemap="#CVC3_1_1Scope_coll__map" alt="Collaboration graph"/></div>
<map name="CVC3_1_1Scope_coll__map" id="CVC3_1_1Scope_coll__map">
</map>
</div>
<table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
Public Member Functions</h2></td></tr>
<tr class="memitem:aaed4373135bf8803a725eafc37466dd5"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#aaed4373135bf8803a725eafc37466dd5">Scope</a> (<a class="el" href="classCVC3_1_1Context.html">Context</a> *context, <a class="el" href="classCVC3_1_1ContextMemoryManager.html">ContextMemoryManager</a> *cmm, <a class="el" href="classCVC3_1_1Scope.html">Scope</a> *<a class="el" href="classCVC3_1_1Scope.html#aaf14b7225ee54df52812aaa7f6d08a30">prevScope</a>=NULL)</td></tr>
<tr class="memdesc:aaed4373135bf8803a725eafc37466dd5"><td class="mdescLeft"> </td><td class="mdescRight">Constructor. <a href="#aaed4373135bf8803a725eafc37466dd5"></a><br/></td></tr>
<tr class="separator:aaed4373135bf8803a725eafc37466dd5"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a03a8d51e2a01b97bedc96d1e67488c7f"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#a03a8d51e2a01b97bedc96d1e67488c7f">~Scope</a> ()</td></tr>
<tr class="memdesc:a03a8d51e2a01b97bedc96d1e67488c7f"><td class="mdescLeft"> </td><td class="mdescRight">Destructor. <a href="#a03a8d51e2a01b97bedc96d1e67488c7f"></a><br/></td></tr>
<tr class="separator:a03a8d51e2a01b97bedc96d1e67488c7f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:aaf14b7225ee54df52812aaa7f6d08a30"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1Scope.html">Scope</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#aaf14b7225ee54df52812aaa7f6d08a30">prevScope</a> () const </td></tr>
<tr class="memdesc:aaf14b7225ee54df52812aaa7f6d08a30"><td class="mdescLeft"> </td><td class="mdescRight">Access functions. <a href="#aaf14b7225ee54df52812aaa7f6d08a30"></a><br/></td></tr>
<tr class="separator:aaf14b7225ee54df52812aaa7f6d08a30"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ad5c67e42cab76cf985c2aff1fab5f16e"><td class="memItemLeft" align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#ad5c67e42cab76cf985c2aff1fab5f16e">level</a> (void) const </td></tr>
<tr class="separator:ad5c67e42cab76cf985c2aff1fab5f16e"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga3a1efd364586330635a668eae3d2612d"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Context.html#ga3a1efd364586330635a668eae3d2612d">isCurrent</a> (void) const </td></tr>
<tr class="separator:ga3a1efd364586330635a668eae3d2612d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga745d55cc6d3ab3bea1afe675fd7ce7a7"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1Scope.html">Scope</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Context.html#ga745d55cc6d3ab3bea1afe675fd7ce7a7">topScope</a> () const </td></tr>
<tr class="separator:ga745d55cc6d3ab3bea1afe675fd7ce7a7"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ade77b2683969176cb35cb7d8f39079ba"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1Context.html">Context</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#ade77b2683969176cb35cb7d8f39079ba">getContext</a> () const </td></tr>
<tr class="separator:ade77b2683969176cb35cb7d8f39079ba"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a95900e8234970f533045827446e05e64"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1ContextMemoryManager.html">ContextMemoryManager</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#a95900e8234970f533045827446e05e64">getCMM</a> () const </td></tr>
<tr class="separator:a95900e8234970f533045827446e05e64"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:abadab46860137ebbd886a695ae9c9e46"><td class="memItemLeft" align="right" valign="top">void * </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#abadab46860137ebbd886a695ae9c9e46">operator new</a> (size_t size, <a class="el" href="classCVC3_1_1MemoryManager.html">MemoryManager</a> *mm)</td></tr>
<tr class="separator:abadab46860137ebbd886a695ae9c9e46"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:aae8bd5faeb04b443612cd724445f8462"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#aae8bd5faeb04b443612cd724445f8462">operator delete</a> (void *pMem, <a class="el" href="classCVC3_1_1MemoryManager.html">MemoryManager</a> *mm)</td></tr>
<tr class="separator:aae8bd5faeb04b443612cd724445f8462"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:adf2e0e25af9ba26c5477367a88314d3f"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#adf2e0e25af9ba26c5477367a88314d3f">operator delete</a> (void *)</td></tr>
<tr class="separator:adf2e0e25af9ba26c5477367a88314d3f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga1b0a5ef8d8aef498218f0dfddea851a7"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Context.html#ga1b0a5ef8d8aef498218f0dfddea851a7">restore</a> (void)</td></tr>
<tr class="memdesc:ga1b0a5ef8d8aef498218f0dfddea851a7"><td class="mdescLeft"> </td><td class="mdescRight">Restore all the values. <a href="group__Context.html#ga1b0a5ef8d8aef498218f0dfddea851a7"></a><br/></td></tr>
<tr class="separator:ga1b0a5ef8d8aef498218f0dfddea851a7"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a288d98e934b96112a131f0bbd068680f"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#a288d98e934b96112a131f0bbd068680f">finalize</a> (void)</td></tr>
<tr class="memdesc:a288d98e934b96112a131f0bbd068680f"><td class="mdescLeft"> </td><td class="mdescRight">Called by ~ContextManager. <a href="#a288d98e934b96112a131f0bbd068680f"></a><br/></td></tr>
<tr class="separator:a288d98e934b96112a131f0bbd068680f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a796f074fbe4834687942c43b6456dabb"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#a796f074fbe4834687942c43b6456dabb">check</a> (void)</td></tr>
<tr class="memdesc:a796f074fbe4834687942c43b6456dabb"><td class="mdescLeft"> </td><td class="mdescRight">Check for memory leaks. <a href="#a796f074fbe4834687942c43b6456dabb"></a><br/></td></tr>
<tr class="separator:a796f074fbe4834687942c43b6456dabb"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a007e070f14d1158207a28293354ed106"><td class="memItemLeft" align="right" valign="top">unsigned long </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#a007e070f14d1158207a28293354ed106">getMemory</a> (int verbosity)</td></tr>
<tr class="memdesc:a007e070f14d1158207a28293354ed106"><td class="mdescLeft"> </td><td class="mdescRight">Compute memory used. <a href="#a007e070f14d1158207a28293354ed106"></a><br/></td></tr>
<tr class="separator:a007e070f14d1158207a28293354ed106"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-methods"></a>
Private Member Functions</h2></td></tr>
<tr class="memitem:ga3fcf473cd27da6c7498f462650f75ac8"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Context.html#ga3fcf473cd27da6c7498f462650f75ac8">addToChain</a> (<a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a> *obj)</td></tr>
<tr class="memdesc:ga3fcf473cd27da6c7498f462650f75ac8"><td class="mdescLeft"> </td><td class="mdescRight">Called by <a class="el" href="classCVC3_1_1ContextObj.html">ContextObj</a> when created. <a href="group__Context.html#ga3fcf473cd27da6c7498f462650f75ac8"></a><br/></td></tr>
<tr class="separator:ga3fcf473cd27da6c7498f462650f75ac8"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
Private Attributes</h2></td></tr>
<tr class="memitem:a7d2d367f8da7a9d216f1de35d65bda37"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1Context.html">Context</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#a7d2d367f8da7a9d216f1de35d65bda37">d_context</a></td></tr>
<tr class="memdesc:a7d2d367f8da7a9d216f1de35d65bda37"><td class="mdescLeft"> </td><td class="mdescRight"><a class="el" href="classCVC3_1_1Context.html">Context</a> that created this scope. <a href="#a7d2d367f8da7a9d216f1de35d65bda37"></a><br/></td></tr>
<tr class="separator:a7d2d367f8da7a9d216f1de35d65bda37"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a1ff51670a2263ba69ccd35d13cdb1395"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1ContextMemoryManager.html">ContextMemoryManager</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#a1ff51670a2263ba69ccd35d13cdb1395">d_cmm</a></td></tr>
<tr class="memdesc:a1ff51670a2263ba69ccd35d13cdb1395"><td class="mdescLeft"> </td><td class="mdescRight">Memory manager for this scope. <a href="#a1ff51670a2263ba69ccd35d13cdb1395"></a><br/></td></tr>
<tr class="separator:a1ff51670a2263ba69ccd35d13cdb1395"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a9844d24cb03f6c43fd738350fa6447c5"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1Scope.html">Scope</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#a9844d24cb03f6c43fd738350fa6447c5">d_prevScope</a></td></tr>
<tr class="memdesc:a9844d24cb03f6c43fd738350fa6447c5"><td class="mdescLeft"> </td><td class="mdescRight">Previous scope in this context. <a href="#a9844d24cb03f6c43fd738350fa6447c5"></a><br/></td></tr>
<tr class="separator:a9844d24cb03f6c43fd738350fa6447c5"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:aac245fe3aaa3bf2578867ec669b162e9"><td class="memItemLeft" align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#aac245fe3aaa3bf2578867ec669b162e9">d_level</a></td></tr>
<tr class="memdesc:aac245fe3aaa3bf2578867ec669b162e9"><td class="mdescLeft"> </td><td class="mdescRight"><a class="el" href="classCVC3_1_1Scope.html">Scope</a> level. <a href="#aac245fe3aaa3bf2578867ec669b162e9"></a><br/></td></tr>
<tr class="separator:aac245fe3aaa3bf2578867ec669b162e9"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a0940c7152f4eeb881856460985a83cb6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#a0940c7152f4eeb881856460985a83cb6">d_restoreChain</a></td></tr>
<tr class="memdesc:a0940c7152f4eeb881856460985a83cb6"><td class="mdescLeft"> </td><td class="mdescRight">Linked list of objects which are "current" in this scope, and thus need to be restored when the scope is deleted. <a href="#a0940c7152f4eeb881856460985a83cb6"></a><br/></td></tr>
<tr class="separator:a0940c7152f4eeb881856460985a83cb6"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="friends"></a>
Friends</h2></td></tr>
<tr class="memitem:aaa3d900ada369da566fe2d896aee9a5a"><td class="memItemLeft" align="right" valign="top">class </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#aaa3d900ada369da566fe2d896aee9a5a">ContextObj</a></td></tr>
<tr class="separator:aaa3d900ada369da566fe2d896aee9a5a"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a78b6f5579433f2891e2bb17c011ec112"><td class="memItemLeft" align="right" valign="top">class </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#a78b6f5579433f2891e2bb17c011ec112">ContextObjChain</a></td></tr>
<tr class="separator:a78b6f5579433f2891e2bb17c011ec112"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ade09c87996f604683ba4726bfdd79121"><td class="memItemLeft" align="right" valign="top">class </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Scope.html#ade09c87996f604683ba4726bfdd79121">CDFlags</a></td></tr>
<tr class="separator:ade09c87996f604683ba4726bfdd79121"><td class="memSeparator" colspan="2"> </td></tr>
</table>
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
<div class="textblock"><p>Author: Clark Barrett</p>
<p>Created: Thu Feb 13 00:19:15 2003</p>
<p>A scope encapsulates the portion of a context which has changed since the last call to <a class="el" href="group__ExprStream__Manip.html#ga2a0348c6d3f94f2f8febc6dd0a9c3218" title="Set the indentation to the current position.">push()</a>. Thus, when <a class="el" href="group__ExprStream__Manip.html#gaddb050a787be87116afc51791293d3be" title="Restore the indentation.">pop()</a> is called, everything in this scope is restored to its previous state. </p>
<p>Definition at line <a class="el" href="context_8h_source.html#l00060">60</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
<a class="anchor" id="aaed4373135bf8803a725eafc37466dd5"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">CVC3::Scope::Scope </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classCVC3_1_1Context.html">Context</a> * </td>
<td class="paramname"><em>context</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classCVC3_1_1ContextMemoryManager.html">ContextMemoryManager</a> * </td>
<td class="paramname"><em>cmm</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classCVC3_1_1Scope.html">Scope</a> * </td>
<td class="paramname"><em>prevScope</em> = <code>NULL</code> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Constructor. </p>
<p>Definition at line <a class="el" href="context_8h_source.html#l00085">85</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
<p>References <a class="el" href="context_8h_source.html#l00074">d_level</a>, <a class="el" href="context_8h_source.html#l00095">level()</a>, and <a class="el" href="context_8h_source.html#l00094">prevScope()</a>.</p>
</div>
</div>
<a class="anchor" id="a03a8d51e2a01b97bedc96d1e67488c7f"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">CVC3::Scope::~Scope </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Destructor. </p>
<p>Definition at line <a class="el" href="context_8h_source.html#l00091">91</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
</div>
</div>
<h2 class="groupheader">Member Function Documentation</h2>
<a class="anchor" id="aaf14b7225ee54df52812aaa7f6d08a30"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Scope.html">Scope</a>* CVC3::Scope::prevScope </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Access functions. </p>
<p>Definition at line <a class="el" href="context_8h_source.html#l00094">94</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
<p>References <a class="el" href="context_8h_source.html#l00071">d_prevScope</a>.</p>
<p>Referenced by <a class="el" href="context_8cpp_source.html#l00266">CVC3::Context::pop()</a>, <a class="el" href="context_8h_source.html#l00085">Scope()</a>, <a class="el" href="cdflags_8cpp_source.html#l00031">CVC3::CDFlags::update()</a>, and <a class="el" href="context_8cpp_source.html#l00221">CVC3::Context::~Context()</a>.</p>
</div>
</div>
<a class="anchor" id="ad5c67e42cab76cf985c2aff1fab5f16e"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">int CVC3::Scope::level </td>
<td>(</td>
<td class="paramtype">void </td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="context_8h_source.html#l00095">95</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
<p>References <a class="el" href="context_8h_source.html#l00074">d_level</a>.</p>
<p>Referenced by <a class="el" href="context_8cpp_source.html#l00296">CVC3::Context::popto()</a>, <a class="el" href="context_8h_source.html#l00085">Scope()</a>, and <a class="el" href="cdflags_8cpp_source.html#l00031">CVC3::CDFlags::update()</a>.</p>
</div>
</div>
<a class="anchor" id="ade77b2683969176cb35cb7d8f39079ba"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Context.html">Context</a>* CVC3::Scope::getContext </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="context_8h_source.html#l00098">98</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
<p>References <a class="el" href="context_8h_source.html#l00065">d_context</a>.</p>
</div>
</div>
<a class="anchor" id="a95900e8234970f533045827446e05e64"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1ContextMemoryManager.html">ContextMemoryManager</a>* CVC3::Scope::getCMM </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="context_8h_source.html#l00099">99</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
<p>References <a class="el" href="context_8h_source.html#l00068">d_cmm</a>.</p>
<p>Referenced by <a class="el" href="context_8cpp_source.html#l00266">CVC3::Context::pop()</a>, <a class="el" href="cdflags_8cpp_source.html#l00031">CVC3::CDFlags::update()</a>, and <a class="el" href="context_8cpp_source.html#l00221">CVC3::Context::~Context()</a>.</p>
</div>
</div>
<a class="anchor" id="abadab46860137ebbd886a695ae9c9e46"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">void* CVC3::Scope::operator new </td>
<td>(</td>
<td class="paramtype">size_t </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> * </td>
<td class="paramname"><em>mm</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="context_8h_source.html#l00101">101</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
<p>References <a class="el" href="memory__manager__context_8h_source.html#l00104">CVC3::ContextMemoryManager::newData()</a>.</p>
</div>
</div>
<a class="anchor" id="aae8bd5faeb04b443612cd724445f8462"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">void CVC3::Scope::operator delete </td>
<td>(</td>
<td class="paramtype">void * </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> * </td>
<td class="paramname"><em>mm</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="context_8h_source.html#l00103">103</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
</div>
</div>
<a class="anchor" id="adf2e0e25af9ba26c5477367a88314d3f"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">void CVC3::Scope::operator delete </td>
<td>(</td>
<td class="paramtype">void * </td>
<td class="paramname"></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="context_8h_source.html#l00106">106</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
</div>
</div>
<a class="anchor" id="a288d98e934b96112a131f0bbd068680f"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void Scope::finalize </td>
<td>(</td>
<td class="paramtype">void </td>
<td class="paramname"></td><td>)</td>
<td></td>
</tr>
</table>
</div><div class="memdoc">
<p>Called by ~ContextManager. </p>
<p>Definition at line <a class="el" href="context_8cpp_source.html#l00037">37</a> of file <a class="el" href="context_8cpp_source.html">context.cpp</a>.</p>
<p>References <a class="el" href="context_8h_source.html#l00153">CVC3::ContextObjChain::d_master</a>, <a class="el" href="context_8h_source.html#l00210">CVC3::ContextObj::d_restore</a>, <a class="el" href="context_8h_source.html#l00139">CVC3::ContextObjChain::d_restoreChainNext</a>, and <a class="el" href="context_8h_source.html#l00206">CVC3::ContextObj::d_scope</a>.</p>
<p>Referenced by <a class="el" href="context_8cpp_source.html#l00221">CVC3::Context::~Context()</a>.</p>
</div>
</div>
<a class="anchor" id="a796f074fbe4834687942c43b6456dabb"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void Scope::check </td>
<td>(</td>
<td class="paramtype">void </td>
<td class="paramname"></td><td>)</td>
<td></td>
</tr>
</table>
</div><div class="memdoc">
<p>Check for memory leaks. </p>
<p>Definition at line <a class="el" href="context_8cpp_source.html#l00055">55</a> of file <a class="el" href="context_8cpp_source.html">context.cpp</a>.</p>
<p>References <a class="el" href="context_8h_source.html#l00139">CVC3::ContextObjChain::d_restoreChainNext</a>, <a class="el" href="expr__stream_8cpp_source.html#l00353">std::endl()</a>, and <a class="el" href="debug_8h_source.html#l00406">IF_DEBUG</a>.</p>
<p>Referenced by <a class="el" href="context_8cpp_source.html#l00266">CVC3::Context::pop()</a>.</p>
</div>
</div>
<a class="anchor" id="a007e070f14d1158207a28293354ed106"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">unsigned long Scope::getMemory </td>
<td>(</td>
<td class="paramtype">int </td>
<td class="paramname"><em>verbosity</em></td><td>)</td>
<td></td>
</tr>
</table>
</div><div class="memdoc">
<p>Compute memory used. </p>
<p>Definition at line <a class="el" href="context_8cpp_source.html#l00082">82</a> of file <a class="el" href="context_8cpp_source.html">context.cpp</a>.</p>
<p>References <a class="el" href="expr__stream_8cpp_source.html#l00353">std::endl()</a>.</p>
<p>Referenced by <a class="el" href="context_8cpp_source.html#l00312">CVC3::Context::getMemory()</a>.</p>
</div>
</div>
<h2 class="groupheader">Friends And Related Function Documentation</h2>
<a class="anchor" id="aaa3d900ada369da566fe2d896aee9a5a"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">friend class <a class="el" href="classCVC3_1_1ContextObj.html">ContextObj</a></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="context_8h_source.html#l00061">61</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
</div>
</div>
<a class="anchor" id="a78b6f5579433f2891e2bb17c011ec112"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">friend class <a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="context_8h_source.html#l00062">62</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
</div>
</div>
<a class="anchor" id="ade09c87996f604683ba4726bfdd79121"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">friend class <a class="el" href="classCVC3_1_1CDFlags.html">CDFlags</a></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="context_8h_source.html#l00063">63</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
</div>
</div>
<h2 class="groupheader">Member Data Documentation</h2>
<a class="anchor" id="a7d2d367f8da7a9d216f1de35d65bda37"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Context.html">Context</a>* CVC3::Scope::d_context</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">private</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p><a class="el" href="classCVC3_1_1Context.html">Context</a> that created this scope. </p>
<p>Definition at line <a class="el" href="context_8h_source.html#l00065">65</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#l00098">getContext()</a>.</p>
</div>
</div>
<a class="anchor" id="a1ff51670a2263ba69ccd35d13cdb1395"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1ContextMemoryManager.html">ContextMemoryManager</a>* CVC3::Scope::d_cmm</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">private</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Memory manager for this scope. </p>
<p>Definition at line <a class="el" href="context_8h_source.html#l00068">68</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#l00099">getCMM()</a>.</p>
</div>
</div>
<a class="anchor" id="a9844d24cb03f6c43fd738350fa6447c5"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Scope.html">Scope</a>* CVC3::Scope::d_prevScope</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">private</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Previous scope in this context. </p>
<p>Definition at line <a class="el" href="context_8h_source.html#l00071">71</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#l00094">prevScope()</a>.</p>
</div>
</div>
<a class="anchor" id="aac245fe3aaa3bf2578867ec669b162e9"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">int CVC3::Scope::d_level</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">private</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p><a class="el" href="classCVC3_1_1Scope.html">Scope</a> level. </p>
<p>Definition at line <a class="el" href="context_8h_source.html#l00074">74</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#l00095">level()</a>, and <a class="el" href="context_8h_source.html#l00085">Scope()</a>.</p>
</div>
</div>
<a class="anchor" id="a0940c7152f4eeb881856460985a83cb6"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a>* CVC3::Scope::d_restoreChain</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">private</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Linked list of objects which are "current" in this scope, and thus need to be restored when the scope is deleted. </p>
<p>Definition at line <a class="el" href="context_8h_source.html#l00078">78</a> of file <a class="el" href="context_8h_source.html">context.h</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><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated on Thu May 16 2013 13:25:17 for CVC3 by  <a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.8.2
</small></address>
</body>
</html>
