mirror of
https://github.com/boostorg/contract.git
synced 2026-01-26 18:32:55 +00:00
55 lines
6.3 KiB
HTML
Executable File
55 lines
6.3 KiB
HTML
Executable File
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
|
|
<html><head><meta http-equiv="Content-Type" content="text/html;charset=UTF-8">
|
|
<title>Class List</title>
|
|
<link href="doxygen.css" rel="stylesheet" type="text/css">
|
|
<link href="tabs.css" rel="stylesheet" type="text/css">
|
|
</head><body>
|
|
<!-- Generated by Doxygen 1.5.5 -->
|
|
<div class="navigation" id="top">
|
|
<div class="tabs">
|
|
<ul>
|
|
<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="namespaces.html"><span>Namespaces</span></a></li>
|
|
<li class="current"><a href="annotated.html"><span>Classes</span></a></li>
|
|
<li><a href="files.html"><span>Files</span></a></li>
|
|
</ul>
|
|
</div>
|
|
<div class="tabs">
|
|
<ul>
|
|
<li class="current"><a href="annotated.html"><span>Class List</span></a></li>
|
|
<li><a href="hierarchy.html"><span>Class Hierarchy</span></a></li>
|
|
<li><a href="functions.html"><span>Class Members</span></a></li>
|
|
</ul>
|
|
</div>
|
|
</div>
|
|
<div class="contents">
|
|
<h1>Class List</h1>Here are the classes, structs, unions and interfaces with brief descriptions:<table>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1assertion.html">dbc::assertion</a></td><td class="indexvalue">Class to write assertions </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1condition__violation.html">dbc::condition_violation</a></td><td class="indexvalue">Base class for all contract violation exceptions </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1copyable.html">dbc::copyable< T ></a></td><td class="indexvalue">Indicate the specified type is <a class="el" href="classdbc_1_1copyable.html" title="Indicate the specified type is copyable to support the "old" postfix in...">copyable</a> to support the "old" postfix in postconditions </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1exit.html">dbc::exit</a></td><td class="indexvalue">Modifier to cause an assertion-stream to <a class="el" href="classdbc_1_1exit.html" title="Modifier to cause an assertion-stream to exit the program with the specified code...">exit</a> the program with the specified code </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1fun.html">dbc::fun< R, A0, A1, ></a></td><td class="indexvalue">Template used by the code-based API to specify contracts for functions with given return type and (optional) argument types </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1fun_1_1constr.html">dbc::fun< R, A0, A1, >::constr< C ></a></td><td class="indexvalue">Template used by the code-based API to specify contracts for constructors of the given class </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1fun_1_1destr.html">dbc::fun< R, A0, A1, >::destr< C ></a></td><td class="indexvalue">Template used by the code-based API to specify contracts for the destructor of the given class </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1fun_1_1mem.html">dbc::fun< R, A0, A1, >::mem< C, B ></a></td><td class="indexvalue">Template used by the code-based API to specify contracts for functions members of the given class and eventually subcontracting from the given base contract class </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1invariat__violation.html">dbc::invariat_violation</a></td><td class="indexvalue">Exception thrown by default on invariant failure </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1oassertionstream.html">dbc::oassertionstream</a></td><td class="indexvalue">Class to write assertions reporting verbose error messages </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1object.html">dbc::object< C ></a></td><td class="indexvalue">Any class with a contract must privately inherit from this base <a class="el" href="classdbc_1_1object.html" title="Any class with a contract must privately inherit from this base object class.">object</a> class </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1post.html">dbc::post< T ></a></td><td class="indexvalue">Postcondition argument types to support the "old" postfix </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1post_3_01copyable_3_01T_01_5_01_4_01_4.html">dbc::dbc::post< copyable< T * > ></a></td><td class="indexvalue">Postcondition argument pointer types to support the "old" postfix </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1post_3_01copyable_3_01T_01_4_01_4.html">dbc::dbc::post< copyable< T > ></a></td><td class="indexvalue">Postcondition argument types to support the "old" postfix </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1post_3_01T_01_5_01_4.html">dbc::dbc::post< T * ></a></td><td class="indexvalue">Postcondition argument pointer types to support the "old" postfix </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1postcondition__violation.html">dbc::postcondition_violation</a></td><td class="indexvalue">Exception thrown by default on postcondition failure </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1precondition__violation.html">dbc::precondition_violation</a></td><td class="indexvalue">Exception thrown by default on precondition failure </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1raise.html">dbc::raise< E ></a></td><td class="indexvalue">Modifier to cause an assertion-stream to throw the specified exception </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1terminate.html">dbc::terminate</a></td><td class="indexvalue">Modifier to cause an assertion-stream to <a class="el" href="classdbc_1_1terminate.html" title="Modifier to cause an assertion-stream to terminate the program.">terminate</a> the program </td></tr>
|
|
<tr><td class="indexkey"><a class="el" href="classdbc_1_1uraise.html">dbc::uraise< E ></a></td><td class="indexvalue">Modifier to cause an assertion-stream to throw the specified exception </td></tr>
|
|
</table>
|
|
</div>
|
|
<hr size="1"><address style="text-align: right;"><small>Generated on Sat Nov 21 11:16:02 2009 by
|
|
<a href="http://www.doxygen.org/index.html">
|
|
<img src="doxygen.png" alt="doxygen" align="middle" border="0"></a> 1.5.5 </small></address>
|
|
</body>
|
|
</html>
|