<!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: cdmap.h Source File</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 <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 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><a href="annotated.html"><span>Classes</span></a></li>
<li class="current"><a href="files.html"><span>Files</span></a></li>
</ul>
</div>
<div id="navrow2" class="tabs2">
<ul class="tablist">
<li><a href="files.html"><span>File List</span></a></li>
<li><a href="globals.html"><span>File Members</span></a></li>
</ul>
</div>
<div class="header">
<div class="headertitle">
<div class="title">cdmap.h</div> </div>
</div>
<div class="contents">
<a href="cdmap_8h.html">Go to the documentation of this file.</a><div class="fragment"><pre class="fragment"><a name="l00001"></a>00001 <span class="comment">/*****************************************************************************/</span><span class="comment"></span>
<a name="l00002"></a>00002 <span class="comment">/*!</span>
<a name="l00003"></a>00003 <span class="comment"> * \file cdmap.h</span>
<a name="l00004"></a>00004 <span class="comment"> *</span>
<a name="l00005"></a>00005 <span class="comment"> * Author: Sergey Berezin</span>
<a name="l00006"></a>00006 <span class="comment"> *</span>
<a name="l00007"></a>00007 <span class="comment"> * Created: Thu May 15 15:55:09 2003</span>
<a name="l00008"></a>00008 <span class="comment"> *</span>
<a name="l00009"></a>00009 <span class="comment"> * <hr></span>
<a name="l00010"></a>00010 <span class="comment"> *</span>
<a name="l00011"></a>00011 <span class="comment"> * License to use, copy, modify, sell and/or distribute this software</span>
<a name="l00012"></a>00012 <span class="comment"> * and its documentation for any purpose is hereby granted without</span>
<a name="l00013"></a>00013 <span class="comment"> * royalty, subject to the terms and conditions defined in the \ref</span>
<a name="l00014"></a>00014 <span class="comment"> * LICENSE file provided with this distribution.</span>
<a name="l00015"></a>00015 <span class="comment"> *</span>
<a name="l00016"></a>00016 <span class="comment"> * <hr></span>
<a name="l00017"></a>00017 <span class="comment"> *</span>
<a name="l00018"></a>00018 <span class="comment"> */</span>
<a name="l00019"></a>00019 <span class="comment">/*****************************************************************************/</span>
<a name="l00020"></a>00020
<a name="l00021"></a>00021 <span class="preprocessor">#ifndef _cvc3__include__cdmap_h_</span>
<a name="l00022"></a>00022 <span class="preprocessor"></span><span class="preprocessor">#define _cvc3__include__cdmap_h_</span>
<a name="l00023"></a>00023 <span class="preprocessor"></span>
<a name="l00024"></a>00024 <span class="preprocessor">#include <iterator></span>
<a name="l00025"></a>00025 <span class="preprocessor">#include "<a class="code" href="context_8h.html">context.h</a>"</span>
<a name="l00026"></a>00026
<a name="l00027"></a>00027 <span class="keyword">namespace </span>CVC3 {
<a name="l00028"></a>00028 <span class="comment"></span>
<a name="l00029"></a>00029 <span class="comment">///////////////////////////////////////////////////////////////////////////////</span>
<a name="l00030"></a>00030 <span class="comment"></span><span class="comment">// //</span>
<a name="l00031"></a>00031 <span class="comment">// Class: CDMap (Context Dependent Map) //</span>
<a name="l00032"></a>00032 <span class="comment">// Author: Sergey Berezin //</span>
<a name="l00033"></a>00033 <span class="comment">// Created: Thu May 15 15:55:09 2003 //</span>
<a name="l00034"></a>00034 <span class="comment">// Description: Generic templated class for a map which must be saved //</span>
<a name="l00035"></a>00035 <span class="comment">// and restored as contexts are pushed and popped. Requires //</span>
<a name="l00036"></a>00036 <span class="comment">// that operator= be defined for the data class, and //</span>
<a name="l00037"></a>00037 <span class="comment">// operator== for the key class. In addition, a hash<Key> //</span>
<a name="l00038"></a>00038 <span class="comment">// template specialization must be defined, or a hash class //</span>
<a name="l00039"></a>00039 <span class="comment">// explicitly provided in the template. //</span>
<a name="l00040"></a>00040 <span class="comment">// //</span><span class="comment"></span>
<a name="l00041"></a>00041 <span class="comment">///////////////////////////////////////////////////////////////////////////////</span>
<a name="l00042"></a>00042 <span class="comment"></span>
<a name="l00043"></a>00043 <span class="comment">// Auxiliary class: almost the same as CDO (see cdo.h), but on</span>
<a name="l00044"></a>00044 <span class="comment">// setNull() call it erases itself from the map.</span>
<a name="l00045"></a>00045
<a name="l00046"></a>00046 <span class="keyword">template</span> <<span class="keyword">class</span> Key, <span class="keyword">class</span> Data, <span class="keyword">class</span> HashFcn = std::hash<Key> > <span class="keyword">class </span>CDMap;
<a name="l00047"></a>00047
<a name="l00048"></a>00048 <span class="keyword">template</span> <<span class="keyword">class</span> Key, <span class="keyword">class</span> Data, <span class="keyword">class</span> HashFcn = std::hash<Key> >
<a name="l00049"></a><a class="code" href="classCVC3_1_1CDOmap.html">00049</a> <span class="keyword">class </span><a class="code" href="classCVC3_1_1CDOmap.html">CDOmap</a> :<span class="keyword">public</span> <a class="code" href="classCVC3_1_1ContextObj.html">ContextObj</a> {
<a name="l00050"></a><a class="code" href="classCVC3_1_1CDOmap.html#a5312a7f0edb9336cbb5fbb0832336168">00050</a> Key <a class="code" href="classCVC3_1_1CDOmap.html#a5312a7f0edb9336cbb5fbb0832336168">d_key</a>;
<a name="l00051"></a><a class="code" href="classCVC3_1_1CDOmap.html#a7aca55b09538e0c150098d4c2cd3e73e">00051</a> Data <a class="code" href="classCVC3_1_1CDOmap.html#a7aca55b09538e0c150098d4c2cd3e73e">d_data</a>;
<a name="l00052"></a><a class="code" href="classCVC3_1_1CDOmap.html#aa5e2903817b997a74bebe61989c69ccf">00052</a> <span class="keywordtype">bool</span> <a class="code" href="classCVC3_1_1CDOmap.html#aa5e2903817b997a74bebe61989c69ccf">d_inMap</a>; <span class="comment">// whether the data must be in the map</span>
<a name="l00053"></a><a class="code" href="classCVC3_1_1CDOmap.html#af13f5e36398a5e0de0a2933f49bf89e1">00053</a> <a class="code" href="classCVC3_1_1CDMap.html">CDMap<Key, Data, HashFcn></a>* <a class="code" href="classCVC3_1_1CDOmap.html#af13f5e36398a5e0de0a2933f49bf89e1">d_cdmap</a>;
<a name="l00054"></a>00054
<a name="l00055"></a>00055 <span class="comment">// Doubly-linked list for keeping track of elements in order of insertion</span>
<a name="l00056"></a><a class="code" href="classCVC3_1_1CDOmap.html#a69cc2e26d8f8333f25428a44c1183da7">00056</a> <a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>* <a class="code" href="classCVC3_1_1CDOmap.html#a69cc2e26d8f8333f25428a44c1183da7">d_prev</a>;
<a name="l00057"></a><a class="code" href="classCVC3_1_1CDOmap.html#a72518edef751025b89fd6e57af1e72c0">00057</a> <a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>* <a class="code" href="classCVC3_1_1CDOmap.html#a72518edef751025b89fd6e57af1e72c0">d_next</a>;
<a name="l00058"></a>00058
<a name="l00059"></a><a class="code" href="classCVC3_1_1CDOmap.html#a6386a73023acf410a8df5b7bb0d08e49">00059</a> <span class="keyword">virtual</span> <a class="code" href="classCVC3_1_1ContextObj.html">ContextObj</a>* <a class="code" href="classCVC3_1_1CDOmap.html#a6386a73023acf410a8df5b7bb0d08e49" title="Make a copy of the current object so it can be restored to its current state.">makeCopy</a>(<a class="code" href="classCVC3_1_1ContextMemoryManager.html" title="ContextMemoryManager.">ContextMemoryManager</a>* cmm)
<a name="l00060"></a>00060 { <span class="keywordflow">return</span> <span class="keyword">new</span>(cmm) <a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>(*<span class="keyword">this</span>); }
<a name="l00061"></a>00061
<a name="l00062"></a><a class="code" href="classCVC3_1_1CDOmap.html#a6bb9afb0c43a91a329fee43b2f8560fe">00062</a> <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classCVC3_1_1CDOmap.html#a6bb9afb0c43a91a329fee43b2f8560fe" title="Restore the current object from the given data.">restoreData</a>(<a class="code" href="classCVC3_1_1ContextObj.html">ContextObj</a>* data) {
<a name="l00063"></a>00063 <a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>* p((<a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>*)data);
<a name="l00064"></a>00064 <span class="keywordflow">if</span>(p-><a class="code" href="classCVC3_1_1CDOmap.html#aa5e2903817b997a74bebe61989c69ccf">d_inMap</a>) { <a class="code" href="classCVC3_1_1CDOmap.html#a7aca55b09538e0c150098d4c2cd3e73e">d_data</a> = p-><a class="code" href="classCVC3_1_1CDOmap.html#a7aca55b09538e0c150098d4c2cd3e73e">d_data</a>; <a class="code" href="classCVC3_1_1CDOmap.html#aa5e2903817b997a74bebe61989c69ccf">d_inMap</a> = <span class="keyword">true</span>; }
<a name="l00065"></a>00065 <span class="keywordflow">else</span> <a class="code" href="classCVC3_1_1CDOmap.html#a8703f5877cda5e1cf1f92e82a805b4da" title="Set the current object to be invalid.">setNull</a>();
<a name="l00066"></a>00066 }
<a name="l00067"></a><a class="code" href="classCVC3_1_1CDOmap.html#a8703f5877cda5e1cf1f92e82a805b4da">00067</a> <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classCVC3_1_1CDOmap.html#a8703f5877cda5e1cf1f92e82a805b4da" title="Set the current object to be invalid.">setNull</a>(<span class="keywordtype">void</span>) {
<a name="l00068"></a>00068 <span class="comment">// Erase itself from the map and put itself into trash. We cannot</span>
<a name="l00069"></a>00069 <span class="comment">// "delete this" here, because it will break context operations in</span>
<a name="l00070"></a>00070 <span class="comment">// a non-trivial way.</span>
<a name="l00071"></a>00071 <span class="keywordflow">if</span>(<a class="code" href="classCVC3_1_1CDOmap.html#af13f5e36398a5e0de0a2933f49bf89e1">d_cdmap</a>->d_map.count(<a class="code" href="classCVC3_1_1CDOmap.html#a5312a7f0edb9336cbb5fbb0832336168">d_key</a>) > 0) {
<a name="l00072"></a>00072 <a class="code" href="classCVC3_1_1CDOmap.html#af13f5e36398a5e0de0a2933f49bf89e1">d_cdmap</a>->d_map.erase(<a class="code" href="classCVC3_1_1CDOmap.html#a5312a7f0edb9336cbb5fbb0832336168">d_key</a>);
<a name="l00073"></a>00073 <a class="code" href="classCVC3_1_1CDOmap.html#af13f5e36398a5e0de0a2933f49bf89e1">d_cdmap</a>->d_trash.push_back(<span class="keyword">this</span>);
<a name="l00074"></a>00074 }
<a name="l00075"></a>00075 <a class="code" href="classCVC3_1_1CDOmap.html#a69cc2e26d8f8333f25428a44c1183da7">d_prev</a>->d_next = <a class="code" href="classCVC3_1_1CDOmap.html#a72518edef751025b89fd6e57af1e72c0">d_next</a>;
<a name="l00076"></a>00076 <a class="code" href="classCVC3_1_1CDOmap.html#a72518edef751025b89fd6e57af1e72c0">d_next</a>->d_prev = <a class="code" href="classCVC3_1_1CDOmap.html#a69cc2e26d8f8333f25428a44c1183da7">d_prev</a>;
<a name="l00077"></a>00077 <span class="keywordflow">if</span> (<a class="code" href="classCVC3_1_1CDOmap.html#af13f5e36398a5e0de0a2933f49bf89e1">d_cdmap</a>->d_first == <span class="keyword">this</span>) {
<a name="l00078"></a>00078 <a class="code" href="classCVC3_1_1CDOmap.html#af13f5e36398a5e0de0a2933f49bf89e1">d_cdmap</a>->d_first = <a class="code" href="classCVC3_1_1CDOmap.html#a72518edef751025b89fd6e57af1e72c0">d_next</a>;
<a name="l00079"></a>00079 <span class="keywordflow">if</span> (<a class="code" href="classCVC3_1_1CDOmap.html#a72518edef751025b89fd6e57af1e72c0">d_next</a> == <span class="keyword">this</span>) {
<a name="l00080"></a>00080 <a class="code" href="classCVC3_1_1CDOmap.html#af13f5e36398a5e0de0a2933f49bf89e1">d_cdmap</a>->d_first = NULL;
<a name="l00081"></a>00081 }
<a name="l00082"></a>00082 }
<a name="l00083"></a>00083 }
<a name="l00084"></a>00084
<a name="l00085"></a>00085 <span class="keyword">public</span>:
<a name="l00086"></a><a class="code" href="classCVC3_1_1CDOmap.html#a1415a16bebe21f1e1ba51f70490872e8">00086</a> <a class="code" href="classCVC3_1_1CDOmap.html#a1415a16bebe21f1e1ba51f70490872e8">CDOmap</a>(<a class="code" href="classCVC3_1_1Context.html">Context</a>* context, <a class="code" href="classCVC3_1_1CDMap.html">CDMap<Key, Data, HashFcn></a>* cdmap,
<a name="l00087"></a>00087 <span class="keyword">const</span> Key& key, <span class="keyword">const</span> Data& data, <span class="keywordtype">int</span> scope = -1)
<a name="l00088"></a>00088 : <a class="code" href="classCVC3_1_1ContextObj.html">ContextObj</a>(context), <a class="code" href="classCVC3_1_1CDOmap.html#a5312a7f0edb9336cbb5fbb0832336168">d_key</a>(key), <a class="code" href="classCVC3_1_1CDOmap.html#aa5e2903817b997a74bebe61989c69ccf">d_inMap</a>(false), <a class="code" href="classCVC3_1_1CDOmap.html#af13f5e36398a5e0de0a2933f49bf89e1">d_cdmap</a>(cdmap) {
<a name="l00089"></a>00089 <span class="keyword">set</span>(data, scope);
<a name="l00090"></a>00090 <a class="code" href="debug_8h.html#a600cb2d68efe7cc413cccbb5714c7016">IF_DEBUG</a>(setName(<span class="stringliteral">"CDOmap"</span>);)
<a name="l00091"></a>00091 <a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>*& first = <a class="code" href="classCVC3_1_1CDOmap.html#af13f5e36398a5e0de0a2933f49bf89e1">d_cdmap</a>->d_first;
<a name="l00092"></a>00092 if (first == NULL) {
<a name="l00093"></a>00093 first = <a class="code" href="classCVC3_1_1CDOmap.html#a72518edef751025b89fd6e57af1e72c0">d_next</a> = <a class="code" href="classCVC3_1_1CDOmap.html#a69cc2e26d8f8333f25428a44c1183da7">d_prev</a> = <span class="keyword">this</span>;
<a name="l00094"></a>00094 }
<a name="l00095"></a>00095 <span class="keywordflow">else</span> {
<a name="l00096"></a>00096 <a class="code" href="classCVC3_1_1CDOmap.html#a69cc2e26d8f8333f25428a44c1183da7">d_prev</a> = first->d_prev;
<a name="l00097"></a>00097 <a class="code" href="classCVC3_1_1CDOmap.html#a72518edef751025b89fd6e57af1e72c0">d_next</a> = first;
<a name="l00098"></a>00098 <a class="code" href="classCVC3_1_1CDOmap.html#a69cc2e26d8f8333f25428a44c1183da7">d_prev</a>->d_next = first->d_prev = <span class="keyword">this</span>;
<a name="l00099"></a>00099 }
<a name="l00100"></a>00100 }
<a name="l00101"></a><a class="code" href="classCVC3_1_1CDOmap.html#ac557e78e4424b6e2408715caff49b5d9">00101</a> <a class="code" href="classCVC3_1_1CDOmap.html#ac557e78e4424b6e2408715caff49b5d9">~CDOmap</a>() {}
<a name="l00102"></a><a class="code" href="classCVC3_1_1CDOmap.html#aa44e4507256fc4f30ec342165d1724c5">00102</a> <span class="keywordtype">void</span> <span class="keyword">set</span>(<span class="keyword">const</span> Data& data, <span class="keywordtype">int</span> scope=-1) {
<a name="l00103"></a>00103 <a class="code" href="classCVC3_1_1ContextObj.html#a780166170b1df8eb7a7632eae66c3511">makeCurrent</a>(scope); <a class="code" href="classCVC3_1_1CDOmap.html#a7aca55b09538e0c150098d4c2cd3e73e">d_data</a> = data; <a class="code" href="classCVC3_1_1CDOmap.html#aa5e2903817b997a74bebe61989c69ccf">d_inMap</a> = <span class="keyword">true</span>;
<a name="l00104"></a>00104 }
<a name="l00105"></a><a class="code" href="classCVC3_1_1CDOmap.html#a24eedfb5afae5212b8eaef3f8a5bf701">00105</a> <span class="keyword">const</span> Key& <a class="code" href="classCVC3_1_1CDOmap.html#a24eedfb5afae5212b8eaef3f8a5bf701">getKey</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> <a class="code" href="classCVC3_1_1CDOmap.html#a5312a7f0edb9336cbb5fbb0832336168">d_key</a>; }
<a name="l00106"></a><a class="code" href="classCVC3_1_1CDOmap.html#a3359cef29958cde3e7b9aa2a7d4bd47b">00106</a> <span class="keyword">const</span> Data& <span class="keyword">get</span>() <span class="keyword">const</span> { <span class="keywordflow">return</span> <a class="code" href="classCVC3_1_1CDOmap.html#a7aca55b09538e0c150098d4c2cd3e73e">d_data</a>; }
<a name="l00107"></a><a class="code" href="classCVC3_1_1CDOmap.html#a1304b662a6b9af256af165b36750d9bf">00107</a> <a class="code" href="classCVC3_1_1CDOmap.html#a1304b662a6b9af256af165b36750d9bf">operator Data</a>() { <span class="keywordflow">return</span> <span class="keyword">get</span>(); }
<a name="l00108"></a><a class="code" href="classCVC3_1_1CDOmap.html#aa1a654c6cda3c8aab213efa2fa57f1b1">00108</a> <a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>& <a class="code" href="classCVC3_1_1CDOmap.html#aa1a654c6cda3c8aab213efa2fa57f1b1">operator=</a>(<span class="keyword">const</span> Data& data) { <span class="keyword">set</span>(data); <span class="keywordflow">return</span> *<span class="keyword">this</span>; }
<a name="l00109"></a><a class="code" href="classCVC3_1_1CDOmap.html#a630c5a1951789029feb0ba7abc973872">00109</a> <a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>* <a class="code" href="classCVC3_1_1CDOmap.html#a630c5a1951789029feb0ba7abc973872">next</a>()<span class="keyword"> const </span>{
<a name="l00110"></a>00110 <span class="keywordflow">if</span> (<a class="code" href="classCVC3_1_1CDOmap.html#a72518edef751025b89fd6e57af1e72c0">d_next</a> == <a class="code" href="classCVC3_1_1CDOmap.html#af13f5e36398a5e0de0a2933f49bf89e1">d_cdmap</a>->d_first) <span class="keywordflow">return</span> NULL;
<a name="l00111"></a>00111 <span class="keywordflow">else</span> <span class="keywordflow">return</span> <a class="code" href="classCVC3_1_1CDOmap.html#a72518edef751025b89fd6e57af1e72c0">d_next</a>;
<a name="l00112"></a>00112 }
<a name="l00113"></a>00113 }; <span class="comment">// end of class CDOmap</span>
<a name="l00114"></a>00114
<a name="l00115"></a>00115 <span class="comment">// Dummy subclass of ContextObj to serve as our data class</span>
<a name="l00116"></a><a class="code" href="classCVC3_1_1CDMapData.html">00116</a> <span class="keyword">class </span><a class="code" href="classCVC3_1_1CDMapData.html">CDMapData</a> : <span class="keyword">public</span> <a class="code" href="classCVC3_1_1ContextObj.html">ContextObj</a> {
<a name="l00117"></a><a class="code" href="classCVC3_1_1CDMapData.html#a8b7d38c1c2ed1bfc0d9d3f198609fb04">00117</a> <a class="code" href="classCVC3_1_1ContextObj.html">ContextObj</a>* <a class="code" href="classCVC3_1_1CDMapData.html#a8b7d38c1c2ed1bfc0d9d3f198609fb04" title="Make a copy of the current object so it can be restored to its current state.">makeCopy</a>(<a class="code" href="classCVC3_1_1ContextMemoryManager.html" title="ContextMemoryManager.">ContextMemoryManager</a>* cmm)
<a name="l00118"></a>00118 { <span class="keywordflow">return</span> <span class="keyword">new</span>(cmm) <a class="code" href="classCVC3_1_1CDMapData.html#a6d03dce6d5661e2ed40a8512a604a3ed">CDMapData</a>(*<span class="keyword">this</span>); }
<a name="l00119"></a><a class="code" href="classCVC3_1_1CDMapData.html#ad0d096840f77467d25f872b561fb92b6">00119</a> <span class="keywordtype">void</span> <a class="code" href="classCVC3_1_1CDMapData.html#ad0d096840f77467d25f872b561fb92b6" title="Restore the current object from the given data.">restoreData</a>(<a class="code" href="classCVC3_1_1ContextObj.html">ContextObj</a>* data) { }
<a name="l00120"></a><a class="code" href="classCVC3_1_1CDMapData.html#a063e8461eef0844c8664f13b9e352a35">00120</a> <span class="keywordtype">void</span> <a class="code" href="classCVC3_1_1CDMapData.html#a063e8461eef0844c8664f13b9e352a35" title="Set the current object to be invalid.">setNull</a>(<span class="keywordtype">void</span>) { }
<a name="l00121"></a>00121 <span class="keyword">public</span>:
<a name="l00122"></a><a class="code" href="classCVC3_1_1CDMapData.html#a6d03dce6d5661e2ed40a8512a604a3ed">00122</a> <a class="code" href="classCVC3_1_1CDMapData.html#a6d03dce6d5661e2ed40a8512a604a3ed">CDMapData</a>(<a class="code" href="classCVC3_1_1Context.html">Context</a>* context): <a class="code" href="classCVC3_1_1ContextObj.html">ContextObj</a>(context) { }
<a name="l00123"></a><a class="code" href="classCVC3_1_1CDMapData.html#a5686348b44f4d31bac9b277229f7c8e0">00123</a> <a class="code" href="classCVC3_1_1CDMapData.html#a5686348b44f4d31bac9b277229f7c8e0">CDMapData</a>(<span class="keyword">const</span> <a class="code" href="classCVC3_1_1ContextObj.html">ContextObj</a>& co): <a class="code" href="classCVC3_1_1ContextObj.html">ContextObj</a>(co) { }
<a name="l00124"></a>00124 };
<a name="l00125"></a>00125
<a name="l00126"></a>00126 <span class="comment">// The actual class CDMap</span>
<a name="l00127"></a>00127 <span class="keyword">template</span> <<span class="keyword">class</span> Key, <span class="keyword">class</span> Data, <span class="keyword">class</span> HashFcn>
<a name="l00128"></a><a class="code" href="classCVC3_1_1CDMap.html">00128</a> <span class="keyword">class </span><a class="code" href="classCVC3_1_1CDMap.html">CDMap</a>: <span class="keyword">public</span> <a class="code" href="classCVC3_1_1ContextObj.html">ContextObj</a> {
<a name="l00129"></a><a class="code" href="classCVC3_1_1CDMap.html#aedc58e9ee87b9fa4235d4698e7a0937b">00129</a> <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classCVC3_1_1CDOmap.html">CDOmap</a><Key, Data, HashFcn>;
<a name="l00130"></a>00130 <span class="keyword">private</span>:
<a name="l00131"></a><a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">00131</a> <a class="code" href="classHash_1_1hash__map.html">std::hash_map<Key,CDOmap<Key, Data, HashFcn></a>*,HashFcn> <a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">d_map</a>;
<a name="l00132"></a>00132 <span class="comment">// The vector of CDOmap objects to be destroyed</span>
<a name="l00133"></a><a class="code" href="classCVC3_1_1CDMap.html#adb60ed769538893e144be417fbf0ca7a">00133</a> std::vector<CDOmap<Key, Data, HashFcn>*> <a class="code" href="classCVC3_1_1CDMap.html#adb60ed769538893e144be417fbf0ca7a">d_trash</a>;
<a name="l00134"></a><a class="code" href="classCVC3_1_1CDMap.html#ae4eb2f926a51da1446bddc0881cd4684">00134</a> <a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>* <a class="code" href="classCVC3_1_1CDMap.html#ae4eb2f926a51da1446bddc0881cd4684">d_first</a>;
<a name="l00135"></a><a class="code" href="classCVC3_1_1CDMap.html#a73a962c2f1cf6cee5464dc210ac199c7">00135</a> <a class="code" href="classCVC3_1_1Context.html">Context</a>* <a class="code" href="classCVC3_1_1CDMap.html#a73a962c2f1cf6cee5464dc210ac199c7">d_context</a>;
<a name="l00136"></a>00136
<a name="l00137"></a>00137 <span class="comment">// Nothing to save; the elements take care of themselves</span>
<a name="l00138"></a><a class="code" href="classCVC3_1_1CDMap.html#aa4ff8e99983ef020ad28d075a26f8ac9">00138</a> <span class="keyword">virtual</span> <a class="code" href="classCVC3_1_1ContextObj.html">ContextObj</a>* <a class="code" href="classCVC3_1_1CDMap.html#aa4ff8e99983ef020ad28d075a26f8ac9" title="Make a copy of the current object so it can be restored to its current state.">makeCopy</a>(<a class="code" href="classCVC3_1_1ContextMemoryManager.html" title="ContextMemoryManager.">ContextMemoryManager</a>* cmm)
<a name="l00139"></a>00139 { <span class="keywordflow">return</span> <span class="keyword">new</span>(cmm) <a class="code" href="classCVC3_1_1CDMapData.html">CDMapData</a>(*<span class="keyword">this</span>); }
<a name="l00140"></a>00140 <span class="comment">// Similarly, nothing to restore</span>
<a name="l00141"></a><a class="code" href="classCVC3_1_1CDMap.html#a3dd8677771f90789863f269a9aa5a8d1">00141</a> <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classCVC3_1_1CDMap.html#a3dd8677771f90789863f269a9aa5a8d1" title="Restore the current object from the given data.">restoreData</a>(<a class="code" href="classCVC3_1_1ContextObj.html">ContextObj</a>* data) { }
<a name="l00142"></a>00142
<a name="l00143"></a>00143 <span class="comment">// Destroy stale CDOmap objects from trash</span>
<a name="l00144"></a><a class="code" href="classCVC3_1_1CDMap.html#af131d2f086aaa773a4b5cb974981fbd1">00144</a> <span class="keywordtype">void</span> <a class="code" href="classCVC3_1_1CDMap.html#af131d2f086aaa773a4b5cb974981fbd1">emptyTrash</a>() {
<a name="l00145"></a>00145 <span class="keywordflow">for</span>(<span class="keyword">typename</span> std::vector<<a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>*>::iterator
<a name="l00146"></a>00146 i=<a class="code" href="classCVC3_1_1CDMap.html#adb60ed769538893e144be417fbf0ca7a">d_trash</a>.begin(), iend=<a class="code" href="classCVC3_1_1CDMap.html#adb60ed769538893e144be417fbf0ca7a">d_trash</a>.end(); i!=iend; ++i) {
<a name="l00147"></a>00147 <span class="keyword">delete</span> *i;
<a name="l00148"></a>00148 free(*i);
<a name="l00149"></a>00149 }
<a name="l00150"></a>00150 <a class="code" href="classCVC3_1_1CDMap.html#adb60ed769538893e144be417fbf0ca7a">d_trash</a>.clear();
<a name="l00151"></a>00151 }
<a name="l00152"></a>00152
<a name="l00153"></a><a class="code" href="classCVC3_1_1CDMap.html#a3b888175c3f8d8fc72b123bec0aa26dd">00153</a> <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classCVC3_1_1CDMap.html#a3b888175c3f8d8fc72b123bec0aa26dd" title="Set the current object to be invalid.">setNull</a>(<span class="keywordtype">void</span>) {
<a name="l00154"></a>00154 <span class="comment">// Delete all the elements and clear the map</span>
<a name="l00155"></a>00155 <span class="keywordflow">for</span>(<span class="keyword">typename</span> <a class="code" href="classHash_1_1hash__map.html">std::hash_map</a><Key,<a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>*,HashFcn>::iterator
<a name="l00156"></a>00156 i=<a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">d_map</a>.<a class="code" href="classHash_1_1hash__map.html#a478f2d66eb11d4ca51bc2b630373e9ad" title="iterators">begin</a>(), iend=<a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">d_map</a>.<a class="code" href="classHash_1_1hash__map.html#a2c776e055f3d17226605157e1c37dbc9">end</a>();
<a name="l00157"></a>00157 i!=iend; ++i) {
<a name="l00158"></a>00158 <span class="keyword">delete</span> (*i).second;
<a name="l00159"></a>00159 free((*i).second);
<a name="l00160"></a>00160 }
<a name="l00161"></a>00161 <a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">d_map</a>.<a class="code" href="classHash_1_1hash__map.html#a18703659be23b5ff0b7d7b5c796e6abd">clear</a>();
<a name="l00162"></a>00162 <a class="code" href="classCVC3_1_1CDMap.html#af131d2f086aaa773a4b5cb974981fbd1">emptyTrash</a>();
<a name="l00163"></a>00163 }
<a name="l00164"></a>00164 <span class="keyword">public</span>:
<a name="l00165"></a><a class="code" href="classCVC3_1_1CDMap.html#aa106cb45af8d6c95fc1af494fe81ad8c">00165</a> <a class="code" href="classCVC3_1_1CDMap.html#aa106cb45af8d6c95fc1af494fe81ad8c">CDMap</a>(<a class="code" href="classCVC3_1_1Context.html">Context</a>* context, <span class="keywordtype">int</span> scope = -1)
<a name="l00166"></a>00166 : <a class="code" href="classCVC3_1_1ContextObj.html">ContextObj</a>(context), <a class="code" href="classCVC3_1_1CDMap.html#ae4eb2f926a51da1446bddc0881cd4684">d_first</a>(NULL), <a class="code" href="classCVC3_1_1CDMap.html#a73a962c2f1cf6cee5464dc210ac199c7">d_context</a>(context) {
<a name="l00167"></a>00167 <a class="code" href="debug_8h.html#a600cb2d68efe7cc413cccbb5714c7016">IF_DEBUG</a>(setName(<span class="stringliteral">"CDMap"</span>)); ;
<a name="l00168"></a>00168 }
<a name="l00169"></a><a class="code" href="classCVC3_1_1CDMap.html#ad191415bd4472a96eee83342dc277b16">00169</a> <a class="code" href="classCVC3_1_1CDMap.html#ad191415bd4472a96eee83342dc277b16">~CDMap</a>() { <a class="code" href="classCVC3_1_1CDMap.html#a3b888175c3f8d8fc72b123bec0aa26dd" title="Set the current object to be invalid.">setNull</a>(); }
<a name="l00170"></a>00170 <span class="comment">// The usual operators of map</span>
<a name="l00171"></a><a class="code" href="classCVC3_1_1CDMap.html#a2cf256af978e1a3bf82407a13ba85c13">00171</a> <span class="keywordtype">size_t</span> <a class="code" href="classCVC3_1_1CDMap.html#a2cf256af978e1a3bf82407a13ba85c13">size</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> <a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">d_map</a>.<a class="code" href="classHash_1_1hash__map.html#a1440a04e68060e58f053a38976bc6f9b">size</a>(); }
<a name="l00172"></a><a class="code" href="classCVC3_1_1CDMap.html#af5f700035db0db798c645e36dd0b31bd">00172</a> <span class="keywordtype">size_t</span> <a class="code" href="classCVC3_1_1CDMap.html#af5f700035db0db798c645e36dd0b31bd">count</a>(<span class="keyword">const</span> Key& k)<span class="keyword"> const </span>{ <span class="keywordflow">return</span> <a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">d_map</a>.<a class="code" href="classHash_1_1hash__map.html#a3d52fe0d391d58e9573ce84472dfea24">count</a>(k); }
<a name="l00173"></a>00173
<a name="l00174"></a><a class="code" href="classCVC3_1_1CDMap.html#a6c68c9f0b50ad730fd683a82142286c5">00174</a> <span class="keyword">typedef</span> <a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>& <a class="code" href="classCVC3_1_1CDMap.html#a6c68c9f0b50ad730fd683a82142286c5">ElementReference</a>;
<a name="l00175"></a>00175
<a name="l00176"></a>00176 <span class="comment">// If a key is not present, a new object is created and inserted</span>
<a name="l00177"></a><a class="code" href="classCVC3_1_1CDMap.html#ad774e30f2396830dbdcad0e7874d8d01">00177</a> <a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>& <a class="code" href="classCVC3_1_1CDMap.html#ad774e30f2396830dbdcad0e7874d8d01">operator[]</a>(<span class="keyword">const</span> Key& k) {
<a name="l00178"></a>00178 <a class="code" href="classCVC3_1_1CDMap.html#af131d2f086aaa773a4b5cb974981fbd1">emptyTrash</a>();
<a name="l00179"></a>00179 <span class="keyword">typename</span> <a class="code" href="classHash_1_1hash__map.html">std::hash_map<Key,CDOmap<Key, Data, HashFcn></a>*,HashFcn>::iterator i(<a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">d_map</a>.<a class="code" href="classHash_1_1hash__map.html#af3317f9087a35d09985b6513c45d2ab8" title="operations">find</a>(k));
<a name="l00180"></a>00180 <a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>* obj;
<a name="l00181"></a>00181 <span class="keywordflow">if</span>(i == <a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">d_map</a>.<a class="code" href="classHash_1_1hash__map.html#a2c776e055f3d17226605157e1c37dbc9">end</a>()) { <span class="comment">// Create new object</span>
<a name="l00182"></a>00182 obj = <span class="keyword">new</span>(<span class="keyword">true</span>) <a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>(<a class="code" href="classCVC3_1_1CDMap.html#a73a962c2f1cf6cee5464dc210ac199c7">d_context</a>, <span class="keyword">this</span>, k, Data());
<a name="l00183"></a>00183 <a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">d_map</a>[k] = obj;
<a name="l00184"></a>00184 } <span class="keywordflow">else</span> {
<a name="l00185"></a>00185 obj = (*i).second;
<a name="l00186"></a>00186 }
<a name="l00187"></a>00187 <span class="keywordflow">return</span> *obj;
<a name="l00188"></a>00188 }
<a name="l00189"></a>00189
<a name="l00190"></a><a class="code" href="classCVC3_1_1CDMap.html#a664a15046de83b0af599f488cb420022">00190</a> <span class="keywordtype">void</span> <a class="code" href="classCVC3_1_1CDMap.html#a664a15046de83b0af599f488cb420022">insert</a>(<span class="keyword">const</span> Key& k, <span class="keyword">const</span> Data& d, <span class="keywordtype">int</span> scope = -1) {
<a name="l00191"></a>00191 <a class="code" href="classCVC3_1_1CDMap.html#af131d2f086aaa773a4b5cb974981fbd1">emptyTrash</a>();
<a name="l00192"></a>00192 <span class="keyword">typename</span> <a class="code" href="classHash_1_1hash__map.html">std::hash_map<Key,CDOmap<Key, Data, HashFcn></a>*,HashFcn>::iterator i(<a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">d_map</a>.<a class="code" href="classHash_1_1hash__map.html#af3317f9087a35d09985b6513c45d2ab8" title="operations">find</a>(k));
<a name="l00193"></a>00193 <span class="keywordflow">if</span>(i == <a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">d_map</a>.<a class="code" href="classHash_1_1hash__map.html#a2c776e055f3d17226605157e1c37dbc9">end</a>()) { <span class="comment">// Create new object</span>
<a name="l00194"></a>00194 <a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>*
<a name="l00195"></a>00195 obj(<span class="keyword">new</span>(<span class="keyword">true</span>) <a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>(<a class="code" href="classCVC3_1_1CDMap.html#a73a962c2f1cf6cee5464dc210ac199c7">d_context</a>, <span class="keyword">this</span>, k, d, scope));
<a name="l00196"></a>00196 <a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">d_map</a>[k] = obj;
<a name="l00197"></a>00197 } <span class="keywordflow">else</span> {
<a name="l00198"></a>00198 (*i).second-><a class="code" href="classCVC3_1_1CDOmap.html#aa44e4507256fc4f30ec342165d1724c5">set</a>(d, scope);
<a name="l00199"></a>00199 }
<a name="l00200"></a>00200 }
<a name="l00201"></a>00201 <span class="comment">// FIXME: no erase(), too much hassle to implement efficiently...</span>
<a name="l00202"></a>00202
<a name="l00203"></a>00203 <span class="comment">// Iterator for CDMap: points to pair<const Key, CDOMap<Key, Data, HashFcn>&>;</span>
<a name="l00204"></a>00204 <span class="comment">// in most cases, this will be functionally similar to pair<const Key,Data>.</span>
<a name="l00205"></a><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html">00205</a> <span class="keyword">class </span><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html">iterator</a> : <span class="keyword">public</span> std::<a class="code" href="classCVC3_1_1CDMap_1_1iterator.html">iterator</a><std::input_iterator_tag,std::pair<const Key, Data>,std::ptrdiff_t> {
<a name="l00206"></a>00206 <span class="keyword">private</span>:
<a name="l00207"></a>00207 <span class="comment">// Private members</span>
<a name="l00208"></a><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#ada1383dbdd7c42c3c3a159ccfd5fa6de">00208</a> <span class="keyword">typename</span> <a class="code" href="classHash_1_1hash__map.html">std::hash_map<Key,CDOmap<Key, Data, HashFcn></a>*,HashFcn>::const_iterator <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#ada1383dbdd7c42c3c3a159ccfd5fa6de">d_it</a>;
<a name="l00209"></a>00209 <span class="keyword">public</span>:
<a name="l00210"></a>00210 <span class="comment">// Constructor from std::hash_map</span>
<a name="l00211"></a><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#a2b791cdd17a1013419c84acc8e277f59">00211</a> <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#aee10353f99fd86eb9dca0b0cdbf41018">iterator</a>(<span class="keyword">const</span> <span class="keyword">typename</span> <a class="code" href="classHash_1_1hash__map.html">std::hash_map</a><Key,<a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>*,HashFcn>::const_iterator& i)
<a name="l00212"></a>00212 : <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#ada1383dbdd7c42c3c3a159ccfd5fa6de">d_it</a>(i) { }
<a name="l00213"></a>00213 <span class="comment">// Copy constructor</span>
<a name="l00214"></a><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#a999ec7dbc90b9af2e79c31ec2f8b82f5">00214</a> <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#a999ec7dbc90b9af2e79c31ec2f8b82f5">iterator</a>(<span class="keyword">const</span> <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html">iterator</a>& i): <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#ada1383dbdd7c42c3c3a159ccfd5fa6de">d_it</a>(i.<a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#ada1383dbdd7c42c3c3a159ccfd5fa6de">d_it</a>) { }
<a name="l00215"></a>00215 <span class="comment">// Default constructor</span>
<a name="l00216"></a><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#aee10353f99fd86eb9dca0b0cdbf41018">00216</a> <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#aee10353f99fd86eb9dca0b0cdbf41018">iterator</a>() { }
<a name="l00217"></a>00217 <span class="comment">// (Dis)equality</span>
<a name="l00218"></a><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#ae3e685ab2aafef0f41aca4174696111f">00218</a> <span class="keywordtype">bool</span> <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#ae3e685ab2aafef0f41aca4174696111f">operator==</a>(<span class="keyword">const</span> <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html">iterator</a>& i)<span class="keyword"> const </span>{
<a name="l00219"></a>00219 <span class="keywordflow">return</span> <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#ada1383dbdd7c42c3c3a159ccfd5fa6de">d_it</a> == i.<a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#ada1383dbdd7c42c3c3a159ccfd5fa6de">d_it</a>;
<a name="l00220"></a>00220 }
<a name="l00221"></a><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#a86298cbd7d9c6be95edf6af6777932ff">00221</a> <span class="keywordtype">bool</span> <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#a86298cbd7d9c6be95edf6af6777932ff">operator!=</a>(<span class="keyword">const</span> <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html">iterator</a>& i)<span class="keyword"> const </span>{
<a name="l00222"></a>00222 <span class="keywordflow">return</span> <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#ada1383dbdd7c42c3c3a159ccfd5fa6de">d_it</a> != i.<a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#ada1383dbdd7c42c3c3a159ccfd5fa6de">d_it</a>;
<a name="l00223"></a>00223 }
<a name="l00224"></a>00224 <span class="comment">// Dereference operators.</span>
<a name="l00225"></a><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#a6e0e832012f494db115d0893e677890b">00225</a> std::pair<const Key, Data> <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#a6e0e832012f494db115d0893e677890b">operator*</a>()<span class="keyword"> const </span>{
<a name="l00226"></a>00226 <span class="keyword">const</span> std::pair<const Key, CDOmap<Key, Data, HashFcn>*>& p(*<a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#ada1383dbdd7c42c3c3a159ccfd5fa6de">d_it</a>);
<a name="l00227"></a>00227 <span class="keywordflow">return</span> std::pair<const Key, Data>(p.first, *p.second);
<a name="l00228"></a>00228 }
<a name="l00229"></a>00229 <span class="comment">// Who needs an operator->() for maps anyway?...</span>
<a name="l00230"></a>00230 <span class="comment">// It'd be nice, but not possible by design.</span>
<a name="l00231"></a>00231 <span class="comment">//std::pair<const Key,Data>* operator->() const {</span>
<a name="l00232"></a>00232 <span class="comment">// return &(operator*());</span>
<a name="l00233"></a>00233 <span class="comment">//}</span>
<a name="l00234"></a>00234
<a name="l00235"></a>00235
<a name="l00236"></a>00236 <span class="comment">// Prefix and postfix increment</span>
<a name="l00237"></a><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#aa204dbb0704fcad64ff4e648a052540c">00237</a> <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html">iterator</a>& <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#aa204dbb0704fcad64ff4e648a052540c">operator++</a>() { ++<a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#ada1383dbdd7c42c3c3a159ccfd5fa6de">d_it</a>; <span class="keywordflow">return</span> *<span class="keyword">this</span>; }
<a name="l00238"></a>00238 <span class="comment">// Postfix increment: requires a Proxy object to hold the</span>
<a name="l00239"></a>00239 <span class="comment">// intermediate value for dereferencing</span>
<a name="l00240"></a><a class="code" href="classCVC3_1_1CDMap_1_1iterator_1_1Proxy.html">00240</a> <span class="keyword">class </span><a class="code" href="classCVC3_1_1CDMap_1_1iterator_1_1Proxy.html">Proxy</a> {
<a name="l00241"></a><a class="code" href="classCVC3_1_1CDMap_1_1iterator_1_1Proxy.html#add4f0627d14844ebbd665377fd81f1ed">00241</a> <span class="keyword">const</span> std::pair<const Key, Data>* <a class="code" href="classCVC3_1_1CDMap_1_1iterator_1_1Proxy.html#add4f0627d14844ebbd665377fd81f1ed">d_pair</a>;
<a name="l00242"></a>00242 <span class="keyword">public</span>:
<a name="l00243"></a><a class="code" href="classCVC3_1_1CDMap_1_1iterator_1_1Proxy.html#a724137eb283068e721377baa6d35ff49">00243</a> <a class="code" href="classCVC3_1_1CDMap_1_1iterator_1_1Proxy.html#a724137eb283068e721377baa6d35ff49">Proxy</a>(<span class="keyword">const</span> std::pair<const Key, Data>& p): <a class="code" href="classCVC3_1_1CDMap_1_1iterator_1_1Proxy.html#add4f0627d14844ebbd665377fd81f1ed">d_pair</a>(&p) { }
<a name="l00244"></a><a class="code" href="classCVC3_1_1CDMap_1_1iterator_1_1Proxy.html#a019a6ce8a8f9b191bafb00a9855a8163">00244</a> std::pair<const Key, Data>& <a class="code" href="classCVC3_1_1CDMap_1_1iterator_1_1Proxy.html#a019a6ce8a8f9b191bafb00a9855a8163">operator*</a>() { <span class="keywordflow">return</span> *<a class="code" href="classCVC3_1_1CDMap_1_1iterator_1_1Proxy.html#add4f0627d14844ebbd665377fd81f1ed">d_pair</a>; }
<a name="l00245"></a>00245 };
<a name="l00246"></a>00246 <span class="comment">// Actual postfix increment: returns Proxy with the old value.</span>
<a name="l00247"></a>00247 <span class="comment">// Now, an expression like *i++ will return the current *i, and</span>
<a name="l00248"></a>00248 <span class="comment">// then advance the iterator. However, don't try to use Proxy for</span>
<a name="l00249"></a>00249 <span class="comment">// anything else.</span>
<a name="l00250"></a><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#a8614b06cd50c174b4340192d7a706386">00250</a> <a class="code" href="classCVC3_1_1CDMap_1_1iterator_1_1Proxy.html">Proxy</a> <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#a8614b06cd50c174b4340192d7a706386">operator++</a>(<span class="keywordtype">int</span>) {
<a name="l00251"></a>00251 <a class="code" href="classCVC3_1_1CDMap_1_1iterator_1_1Proxy.html">Proxy</a> e(*(*<span class="keyword">this</span>));
<a name="l00252"></a>00252 ++(*this);
<a name="l00253"></a>00253 <span class="keywordflow">return</span> e;
<a name="l00254"></a>00254 }
<a name="l00255"></a>00255 };
<a name="l00256"></a>00256
<a name="l00257"></a><a class="code" href="classCVC3_1_1CDMap.html#a5d57eb1210dab2fadcd85a2f01e6d6d1">00257</a> iterator <a class="code" href="classCVC3_1_1CDMap.html#a5d57eb1210dab2fadcd85a2f01e6d6d1">begin</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> iterator(<a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">d_map</a>.<a class="code" href="classHash_1_1hash__map.html#a478f2d66eb11d4ca51bc2b630373e9ad" title="iterators">begin</a>()); }
<a name="l00258"></a><a class="code" href="classCVC3_1_1CDMap.html#a2a26c7cc4db12cb17d273db5cfa5a890">00258</a> iterator <a class="code" href="classCVC3_1_1CDMap.html#a2a26c7cc4db12cb17d273db5cfa5a890">end</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> iterator(<a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">d_map</a>.<a class="code" href="classHash_1_1hash__map.html#a2c776e055f3d17226605157e1c37dbc9">end</a>()); }
<a name="l00259"></a>00259
<a name="l00260"></a><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html">00260</a> <span class="keyword">class </span><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html">orderedIterator</a> {
<a name="l00261"></a><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#afb195cb08e0c7d394c7dc6edb21b953c">00261</a> <span class="keyword">const</span> <a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>* <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#afb195cb08e0c7d394c7dc6edb21b953c">d_it</a>;
<a name="l00262"></a>00262 <span class="keyword">public</span>:
<a name="l00263"></a><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#a266298aa1b7343a0dca484693f7c3bd2">00263</a> <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#a266298aa1b7343a0dca484693f7c3bd2">orderedIterator</a>(<span class="keyword">const</span> <a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>* p): <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#afb195cb08e0c7d394c7dc6edb21b953c">d_it</a>(p) {}
<a name="l00264"></a><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#a2d4284dd9c49d812a1a912209025564b">00264</a> <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#a2d4284dd9c49d812a1a912209025564b">orderedIterator</a>(<span class="keyword">const</span> <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html">orderedIterator</a>& i): <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#afb195cb08e0c7d394c7dc6edb21b953c">d_it</a>(i.<a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#afb195cb08e0c7d394c7dc6edb21b953c">d_it</a>) { }
<a name="l00265"></a>00265 <span class="comment">// Default constructor</span>
<a name="l00266"></a><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#a8eb3f40a01b3a7609a0114e620f247f5">00266</a> <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#a8eb3f40a01b3a7609a0114e620f247f5">orderedIterator</a>() { }
<a name="l00267"></a>00267 <span class="comment">// (Dis)equality</span>
<a name="l00268"></a><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#a29c7feb0f24220a6a540cb1d4bacd0ed">00268</a> <span class="keywordtype">bool</span> <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#a29c7feb0f24220a6a540cb1d4bacd0ed">operator==</a>(<span class="keyword">const</span> <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html">orderedIterator</a>& i)<span class="keyword"> const </span>{
<a name="l00269"></a>00269 <span class="keywordflow">return</span> <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#afb195cb08e0c7d394c7dc6edb21b953c">d_it</a> == i.<a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#afb195cb08e0c7d394c7dc6edb21b953c">d_it</a>;
<a name="l00270"></a>00270 }
<a name="l00271"></a><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#af395f5fc5ff17f0db3d02d1949dc0941">00271</a> <span class="keywordtype">bool</span> <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#af395f5fc5ff17f0db3d02d1949dc0941">operator!=</a>(<span class="keyword">const</span> <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html">orderedIterator</a>& i)<span class="keyword"> const </span>{
<a name="l00272"></a>00272 <span class="keywordflow">return</span> <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#afb195cb08e0c7d394c7dc6edb21b953c">d_it</a> != i.<a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#afb195cb08e0c7d394c7dc6edb21b953c">d_it</a>;
<a name="l00273"></a>00273 }
<a name="l00274"></a>00274 <span class="comment">// Dereference operators.</span>
<a name="l00275"></a><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#acedea86509fc2b78c65bbc6c00ff7b1b">00275</a> std::pair<const Key, Data> <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#acedea86509fc2b78c65bbc6c00ff7b1b">operator*</a>()<span class="keyword"> const </span>{
<a name="l00276"></a>00276 <span class="keywordflow">return</span> std::pair<const Key, Data>(<a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#afb195cb08e0c7d394c7dc6edb21b953c">d_it</a>->getKey(), <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#afb195cb08e0c7d394c7dc6edb21b953c">d_it</a>->get());
<a name="l00277"></a>00277 }
<a name="l00278"></a>00278
<a name="l00279"></a>00279 <span class="comment">// Prefix and postfix increment</span>
<a name="l00280"></a><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#a7b6e17f5624df153a8d457141649cc59">00280</a> <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html">orderedIterator</a>& <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#a7b6e17f5624df153a8d457141649cc59">operator++</a>() { <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#afb195cb08e0c7d394c7dc6edb21b953c">d_it</a> = <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#afb195cb08e0c7d394c7dc6edb21b953c">d_it</a>->next(); <span class="keywordflow">return</span> *<span class="keyword">this</span>; }
<a name="l00281"></a>00281 <span class="comment">// Postfix increment: requires a Proxy object to hold the</span>
<a name="l00282"></a>00282 <span class="comment">// intermediate value for dereferencing</span>
<a name="l00283"></a><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator_1_1Proxy.html">00283</a> <span class="keyword">class </span><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator_1_1Proxy.html">Proxy</a> {
<a name="l00284"></a><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator_1_1Proxy.html#a869ece4eb6d989eccefa12b44b494b12">00284</a> <span class="keyword">const</span> std::pair<const Key, Data>* <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator_1_1Proxy.html#a869ece4eb6d989eccefa12b44b494b12">d_pair</a>;
<a name="l00285"></a>00285 <span class="keyword">public</span>:
<a name="l00286"></a><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator_1_1Proxy.html#ab93b09a275f05c0ccd7304f4f1bc400e">00286</a> <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator_1_1Proxy.html#ab93b09a275f05c0ccd7304f4f1bc400e">Proxy</a>(<span class="keyword">const</span> std::pair<const Key, Data>& p): <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator_1_1Proxy.html#a869ece4eb6d989eccefa12b44b494b12">d_pair</a>(&p) { }
<a name="l00287"></a><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator_1_1Proxy.html#a5507c77ef558902f061e401e16168717">00287</a> std::pair<const Key, Data>& <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator_1_1Proxy.html#a5507c77ef558902f061e401e16168717">operator*</a>() { <span class="keywordflow">return</span> *<a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator_1_1Proxy.html#a869ece4eb6d989eccefa12b44b494b12">d_pair</a>; }
<a name="l00288"></a>00288 };
<a name="l00289"></a>00289 <span class="comment">// Actual postfix increment: returns Proxy with the old value.</span>
<a name="l00290"></a>00290 <span class="comment">// Now, an expression like *i++ will return the current *i, and</span>
<a name="l00291"></a>00291 <span class="comment">// then advance the orderedIterator. However, don't try to use Proxy for</span>
<a name="l00292"></a>00292 <span class="comment">// anything else.</span>
<a name="l00293"></a><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#afefbb64117b4bb79b42be5c026b5a4b1">00293</a> <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator_1_1Proxy.html">Proxy</a> <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#afefbb64117b4bb79b42be5c026b5a4b1">operator++</a>(<span class="keywordtype">int</span>) {
<a name="l00294"></a>00294 <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator_1_1Proxy.html">Proxy</a> e(*(*<span class="keyword">this</span>));
<a name="l00295"></a>00295 ++(*this);
<a name="l00296"></a>00296 <span class="keywordflow">return</span> e;
<a name="l00297"></a>00297 }
<a name="l00298"></a>00298 };
<a name="l00299"></a>00299
<a name="l00300"></a><a class="code" href="classCVC3_1_1CDMap.html#a691443b59a497f6223eae64a2801f5d4">00300</a> orderedIterator <a class="code" href="classCVC3_1_1CDMap.html#a691443b59a497f6223eae64a2801f5d4">orderedBegin</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> orderedIterator(<a class="code" href="classCVC3_1_1CDMap.html#ae4eb2f926a51da1446bddc0881cd4684">d_first</a>); }
<a name="l00301"></a><a class="code" href="classCVC3_1_1CDMap.html#aac337d308e248fd61acf392c7151c9e3">00301</a> orderedIterator <a class="code" href="classCVC3_1_1CDMap.html#aac337d308e248fd61acf392c7151c9e3">orderedEnd</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> orderedIterator(NULL); }
<a name="l00302"></a>00302
<a name="l00303"></a><a class="code" href="classCVC3_1_1CDMap.html#a1cadecbd2d6fa614a2f2e9419aa43f33">00303</a> iterator <a class="code" href="classCVC3_1_1CDMap.html#a1cadecbd2d6fa614a2f2e9419aa43f33">find</a>(<span class="keyword">const</span> Key& k)<span class="keyword"> const </span>{ <span class="keywordflow">return</span> iterator(<a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">d_map</a>.<a class="code" href="classHash_1_1hash__map.html#af3317f9087a35d09985b6513c45d2ab8" title="operations">find</a>(k)); }
<a name="l00304"></a>00304
<a name="l00305"></a>00305 }; <span class="comment">// end of class CDMap</span>
<a name="l00306"></a>00306
<a name="l00307"></a>00307
<a name="l00308"></a>00308 }
<a name="l00309"></a>00309
<a name="l00310"></a>00310 <span class="preprocessor">#endif</span>
</pre></div></div>
</div>
<hr class="footer"/><address class="footer"><small>Generated on Wed Sep 7 2011 for CVC3 by 
<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.7.4 </small></address>
</body>
</html>
