Imported Upstream version 1.72.0

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

diff --git a/libs/contract/doc/html/boost/contract/destructor.html b/libs/contract/doc/html/boost/contract/destructor.html
index 331a077..0a05981 100644 (file)
--- a/libs/contract/doc/html/boost/contract/destructor.html
+++ b/libs/contract/doc/html/boost/contract/destructor.html
@@ -33,10 +33,10 @@
 
 </span>
 <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Class<span class="special">&gt;</span> 
-  <a class="link" href="specify__idm45123870103104.html" title="Class template specify_old_postcondition_except">specify_old_postcondition_except</a> <span class="identifier">destructor</span><span class="special">(</span><span class="identifier">Class</span> <span class="special">*</span> obj<span class="special">)</span><span class="special">;</span></pre></div>
+  <a class="link" href="specify__idm45394999245856.html" title="Class template specify_old_postcondition_except">specify_old_postcondition_except</a> <span class="identifier">destructor</span><span class="special">(</span><span class="identifier">Class</span> <span class="special">*</span> obj<span class="special">)</span><span class="special">;</span></pre></div>
 <div class="refsect1">
-<a name="idm45751728517136"></a><h2>Description</h2>
-<p>This is used to specify postconditions, exception guarantees, old value copies at body, and check class invariants for destructors (destructors cannot not have preconditions, see  <a class="link" href="../../boost_contract/contract_programming_overview.html#boost_contract.contract_programming_overview.destructor_calls" title="Destructor Calls"> Destructor Calls</a>):</p>
+<a name="idm45707995026416"></a><h2>Description</h2>
+<p>This is used to specify postconditions, exception guarantees, old value copies at body, and check class invariants for destructors (destructors cannot have preconditions, see  <a class="link" href="../../boost_contract/contract_programming_overview.html#boost_contract.contract_programming_overview.destructor_calls" title="Destructor Calls"> Destructor Calls</a>):</p>
 <pre class="programlisting"><span class="keyword">class</span> <span class="identifier">u</span> <span class="special">{</span>
     <span class="keyword">friend</span> <span class="keyword">class</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">contract</span><span class="special">::</span><span class="identifier">access</span><span class="special">;</span>
 
@@ -116,7 +116,7 @@
 </tr>
 <tr>
 <td><p><span class="term">Returns:</span></p></td>
-<td><p>The result of this function must be explicitly assigned to a variable of type <code class="computeroutput"><a class="link" href="check.html" title="Class check">boost::contract::check</a></code> declared locally just before the code of the destructor body (otherwise this library will generate a run-time error, see <code class="computeroutput"><a class="link" href="../../BOOST_CO_idm45123870548928.html" title="Macro BOOST_CONTRACT_ON_MISSING_CHECK_DECL">BOOST_CONTRACT_ON_MISSING_CHECK_DECL</a></code>). </p></td>
+<td><p>The result of this function must be assigned to a variable of type  <code class="computeroutput"><a class="link" href="check.html" title="Class check">boost::contract::check</a></code> declared explicitly (i.e., without using C++11 <code class="computeroutput">auto</code> declarations) and locally just before the code of the destructor body (otherwise this library will generate a run-time error, see <code class="computeroutput"><a class="link" href="../../BOOST_CO_idm45394999694064.html" title="Macro BOOST_CONTRACT_ON_MISSING_CHECK_DECL">BOOST_CONTRACT_ON_MISSING_CHECK_DECL</a></code>). </p></td>
 </tr>
 </tbody>
 </table></div>
@@ -124,7 +124,7 @@
 </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>