Imported Upstream version 1.72.0

[platform/upstream/boost.git] / libs / contract / doc / html / boost / contract / old_value_copy.html

diff --git a/libs/contract/doc/html/boost/contract/old_value_copy.html b/libs/contract/doc/html/boost/contract/old_value_copy.html
index 869c17d..83b3636 100644 (file)
--- a/libs/contract/doc/html/boost/contract/old_value_copy.html
+++ b/libs/contract/doc/html/boost/contract/old_value_copy.html
@@ -34,19 +34,19 @@
 </span><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> T<span class="special">&gt;</span> 
 <span class="keyword">struct</span> <a class="link" href="old_value_copy.html" title="Struct template old_value_copy">old_value_copy</a> <span class="special">{</span>
   <span class="comment">// <a class="link" href="old_value_copy.html#boost.contract.old_value_copyconstruct-copy-destruct">construct/copy/destruct</a></span>
-  <span class="keyword">explicit</span> <a class="link" href="old_value_copy.html#idm45123869845760-bb"><span class="identifier">old_value_copy</span></a><span class="special">(</span><span class="identifier">T</span> <span class="keyword">const</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
+  <span class="keyword">explicit</span> <a class="link" href="old_value_copy.html#idm45394998977872-bb"><span class="identifier">old_value_copy</span></a><span class="special">(</span><span class="identifier">T</span> <span class="keyword">const</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
 
-  <span class="comment">// <a class="link" href="old_value_copy.html#idm45123869849648-bb">public member functions</a></span>
-  <span class="identifier">T</span> <span class="keyword">const</span>  <span class="special">&amp;</span> <a class="link" href="old_value_copy.html#idm45123869849088-bb"><span class="identifier">old</span></a><span class="special">(</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
+  <span class="comment">// <a class="link" href="old_value_copy.html#idm45394998981760-bb">public member functions</a></span>
+  <span class="identifier">T</span> <span class="keyword">const</span>  <span class="special">&amp;</span> <a class="link" href="old_value_copy.html#idm45394998981200-bb"><span class="identifier">old</span></a><span class="special">(</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
 <span class="special">}</span><span class="special">;</span></pre></div>
 <div class="refsect1">
-<a name="idm45751727786576"></a><h2>Description</h2>
-<p>By default, the implementation of this trait uses <code class="computeroutput">T's</code> copy constructor to make one single copy of the specified <code class="computeroutput">value</code>. However, programmers can specialize this trait to copy old values using user-specific operations different from <code class="computeroutput">T's</code> copy constructor. The default implementation of this trait is equivalent to:</p>
+<a name="idm45707994289216"></a><h2>Description</h2>
+<p>By default, the implementation of this trait uses <code class="computeroutput">T's</code> copy constructor to make one single copy of the specified value. However, programmers can specialize this trait to copy old values using user-specific operations different from <code class="computeroutput">T's</code> copy constructor. The default implementation of this trait is equivalent to:</p>
 <pre class="programlisting"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> <span class="identifier">T</span><span class="special">&gt;</span>
 <span class="keyword">class</span> <span class="identifier">old_value_copy</span> <span class="special">{</span>
 <span class="keyword">public</span><span class="special">:</span>
     <span class="keyword">explicit</span> <span class="identifier">old_value_copy</span><span class="special">(</span><span class="identifier">T</span> <span class="keyword">const</span><span class="special">&amp;</span> <span class="identifier">old</span><span class="special">)</span> <span class="special">:</span>
-        <span class="identifier">old_</span><span class="special">(</span><span class="identifier">value</span><span class="special">)</span> <span class="comment">// One single copy of value using T's copy constructor.</span>
+        <span class="identifier">old_</span><span class="special">(</span><span class="identifier">old</span><span class="special">)</span> <span class="comment">// One single copy of value using T's copy constructor.</span>
     <span class="special">{</span><span class="special">}</span>
 
     <span class="identifier">T</span> <span class="keyword">const</span><span class="special">&amp;</span> <span class="identifier">old</span><span class="special">(</span><span class="special">)</span> <span class="keyword">const</span> <span class="special">{</span> <span class="keyword">return</span> <span class="identifier">old_</span><span class="special">;</span> <span class="special">}</span>
@@ -64,12 +64,12 @@
 <p>
 </p>
 <div class="refsect2">
-<a name="idm45751727749040"></a><h3>
+<a name="idm45707994252416"></a><h3>
 <a name="boost.contract.old_value_copyconstruct-copy-destruct"></a><code class="computeroutput">old_value_copy</code> 
         public
        construct/copy/destruct</h3>
 <div class="orderedlist"><ol class="orderedlist" type="1"><li class="listitem">
-<pre class="literallayout"><span class="keyword">explicit</span> <a name="idm45123869845760-bb"></a><span class="identifier">old_value_copy</span><span class="special">(</span><span class="identifier">T</span> <span class="keyword">const</span> <span class="special">&amp;</span> old<span class="special">)</span><span class="special">;</span></pre>Construct this object by making one single copy of the specified old value. <p>This is the only operation within this library that actually copies old values. This ensures this library makes one and only one copy of old values (if they actually need to be copied).</p>
+<pre class="literallayout"><span class="keyword">explicit</span> <a name="idm45394998977872-bb"></a><span class="identifier">old_value_copy</span><span class="special">(</span><span class="identifier">T</span> <span class="keyword">const</span> <span class="special">&amp;</span> old<span class="special">)</span><span class="special">;</span></pre>Construct this object by making one single copy of the specified old value. <p>This is the only operation within this library that actually copies old values. This ensures this library makes one and only one copy of an old value (if they actually need to be copied, see <code class="computeroutput"><code class="computeroutput"><a class="link" href="../../BOOST_CONTRACT_NO_OLDS.html" title="Macro BOOST_CONTRACT_NO_OLDS">BOOST_CONTRACT_NO_OLDS</a></code></code>).</p>
 <p>
 </p>
 <div class="variablelist"><table border="0" class="variablelist compact">
@@ -94,10 +94,10 @@
 </li></ol></div>
 </div>
 <div class="refsect2">
-<a name="idm45751727736496"></a><h3>
-<a name="idm45123869849648-bb"></a><code class="computeroutput">old_value_copy</code> public member functions</h3>
+<a name="idm45707994238272"></a><h3>
+<a name="idm45394998981760-bb"></a><code class="computeroutput">old_value_copy</code> public member functions</h3>
 <div class="orderedlist"><ol class="orderedlist" type="1"><li class="listitem">
-<pre class="literallayout"><span class="identifier">T</span> <span class="keyword">const</span>  <span class="special">&amp;</span> <a name="idm45123869849088-bb"></a><span class="identifier">old</span><span class="special">(</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre>Return a (constant) reference to the old value that was copied. <p>Contract assertions should not change the state of the program so the old value copy is returned as <code class="computeroutput">const</code> (see  <a class="link" href="../../boost_contract/contract_programming_overview.html#boost_contract.contract_programming_overview.constant_correctness" title="Constant-Correctness">
+<pre class="literallayout"><span class="identifier">T</span> <span class="keyword">const</span>  <span class="special">&amp;</span> <a name="idm45394998981200-bb"></a><span class="identifier">old</span><span class="special">(</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre>Return a (constant) reference to the old value that was copied. <p>Contract assertions should not change the state of the program so the old value copy is returned as <code class="computeroutput">const</code> (see  <a class="link" href="../../boost_contract/contract_programming_overview.html#boost_contract.contract_programming_overview.constant_correctness" title="Constant-Correctness">
 Constant Correctness</a>). </p>
 </li></ol></div>
 </div>
@@ -105,7 +105,7 @@ Constant Correctness</a>). </p>
 </div>
 <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
 <td align="left"></td>
-<td align="right"><div class="copyright-footer">Copyright &#169; 2008-2018 Lorenzo Caminiti<p>
+<td align="right"><div class="copyright-footer">Copyright &#169; 2008-2019 Lorenzo Caminiti<p>
         Distributed under the Boost Software License, Version 1.0 (see accompanying
         file LICENSE_1_0.txt or a copy at <a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">http://www.boost.org/LICENSE_1_0.txt</a>)
       </p>