Imported Upstream version 1.72.0
[platform/upstream/boost.git] / libs / contract / doc / html / boost / contract / from_failure_handler.html
index fe2fb14..a71cd9d 100644 (file)
@@ -34,7 +34,7 @@
 </span>
 <span class="keyword">typedef</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">function</span><span class="special">&lt;</span> <span class="keyword">void</span><span class="special">(</span><span class="identifier">from</span><span class="special">)</span><span class="special">&gt;</span> <span class="identifier">from_failure_handler</span><span class="special">;</span></pre></div>
 <div class="refsect1">
-<a name="idm45751729484720"></a><h2>Description</h2>
+<a name="idm45707996021088"></a><h2>Description</h2>
 <p>Assertion failure handler functions specified by this type must be functors returning <code class="computeroutput">void</code> and taking a single parameter of type  <code class="computeroutput"><a class="link" href="from.html" title="Type from">boost::contract::from</a></code>. For example, this is used to specify contract failure handlers for class invariants, preconditions, postconditions, and exception guarantees.</p>
 <p><span class="bold"><strong>See Also:</strong></span></p>
 <p> <a class="link" href="../../boost_contract/advanced.html#boost_contract.advanced.throw_on_failures__and__noexcept__" title="Throw on Failures (and noexcept)"> Throw on Failure</a> </p>
@@ -46,7 +46,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>