<!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: cdmap.h Source File</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><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 id="nav-path" class="navpath"> <ul> <li class="navelem"><a class="el" href="dir_68267d1309a1af8e8297ef4c3efbcdba.html">src</a></li><li class="navelem"><a class="el" href="dir_b0856f6b0d80ccb263b2f415c91f9e17.html">include</a></li> </ul> </div> </div><!-- top --> <div class="header"> <div class="headertitle"> <div class="title">cdmap.h</div> </div> </div><!--header--> <div class="contents"> <a href="cdmap_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span> <span class="comment">/*****************************************************************************/</span><span class="comment"></span></div> <div class="line"><a name="l00002"></a><span class="lineno"> 2</span> <span class="comment">/*!</span></div> <div class="line"><a name="l00003"></a><span class="lineno"> 3</span> <span class="comment"> * \file cdmap.h</span></div> <div class="line"><a name="l00004"></a><span class="lineno"> 4</span> <span class="comment"> *</span></div> <div class="line"><a name="l00005"></a><span class="lineno"> 5</span> <span class="comment"> * Author: Sergey Berezin</span></div> <div class="line"><a name="l00006"></a><span class="lineno"> 6</span> <span class="comment"> *</span></div> <div class="line"><a name="l00007"></a><span class="lineno"> 7</span> <span class="comment"> * Created: Thu May 15 15:55:09 2003</span></div> <div class="line"><a name="l00008"></a><span class="lineno"> 8</span> <span class="comment"> *</span></div> <div class="line"><a name="l00009"></a><span class="lineno"> 9</span> <span class="comment"> * <hr></span></div> <div class="line"><a name="l00010"></a><span class="lineno"> 10</span> <span class="comment"> *</span></div> <div class="line"><a name="l00011"></a><span class="lineno"> 11</span> <span class="comment"> * License to use, copy, modify, sell and/or distribute this software</span></div> <div class="line"><a name="l00012"></a><span class="lineno"> 12</span> <span class="comment"> * and its documentation for any purpose is hereby granted without</span></div> <div class="line"><a name="l00013"></a><span class="lineno"> 13</span> <span class="comment"> * royalty, subject to the terms and conditions defined in the \ref</span></div> <div class="line"><a name="l00014"></a><span class="lineno"> 14</span> <span class="comment"> * LICENSE file provided with this distribution.</span></div> <div class="line"><a name="l00015"></a><span class="lineno"> 15</span> <span class="comment"> *</span></div> <div class="line"><a name="l00016"></a><span class="lineno"> 16</span> <span class="comment"> * <hr></span></div> <div class="line"><a name="l00017"></a><span class="lineno"> 17</span> <span class="comment"> *</span></div> <div class="line"><a name="l00018"></a><span class="lineno"> 18</span> <span class="comment"> */</span></div> <div class="line"><a name="l00019"></a><span class="lineno"> 19</span> <span class="comment">/*****************************************************************************/</span></div> <div class="line"><a name="l00020"></a><span class="lineno"> 20</span> </div> <div class="line"><a name="l00021"></a><span class="lineno"> 21</span> <span class="preprocessor">#ifndef _cvc3__include__cdmap_h_</span></div> <div class="line"><a name="l00022"></a><span class="lineno"> 22</span> <span class="preprocessor"></span><span class="preprocessor">#define _cvc3__include__cdmap_h_</span></div> <div class="line"><a name="l00023"></a><span class="lineno"> 23</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00024"></a><span class="lineno"> 24</span> <span class="preprocessor">#include <iterator></span></div> <div class="line"><a name="l00025"></a><span class="lineno"> 25</span> <span class="preprocessor">#include "<a class="code" href="context_8h.html">context.h</a>"</span></div> <div class="line"><a name="l00026"></a><span class="lineno"> 26</span> </div> <div class="line"><a name="l00027"></a><span class="lineno"> 27</span> <span class="keyword">namespace </span>CVC3 {</div> <div class="line"><a name="l00028"></a><span class="lineno"> 28</span> <span class="comment"></span></div> <div class="line"><a name="l00029"></a><span class="lineno"> 29</span> <span class="comment">///////////////////////////////////////////////////////////////////////////////</span></div> <div class="line"><a name="l00030"></a><span class="lineno"> 30</span> <span class="comment"></span><span class="comment">// //</span></div> <div class="line"><a name="l00031"></a><span class="lineno"> 31</span> <span class="comment">// Class: CDMap (Context Dependent Map) //</span></div> <div class="line"><a name="l00032"></a><span class="lineno"> 32</span> <span class="comment">// Author: Sergey Berezin //</span></div> <div class="line"><a name="l00033"></a><span class="lineno"> 33</span> <span class="comment">// Created: Thu May 15 15:55:09 2003 //</span></div> <div class="line"><a name="l00034"></a><span class="lineno"> 34</span> <span class="comment">// Description: Generic templated class for a map which must be saved //</span></div> <div class="line"><a name="l00035"></a><span class="lineno"> 35</span> <span class="comment">// and restored as contexts are pushed and popped. Requires //</span></div> <div class="line"><a name="l00036"></a><span class="lineno"> 36</span> <span class="comment">// that operator= be defined for the data class, and //</span></div> <div class="line"><a name="l00037"></a><span class="lineno"> 37</span> <span class="comment">// operator== for the key class. In addition, a hash<Key> //</span></div> <div class="line"><a name="l00038"></a><span class="lineno"> 38</span> <span class="comment">// template specialization must be defined, or a hash class //</span></div> <div class="line"><a name="l00039"></a><span class="lineno"> 39</span> <span class="comment">// explicitly provided in the template. //</span></div> <div class="line"><a name="l00040"></a><span class="lineno"> 40</span> <span class="comment">// //</span><span class="comment"></span></div> <div class="line"><a name="l00041"></a><span class="lineno"> 41</span> <span class="comment">///////////////////////////////////////////////////////////////////////////////</span></div> <div class="line"><a name="l00042"></a><span class="lineno"> 42</span> <span class="comment"></span></div> <div class="line"><a name="l00043"></a><span class="lineno"> 43</span> <span class="comment">// Auxiliary class: almost the same as CDO (see cdo.h), but on</span></div> <div class="line"><a name="l00044"></a><span class="lineno"> 44</span> <span class="comment">// setNull() call it erases itself from the map.</span></div> <div class="line"><a name="l00045"></a><span class="lineno"> 45</span> </div> <div class="line"><a name="l00046"></a><span class="lineno"><a class="code" href="classCDMap.html"> 46</a></span> <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><a class="code" href="classCDMap.html">CDMap</a>;</div> <div class="line"><a name="l00047"></a><span class="lineno"> 47</span> </div> <div class="line"><a name="l00048"></a><span class="lineno"> 48</span> <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> ></div> <div class="line"><a name="l00049"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDOmap.html"> 49</a></span> <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> {</div> <div class="line"><a name="l00050"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDOmap.html#a5312a7f0edb9336cbb5fbb0832336168"> 50</a></span>  Key <a class="code" href="classCVC3_1_1CDOmap.html#a5312a7f0edb9336cbb5fbb0832336168">d_key</a>;</div> <div class="line"><a name="l00051"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDOmap.html#a7aca55b09538e0c150098d4c2cd3e73e"> 51</a></span>  Data <a class="code" href="classCVC3_1_1CDOmap.html#a7aca55b09538e0c150098d4c2cd3e73e">d_data</a>;</div> <div class="line"><a name="l00052"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDOmap.html#aa5e2903817b997a74bebe61989c69ccf"> 52</a></span>  <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></div> <div class="line"><a name="l00053"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDOmap.html#af13f5e36398a5e0de0a2933f49bf89e1"> 53</a></span>  <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>;</div> <div class="line"><a name="l00054"></a><span class="lineno"> 54</span> </div> <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>  <span class="comment">// Doubly-linked list for keeping track of elements in order of insertion</span></div> <div class="line"><a name="l00056"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDOmap.html#a69cc2e26d8f8333f25428a44c1183da7"> 56</a></span>  <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>;</div> <div class="line"><a name="l00057"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDOmap.html#a72518edef751025b89fd6e57af1e72c0"> 57</a></span>  <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>;</div> <div class="line"><a name="l00058"></a><span class="lineno"> 58</span> </div> <div class="line"><a name="l00059"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDOmap.html#a6386a73023acf410a8df5b7bb0d08e49"> 59</a></span>  <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)</div> <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  { <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>); }</div> <div class="line"><a name="l00061"></a><span class="lineno"> 61</span> </div> <div class="line"><a name="l00062"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDOmap.html#a6bb9afb0c43a91a329fee43b2f8560fe"> 62</a></span>  <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) {</div> <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>  <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);</div> <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>  <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>; }</div> <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>  <span class="keywordflow">else</span> <a class="code" href="classCVC3_1_1CDOmap.html#a8703f5877cda5e1cf1f92e82a805b4da" title="Set the current object to be invalid.">setNull</a>();</div> <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>  }</div> <div class="line"><a name="l00067"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDOmap.html#a8703f5877cda5e1cf1f92e82a805b4da"> 67</a></span>  <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>) {</div> <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>  <span class="comment">// Erase itself from the map and put itself into trash. We cannot</span></div> <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>  <span class="comment">// "delete this" here, because it will break context operations in</span></div> <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>  <span class="comment">// a non-trivial way.</span></div> <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  <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) {</div> <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>  <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>);</div> <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  <a class="code" href="classCVC3_1_1CDOmap.html#af13f5e36398a5e0de0a2933f49bf89e1">d_cdmap</a>->d_trash.push_back(<span class="keyword">this</span>);</div> <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  }</div> <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  <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>;</div> <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  <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>;</div> <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  <span class="keywordflow">if</span> (<a class="code" href="classCVC3_1_1CDOmap.html#af13f5e36398a5e0de0a2933f49bf89e1">d_cdmap</a>->d_first == <span class="keyword">this</span>) {</div> <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  <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>;</div> <div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  <span class="keywordflow">if</span> (<a class="code" href="classCVC3_1_1CDOmap.html#a72518edef751025b89fd6e57af1e72c0">d_next</a> == <span class="keyword">this</span>) {</div> <div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  <a class="code" href="classCVC3_1_1CDOmap.html#af13f5e36398a5e0de0a2933f49bf89e1">d_cdmap</a>->d_first = NULL;</div> <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  }</div> <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  }</div> <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  }</div> <div class="line"><a name="l00084"></a><span class="lineno"> 84</span> </div> <div class="line"><a name="l00085"></a><span class="lineno"> 85</span> <span class="keyword">public</span>:</div> <div class="line"><a name="l00086"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDOmap.html#a1415a16bebe21f1e1ba51f70490872e8"> 86</a></span>  <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,</div> <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  <span class="keyword">const</span> Key& key, <span class="keyword">const</span> Data& data, <span class="keywordtype">int</span> scope = -1)</div> <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  : <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) {</div> <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  <span class="keyword">set</span>(data, scope);</div> <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  <a class="code" href="debug_8h.html#a600cb2d68efe7cc413cccbb5714c7016">IF_DEBUG</a>(setName(<span class="stringliteral">"CDOmap"</span>);)</div> <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  <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;</div> <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  if (first == NULL) {</div> <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  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>;</div> <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  }</div> <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  <span class="keywordflow">else</span> {</div> <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  <a class="code" href="classCVC3_1_1CDOmap.html#a69cc2e26d8f8333f25428a44c1183da7">d_prev</a> = first->d_prev;</div> <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  <a class="code" href="classCVC3_1_1CDOmap.html#a72518edef751025b89fd6e57af1e72c0">d_next</a> = first;</div> <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  <a class="code" href="classCVC3_1_1CDOmap.html#a69cc2e26d8f8333f25428a44c1183da7">d_prev</a>->d_next = first->d_prev = <span class="keyword">this</span>;</div> <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  }</div> <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>  }</div> <div class="line"><a name="l00101"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDOmap.html#ac557e78e4424b6e2408715caff49b5d9"> 101</a></span>  <a class="code" href="classCVC3_1_1CDOmap.html#ac557e78e4424b6e2408715caff49b5d9">~CDOmap</a>() {}</div> <div class="line"><a name="l00102"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDOmap.html#aa44e4507256fc4f30ec342165d1724c5"> 102</a></span>  <span class="keywordtype">void</span> <span class="keyword">set</span>(<span class="keyword">const</span> Data& data, <span class="keywordtype">int</span> scope=-1) {</div> <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  <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>;</div> <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>  }</div> <div class="line"><a name="l00105"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDOmap.html#a24eedfb5afae5212b8eaef3f8a5bf701"> 105</a></span>  <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>; }</div> <div class="line"><a name="l00106"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDOmap.html#a3359cef29958cde3e7b9aa2a7d4bd47b"> 106</a></span>  <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>; }</div> <div class="line"><a name="l00107"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDOmap.html#a1304b662a6b9af256af165b36750d9bf"> 107</a></span>  <span class="keyword">operator</span> Data() { <span class="keywordflow">return</span> <span class="keyword">get</span>(); }</div> <div class="line"><a name="l00108"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDOmap.html#aa1a654c6cda3c8aab213efa2fa57f1b1"> 108</a></span>  <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>; }</div> <div class="line"><a name="l00109"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDOmap.html#a630c5a1951789029feb0ba7abc973872"> 109</a></span>  <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>{</div> <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  <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;</div> <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  <span class="keywordflow">else</span> <span class="keywordflow">return</span> <a class="code" href="classCVC3_1_1CDOmap.html#a72518edef751025b89fd6e57af1e72c0">d_next</a>;</div> <div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  }</div> <div class="line"><a name="l00113"></a><span class="lineno"> 113</span> }; <span class="comment">// end of class CDOmap</span></div> <div class="line"><a name="l00114"></a><span class="lineno"> 114</span> </div> <div class="line"><a name="l00115"></a><span class="lineno"> 115</span> <span class="comment">// Dummy subclass of ContextObj to serve as our data class</span></div> <div class="line"><a name="l00116"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMapData.html"> 116</a></span> <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> {</div> <div class="line"><a name="l00117"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMapData.html#a8b7d38c1c2ed1bfc0d9d3f198609fb04"> 117</a></span>  <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)</div> <div class="line"><a name="l00118"></a><span class="lineno"> 118</span>  { <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>); }</div> <div class="line"><a name="l00119"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMapData.html#ad0d096840f77467d25f872b561fb92b6"> 119</a></span>  <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) { }</div> <div class="line"><a name="l00120"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMapData.html#a063e8461eef0844c8664f13b9e352a35"> 120</a></span>  <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>) { }</div> <div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  <span class="keyword">public</span>:</div> <div class="line"><a name="l00122"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMapData.html#a6d03dce6d5661e2ed40a8512a604a3ed"> 122</a></span>  <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) { }</div> <div class="line"><a name="l00123"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMapData.html#a5686348b44f4d31bac9b277229f7c8e0"> 123</a></span>  <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) { }</div> <div class="line"><a name="l00124"></a><span class="lineno"> 124</span> };</div> <div class="line"><a name="l00125"></a><span class="lineno"> 125</span> </div> <div class="line"><a name="l00126"></a><span class="lineno"> 126</span> <span class="comment">// The actual class CDMap</span></div> <div class="line"><a name="l00127"></a><span class="lineno"> 127</span> <span class="keyword">template</span> <<span class="keyword">class</span> Key, <span class="keyword">class</span> Data, <span class="keyword">class</span> HashFcn></div> <div class="line"><a name="l00128"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html"> 128</a></span> <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> {</div> <div class="line"><a name="l00129"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#aedc58e9ee87b9fa4235d4698e7a0937b"> 129</a></span>  <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classCVC3_1_1CDOmap.html">CDOmap</a><Key, Data, HashFcn>;</div> <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>  <span class="keyword">private</span>:</div> <div class="line"><a name="l00131"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a"> 131</a></span>  <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>;</div> <div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  <span class="comment">// The vector of CDOmap objects to be destroyed</span></div> <div class="line"><a name="l00133"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#adb60ed769538893e144be417fbf0ca7a"> 133</a></span>  std::vector<CDOmap<Key, Data, HashFcn>*> <a class="code" href="classCVC3_1_1CDMap.html#adb60ed769538893e144be417fbf0ca7a">d_trash</a>;</div> <div class="line"><a name="l00134"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#ae4eb2f926a51da1446bddc0881cd4684"> 134</a></span>  <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>;</div> <div class="line"><a name="l00135"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#a73a962c2f1cf6cee5464dc210ac199c7"> 135</a></span>  <a class="code" href="classCVC3_1_1Context.html">Context</a>* <a class="code" href="classCVC3_1_1CDMap.html#a73a962c2f1cf6cee5464dc210ac199c7">d_context</a>;</div> <div class="line"><a name="l00136"></a><span class="lineno"> 136</span> </div> <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>  <span class="comment">// Nothing to save; the elements take care of themselves</span></div> <div class="line"><a name="l00138"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#aa4ff8e99983ef020ad28d075a26f8ac9"> 138</a></span>  <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)</div> <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  { <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>); }</div> <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  <span class="comment">// Similarly, nothing to restore</span></div> <div class="line"><a name="l00141"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#a3dd8677771f90789863f269a9aa5a8d1"> 141</a></span>  <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) { }</div> <div class="line"><a name="l00142"></a><span class="lineno"> 142</span> </div> <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  <span class="comment">// Destroy stale CDOmap objects from trash</span></div> <div class="line"><a name="l00144"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#af131d2f086aaa773a4b5cb974981fbd1"> 144</a></span>  <span class="keywordtype">void</span> <a class="code" href="classCVC3_1_1CDMap.html#af131d2f086aaa773a4b5cb974981fbd1">emptyTrash</a>() {</div> <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  <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</div> <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  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) {</div> <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  <span class="keyword">delete</span> *i;</div> <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>  free(*i);</div> <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>  }</div> <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  <a class="code" href="classCVC3_1_1CDMap.html#adb60ed769538893e144be417fbf0ca7a">d_trash</a>.clear();</div> <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  }</div> <div class="line"><a name="l00152"></a><span class="lineno"> 152</span> </div> <div class="line"><a name="l00153"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#a3b888175c3f8d8fc72b123bec0aa26dd"> 153</a></span>  <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>) {</div> <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>  <span class="comment">// Delete all the elements and clear the map</span></div> <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>  <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</div> <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>  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>();</div> <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>  i!=iend; ++i) {</div> <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  <span class="keyword">delete</span> (*i).second;</div> <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  free((*i).second);</div> <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>  }</div> <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  <a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">d_map</a>.<a class="code" href="classHash_1_1hash__map.html#a18703659be23b5ff0b7d7b5c796e6abd">clear</a>();</div> <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  <a class="code" href="classCVC3_1_1CDMap.html#af131d2f086aaa773a4b5cb974981fbd1">emptyTrash</a>();</div> <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  }</div> <div class="line"><a name="l00164"></a><span class="lineno"> 164</span> <span class="keyword">public</span>:</div> <div class="line"><a name="l00165"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#aa106cb45af8d6c95fc1af494fe81ad8c"> 165</a></span>  <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)</div> <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  : <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) {</div> <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  <a class="code" href="debug_8h.html#a600cb2d68efe7cc413cccbb5714c7016">IF_DEBUG</a>(setName(<span class="stringliteral">"CDMap"</span>)); ;</div> <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>  }</div> <div class="line"><a name="l00169"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#ad191415bd4472a96eee83342dc277b16"> 169</a></span>  <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>(); }</div> <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>  <span class="comment">// The usual operators of map</span></div> <div class="line"><a name="l00171"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#a2cf256af978e1a3bf82407a13ba85c13"> 171</a></span>  <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>(); }</div> <div class="line"><a name="l00172"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#af5f700035db0db798c645e36dd0b31bd"> 172</a></span>  <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); }</div> <div class="line"><a name="l00173"></a><span class="lineno"> 173</span> </div> <div class="line"><a name="l00174"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#a6c68c9f0b50ad730fd683a82142286c5"> 174</a></span>  <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>;</div> <div class="line"><a name="l00175"></a><span class="lineno"> 175</span> </div> <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>  <span class="comment">// If a key is not present, a new object is created and inserted</span></div> <div class="line"><a name="l00177"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#ad774e30f2396830dbdcad0e7874d8d01"> 177</a></span>  <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) {</div> <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  <a class="code" href="classCVC3_1_1CDMap.html#af131d2f086aaa773a4b5cb974981fbd1">emptyTrash</a>();</div> <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>  <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));</div> <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>  <a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>* obj;</div> <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  <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></div> <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  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());</div> <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  <a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">d_map</a>[k] = obj;</div> <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>  } <span class="keywordflow">else</span> {</div> <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>  obj = (*i).second;</div> <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>  }</div> <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>  <span class="keywordflow">return</span> *obj;</div> <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  }</div> <div class="line"><a name="l00189"></a><span class="lineno"> 189</span> </div> <div class="line"><a name="l00190"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#a664a15046de83b0af599f488cb420022"> 190</a></span>  <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) {</div> <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  <a class="code" href="classCVC3_1_1CDMap.html#af131d2f086aaa773a4b5cb974981fbd1">emptyTrash</a>();</div> <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  <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));</div> <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  <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></div> <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  <a class="code" href="classCVC3_1_1CDOmap.html">CDOmap<Key, Data, HashFcn></a>*</div> <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>  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));</div> <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  <a class="code" href="classCVC3_1_1CDMap.html#aa3c164468ec918e162d32e61923d801a">d_map</a>[k] = obj;</div> <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  } <span class="keywordflow">else</span> {</div> <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  (*i).second-><a class="code" href="classCVC3_1_1CDOmap.html#aa44e4507256fc4f30ec342165d1724c5">set</a>(d, scope);</div> <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>  }</div> <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>  }</div> <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  <span class="comment">// FIXME: no erase(), too much hassle to implement efficiently...</span></div> <div class="line"><a name="l00202"></a><span class="lineno"> 202</span> </div> <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  <span class="comment">// Iterator for CDMap: points to pair<const Key, CDOMap<Key, Data, HashFcn>&>;</span></div> <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  <span class="comment">// in most cases, this will be functionally similar to pair<const Key,Data>.</span></div> <div class="line"><a name="l00205"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html"> 205</a></span>  <span class="keyword">class </span><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html">iterator</a> : <span class="keyword">public</span> std::iterator<std::input_iterator_tag,std::pair<const Key, Data>,std::ptrdiff_t> {</div> <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>  <span class="keyword">private</span>:</div> <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>  <span class="comment">// Private members</span></div> <div class="line"><a name="l00208"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#ada1383dbdd7c42c3c3a159ccfd5fa6de"> 208</a></span>  <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>;</div> <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>  <span class="keyword">public</span>:</div> <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>  <span class="comment">// Constructor from std::hash_map</span></div> <div class="line"><a name="l00211"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#a2b791cdd17a1013419c84acc8e277f59"> 211</a></span>  <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)</div> <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>  : <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#ada1383dbdd7c42c3c3a159ccfd5fa6de">d_it</a>(i) { }</div> <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>  <span class="comment">// Copy constructor</span></div> <div class="line"><a name="l00214"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#a999ec7dbc90b9af2e79c31ec2f8b82f5"> 214</a></span>  <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>) { }</div> <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>  <span class="comment">// Default constructor</span></div> <div class="line"><a name="l00216"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#aee10353f99fd86eb9dca0b0cdbf41018"> 216</a></span>  <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#aee10353f99fd86eb9dca0b0cdbf41018">iterator</a>() { }</div> <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>  <span class="comment">// (Dis)equality</span></div> <div class="line"><a name="l00218"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#ae3e685ab2aafef0f41aca4174696111f"> 218</a></span>  <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>{</div> <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>  <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>;</div> <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>  }</div> <div class="line"><a name="l00221"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#a86298cbd7d9c6be95edf6af6777932ff"> 221</a></span>  <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>{</div> <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>  <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>;</div> <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>  }</div> <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>  <span class="comment">// Dereference operators.</span></div> <div class="line"><a name="l00225"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#a6e0e832012f494db115d0893e677890b"> 225</a></span>  std::pair<const Key, Data> <a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#a6e0e832012f494db115d0893e677890b">operator*</a>()<span class="keyword"> const </span>{</div> <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  <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>);</div> <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>  <span class="keywordflow">return</span> std::pair<const Key, Data>(p.first, *p.second);</div> <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>  }</div> <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  <span class="comment">// Who needs an operator->() for maps anyway?...</span></div> <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>  <span class="comment">// It'd be nice, but not possible by design.</span></div> <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>  <span class="comment">//std::pair<const Key,Data>* operator->() const {</span></div> <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>  <span class="comment">// return &(operator*());</span></div> <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>  <span class="comment">//}</span></div> <div class="line"><a name="l00234"></a><span class="lineno"> 234</span> </div> <div class="line"><a name="l00235"></a><span class="lineno"> 235</span> </div> <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>  <span class="comment">// Prefix and postfix increment</span></div> <div class="line"><a name="l00237"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#aa204dbb0704fcad64ff4e648a052540c"> 237</a></span>  <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>; }</div> <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>  <span class="comment">// Postfix increment: requires a Proxy object to hold the</span></div> <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>  <span class="comment">// intermediate value for dereferencing</span></div> <div class="line"><a name="l00240"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1iterator_1_1Proxy.html"> 240</a></span>  <span class="keyword">class </span><a class="code" href="classCVC3_1_1CDMap_1_1iterator_1_1Proxy.html">Proxy</a> {</div> <div class="line"><a name="l00241"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1iterator_1_1Proxy.html#add4f0627d14844ebbd665377fd81f1ed"> 241</a></span>  <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>;</div> <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>  <span class="keyword">public</span>:</div> <div class="line"><a name="l00243"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1iterator_1_1Proxy.html#a724137eb283068e721377baa6d35ff49"> 243</a></span>  <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) { }</div> <div class="line"><a name="l00244"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1iterator_1_1Proxy.html#a019a6ce8a8f9b191bafb00a9855a8163"> 244</a></span>  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>; }</div> <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  };</div> <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>  <span class="comment">// Actual postfix increment: returns Proxy with the old value.</span></div> <div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  <span class="comment">// Now, an expression like *i++ will return the current *i, and</span></div> <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>  <span class="comment">// then advance the iterator. However, don't try to use Proxy for</span></div> <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>  <span class="comment">// anything else.</span></div> <div class="line"><a name="l00250"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1iterator.html#a8614b06cd50c174b4340192d7a706386"> 250</a></span>  <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>) {</div> <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>  <a class="code" href="classCVC3_1_1CDMap_1_1iterator_1_1Proxy.html">Proxy</a> e(*(*<span class="keyword">this</span>));</div> <div class="line"><a name="l00252"></a><span class="lineno"> 252</span>  ++(*this);</div> <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>  <span class="keywordflow">return</span> e;</div> <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>  }</div> <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>  };</div> <div class="line"><a name="l00256"></a><span class="lineno"> 256</span> </div> <div class="line"><a name="l00257"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#a5d57eb1210dab2fadcd85a2f01e6d6d1"> 257</a></span>  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>()); }</div> <div class="line"><a name="l00258"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#a2a26c7cc4db12cb17d273db5cfa5a890"> 258</a></span>  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>()); }</div> <div class="line"><a name="l00259"></a><span class="lineno"> 259</span> </div> <div class="line"><a name="l00260"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html"> 260</a></span>  <span class="keyword">class </span><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html">orderedIterator</a> {</div> <div class="line"><a name="l00261"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#afb195cb08e0c7d394c7dc6edb21b953c"> 261</a></span>  <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>;</div> <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>  <span class="keyword">public</span>:</div> <div class="line"><a name="l00263"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#a266298aa1b7343a0dca484693f7c3bd2"> 263</a></span>  <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) {}</div> <div class="line"><a name="l00264"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#a2d4284dd9c49d812a1a912209025564b"> 264</a></span>  <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>) { }</div> <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>  <span class="comment">// Default constructor</span></div> <div class="line"><a name="l00266"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#a8eb3f40a01b3a7609a0114e620f247f5"> 266</a></span>  <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#a8eb3f40a01b3a7609a0114e620f247f5">orderedIterator</a>() { }</div> <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>  <span class="comment">// (Dis)equality</span></div> <div class="line"><a name="l00268"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#a29c7feb0f24220a6a540cb1d4bacd0ed"> 268</a></span>  <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>{</div> <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>  <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>;</div> <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>  }</div> <div class="line"><a name="l00271"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#af395f5fc5ff17f0db3d02d1949dc0941"> 271</a></span>  <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>{</div> <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>  <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>;</div> <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>  }</div> <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>  <span class="comment">// Dereference operators.</span></div> <div class="line"><a name="l00275"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#acedea86509fc2b78c65bbc6c00ff7b1b"> 275</a></span>  std::pair<const Key, Data> <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#acedea86509fc2b78c65bbc6c00ff7b1b">operator*</a>()<span class="keyword"> const </span>{</div> <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>  <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());</div> <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>  }</div> <div class="line"><a name="l00278"></a><span class="lineno"> 278</span> </div> <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>  <span class="comment">// Prefix and postfix increment</span></div> <div class="line"><a name="l00280"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#a7b6e17f5624df153a8d457141649cc59"> 280</a></span>  <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>; }</div> <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>  <span class="comment">// Postfix increment: requires a Proxy object to hold the</span></div> <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>  <span class="comment">// intermediate value for dereferencing</span></div> <div class="line"><a name="l00283"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator_1_1Proxy.html"> 283</a></span>  <span class="keyword">class </span><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator_1_1Proxy.html">Proxy</a> {</div> <div class="line"><a name="l00284"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator_1_1Proxy.html#a869ece4eb6d989eccefa12b44b494b12"> 284</a></span>  <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>;</div> <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  <span class="keyword">public</span>:</div> <div class="line"><a name="l00286"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator_1_1Proxy.html#ab93b09a275f05c0ccd7304f4f1bc400e"> 286</a></span>  <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) { }</div> <div class="line"><a name="l00287"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator_1_1Proxy.html#a5507c77ef558902f061e401e16168717"> 287</a></span>  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>; }</div> <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>  };</div> <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  <span class="comment">// Actual postfix increment: returns Proxy with the old value.</span></div> <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  <span class="comment">// Now, an expression like *i++ will return the current *i, and</span></div> <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  <span class="comment">// then advance the orderedIterator. However, don't try to use Proxy for</span></div> <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>  <span class="comment">// anything else.</span></div> <div class="line"><a name="l00293"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator.html#afefbb64117b4bb79b42be5c026b5a4b1"> 293</a></span>  <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>) {</div> <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>  <a class="code" href="classCVC3_1_1CDMap_1_1orderedIterator_1_1Proxy.html">Proxy</a> e(*(*<span class="keyword">this</span>));</div> <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  ++(*this);</div> <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  <span class="keywordflow">return</span> e;</div> <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  }</div> <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  };</div> <div class="line"><a name="l00299"></a><span class="lineno"> 299</span> </div> <div class="line"><a name="l00300"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#a691443b59a497f6223eae64a2801f5d4"> 300</a></span>  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>); }</div> <div class="line"><a name="l00301"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#aac337d308e248fd61acf392c7151c9e3"> 301</a></span>  orderedIterator <a class="code" href="classCVC3_1_1CDMap.html#aac337d308e248fd61acf392c7151c9e3">orderedEnd</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> orderedIterator(NULL); }</div> <div class="line"><a name="l00302"></a><span class="lineno"> 302</span> </div> <div class="line"><a name="l00303"></a><span class="lineno"><a class="code" href="classCVC3_1_1CDMap.html#a1cadecbd2d6fa614a2f2e9419aa43f33"> 303</a></span>  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)); }</div> <div class="line"><a name="l00304"></a><span class="lineno"> 304</span> </div> <div class="line"><a name="l00305"></a><span class="lineno"> 305</span> }; <span class="comment">// end of class CDMap</span></div> <div class="line"><a name="l00306"></a><span class="lineno"> 306</span> </div> <div class="line"><a name="l00307"></a><span class="lineno"> 307</span> </div> <div class="line"><a name="l00308"></a><span class="lineno"> 308</span> }</div> <div class="line"><a name="l00309"></a><span class="lineno"> 309</span> </div> <div class="line"><a name="l00310"></a><span class="lineno"> 310</span> <span class="preprocessor">#endif</span></div> </div><!-- fragment --></div><!-- contents --> <!-- start footer part --> <hr class="footer"/><address class="footer"><small> Generated on Thu May 16 2013 13:25:13 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>