Imported Upstream version 1.72.0

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

diff --git a/libs/contract/doc/html/boost/contract/constructor.html b/libs/contract/doc/html/boost/contract/constructor.html
index b8ccc32..2b7d1b7 100644 (file)
--- a/libs/contract/doc/html/boost/contract/constructor.html
+++ b/libs/contract/doc/html/boost/contract/constructor.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">constructor</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">constructor</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="idm45751730713360"></a><h2>Description</h2>
-<p>This is used to specify postconditions, exception guarantees, old value copies at body, and check class invariants for constructors (see  <code class="computeroutput"><code class="computeroutput"><a class="link" href="constructor_precondition.html" title="Class template constructor_precondition">boost::contract::constructor_precondition</a></code></code> to specify preconditions for constructors instead):</p>
+<a name="idm45707997263952"></a><h2>Description</h2>
+<p>This is used to specify postconditions, exception guarantees, old value copies at body, and check class invariants for constructors (see  <code class="computeroutput"><code class="computeroutput"><a class="link" href="constructor_precondition.html" title="Class template constructor_precondition">boost::contract::constructor_precondition</a></code></code> to specify preconditions for constructors):</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>
 
@@ -49,7 +49,7 @@
     <span class="identifier">u</span><span class="special">(</span><span class="special">...</span><span class="special">)</span> <span class="special">{</span>
         <span class="identifier">boost</span><span class="special">::</span><span class="identifier">contract</span><span class="special">::</span><span class="identifier">old_ptr</span><span class="special">&lt;</span><span class="identifier">old_type</span><span class="special">&gt;</span> <span class="identifier">old_var</span><span class="special">;</span>
         <span class="identifier">boost</span><span class="special">::</span><span class="identifier">contract</span><span class="special">::</span><span class="identifier">check</span> <span class="identifier">c</span> <span class="special">=</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">contract</span><span class="special">::</span><span class="identifier">constructor</span><span class="special">(</span><span class="keyword">this</span><span class="special">)</span>
-            <span class="comment">// No `.precondition` (use `constructor_precondition` if needed).</span>
+            <span class="comment">// No `.precondition` (use `constructor_precondition` instead).</span>
             <span class="special">.</span><span class="identifier">old</span><span class="special">(</span><span class="special">[</span><span class="special">&amp;</span><span class="special">]</span> <span class="special">{</span> <span class="comment">// Optional.</span>
                 <span class="identifier">old_var</span> <span class="special">=</span> <span class="identifier">BOOST_CONTRACT_OLDOF</span><span class="special">(</span><span class="identifier">old_expr</span><span class="special">)</span><span class="special">;</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 constructor 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 constructor 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>