mirror of
https://github.com/boostorg/contract.git
synced 2026-01-24 17:52:41 +00:00
234 lines
22 KiB
HTML
Executable File
234 lines
22 KiB
HTML
Executable File
<html>
|
||
<head>
|
||
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
|
||
<title>Reference</title>
|
||
<link rel="stylesheet" href="doc/html/boostbook.css" type="text/css">
|
||
<meta name="generator" content="DocBook XSL Stylesheets V1.73.2">
|
||
<link rel="start" href="index.html" title="Contract++ 0.3.490">
|
||
<link rel="up" href="index.html" title="Contract++ 0.3.490">
|
||
<link rel="prev" href="contract__/contract_programming.html" title="Annex: Contract Programming">
|
||
<link rel="next" href="contract/failure.html" title="Class failure">
|
||
</head>
|
||
<body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
|
||
<div class="spirit-nav">
|
||
<a accesskey="p" href="contract__/contract_programming.html"><img src="./doc/html/images/prev.png" alt="Prev"></a><a accesskey="u" href="index.html"><img src="./doc/html/images/up.png" alt="Up"></a><a accesskey="h" href="index.html"><img src="./doc/html/images/home.png" alt="Home"></a><a accesskey="n" href="contract/failure.html"><img src="./doc/html/images/next.png" alt="Next"></a>
|
||
</div>
|
||
<hr>
|
||
<div class="section" lang="en">
|
||
<div class="titlepage"><div><div><h2 class="title" style="clear: both">
|
||
<a name="reference"></a>Reference</h2></div></div></div>
|
||
<div class="toc"><dl>
|
||
<dt><span class="section"><a href="reference.html#header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.assert_hpp">Header <contract/assert.hpp></a></span></dt>
|
||
<dt><span class="section"><a href="reference.html#header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.block_hpp">Header <contract/block.hpp></a></span></dt>
|
||
<dt><span class="section"><a href="reference.html#header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.body_hpp">Header <contract/body.hpp></a></span></dt>
|
||
<dt><span class="section"><a href="reference.html#header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.config_hpp">Header <contract/config.hpp></a></span></dt>
|
||
<dt><span class="section"><a href="reference.html#header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.constructor_hpp">Header <contract/constructor.hpp></a></span></dt>
|
||
<dt><span class="section"><a href="reference.html#header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract_hpp">Header <contract.hpp></a></span></dt>
|
||
<dt><span class="section"><a href="reference.html#header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.destructor_hpp">Header <contract/destructor.hpp></a></span></dt>
|
||
<dt><span class="section"><a href="reference.html#header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.from_hpp">Header <contract/from.hpp></a></span></dt>
|
||
<dt><span class="section"><a href="reference.html#header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.macros_hpp">Header <contract/macros.hpp></a></span></dt>
|
||
<dt><span class="section"><a href="reference.html#header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.nonmember_function_hpp">Header <contract/nonmember_function.hpp></a></span></dt>
|
||
<dt><span class="section"><a href="reference.html#header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.nonstatic_member_function_hpp">Header <contract/nonstatic_member_function.hpp></a></span></dt>
|
||
<dt><span class="section"><a href="reference.html#header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.old_hpp">Header <contract/old.hpp></a></span></dt>
|
||
<dt><span class="section"><a href="reference.html#header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.state_hpp">Header <contract/state.hpp></a></span></dt>
|
||
<dt><span class="section"><a href="reference.html#header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.static_member_function_hpp">Header <contract/static_member_function.hpp></a></span></dt>
|
||
<dt><span class="section"><a href="reference.html#header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.wrap_hpp">Header <contract/wrap.hpp></a></span></dt>
|
||
</dl></div>
|
||
<div class="section" lang="en">
|
||
<div class="titlepage"><div><div><h3 class="title">
|
||
<a name="header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.assert_hpp"></a>Header <<a href="./contract/assert.hpp" target="_top">contract/assert.hpp</a>></h3></div></div></div>
|
||
<p>Facilities to assert contract conditions and specify actions to take in case of contract failure. </p>
|
||
<pre class="synopsis">
|
||
|
||
<a class="link" href="CONTRACT_ASSERT.html" title="Macro CONTRACT_ASSERT">CONTRACT_ASSERT</a>(boolean_condition)
|
||
<a class="link" href="CONTRACT_ASSERT_MSG.html" title="Macro CONTRACT_ASSERT_MSG">CONTRACT_ASSERT_MSG</a>(boolean_condition, string_description)</pre>
|
||
<pre class="synopsis"><span class="bold"><strong>namespace</strong></span> contract {
|
||
<span class="bold"><strong>class</strong></span> <a class="link" href="contract/failure.html" title="Class failure">failure</a>;
|
||
<span class="bold"><strong>typedef</strong></span> __ContractFailedHandler__ <a class="link" href="contract/contract_failed_handler.html" title="Type definition contract_failed_handler">contract_failed_handler</a>;
|
||
<span class="type">contract_failed_handler</span> <a class="link" href="contract/set_block_invariant_failed.html" title="Function set_block_invariant_failed">set_block_invariant_failed</a>(contract_failed_handler);
|
||
<span class="type"><span class="bold"><strong>void</strong></span></span> <a class="link" href="contract/block_invariant_failed.html" title="Function block_invariant_failed">block_invariant_failed</a>(<span class="bold"><strong>const</strong></span> from &);
|
||
<span class="type">contract_failed_handler</span> <a class="link" href="contract/set_class_invariant_failed.html" title="Function set_class_invariant_failed">set_class_invariant_failed</a>(contract_failed_handler);
|
||
<span class="type"><span class="bold"><strong>void</strong></span></span> <a class="link" href="contract/class_invariant_failed.html" title="Function class_invariant_failed">class_invariant_failed</a>(<span class="bold"><strong>const</strong></span> from &);
|
||
<span class="type">contract_failed_handler</span> <a class="link" href="contract/set_precondition_failed.html" title="Function set_precondition_failed">set_precondition_failed</a>(contract_failed_handler);
|
||
<span class="type"><span class="bold"><strong>void</strong></span></span> <a class="link" href="contract/precondition_failed.html" title="Function precondition_failed">precondition_failed</a>(<span class="bold"><strong>const</strong></span> from &);
|
||
<span class="type">contract_failed_handler</span> <a class="link" href="contract/set_postcondition_failed.html" title="Function set_postcondition_failed">set_postcondition_failed</a>(contract_failed_handler);
|
||
<span class="type"><span class="bold"><strong>void</strong></span></span> <a class="link" href="contract/postcondition_failed.html" title="Function postcondition_failed">postcondition_failed</a>(<span class="bold"><strong>const</strong></span> from &);
|
||
}</pre>
|
||
</div>
|
||
<div class="section" lang="en">
|
||
<div class="titlepage"><div><div><h3 class="title">
|
||
<a name="header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.block_hpp"></a>Header <<a href="./contract/block.hpp" target="_top">contract/block.hpp</a>></h3></div></div></div>
|
||
<p>Assert block (and loop) invariants and loop variants. </p>
|
||
<pre class="synopsis">
|
||
|
||
<a class="link" href="CONTRACT_ASSERT_BLOCK_INVARIANT.html" title="Macro CONTRACT_ASSERT_BLOCK_INVARIANT">CONTRACT_ASSERT_BLOCK_INVARIANT</a>(boolen_condition)
|
||
<a class="link" href="CONTRACT_ASSERT_BLOCK_INVARIANT_MSG.html" title="Macro CONTRACT_ASSERT_BLOCK_INVARIANT_MSG">CONTRACT_ASSERT_BLOCK_INVARIANT_MSG</a>(boolean_condition, string_description)
|
||
<a class="link" href="CONTRACT_ASSERT_LOOP_VARIANT.html" title="Macro CONTRACT_ASSERT_LOOP_VARIANT">CONTRACT_ASSERT_LOOP_VARIANT</a>(integer_expression)
|
||
<a class="link" href="CONTRACT_ASSERT_LOOP_VARIANT_MSG.html" title="Macro CONTRACT_ASSERT_LOOP_VARIANT_MSG">CONTRACT_ASSERT_LOOP_VARIANT_MSG</a>(integer_expression, string_description)
|
||
<a class="link" href="CONTRACT_INIT_LOOP_VARIANT.html" title="Macro CONTRACT_INIT_LOOP_VARIANT">CONTRACT_INIT_LOOP_VARIANT</a></pre>
|
||
<pre class="synopsis"><span class="bold"><strong>namespace</strong></span> contract {
|
||
<span class="bold"><strong>typedef</strong></span> __Integer__ <a class="link" href="contract/loop_variant_type.html" title="Type definition loop_variant_type">loop_variant_type</a>;
|
||
}</pre>
|
||
</div>
|
||
<div class="section" lang="en">
|
||
<div class="titlepage"><div><div><h3 class="title">
|
||
<a name="header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.body_hpp"></a>Header <<a href="./contract/body.hpp" target="_top">contract/body.hpp</a>></h3></div></div></div>
|
||
<p>Macros used to name the body function when separating its definition from the contract declaration.</p>
|
||
<p>For example, these macros are used when function body definitions are implemented in a source file ".cpp" while the function and contract declarations are given in separate header file ".hpp".</p>
|
||
<p><span class="bold"><strong>See:</strong></span> Examples and more information in the Tutorial section. </p>
|
||
<pre class="synopsis">
|
||
|
||
<a class="link" href="CONTRACT_CONSTRUCTOR_BODY.html" title="Macro CONTRACT_CONSTRUCTOR_BODY">CONTRACT_CONSTRUCTOR_BODY</a>(class_type, class_name)
|
||
<a class="link" href="CONTRACT_DESTRUCTOR_BODY.html" title="Macro CONTRACT_DESTRUCTOR_BODY">CONTRACT_DESTRUCTOR_BODY</a>(class_type, class_name)
|
||
<a class="link" href="CONTRACT_BODY.html" title="Macro CONTRACT_BODY">CONTRACT_BODY</a>(function_name)</pre>
|
||
</div>
|
||
<div class="section" lang="en">
|
||
<div class="titlepage"><div><div><h3 class="title">
|
||
<a name="header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.config_hpp"></a>Header <<a href="./contract/config.hpp" target="_top">contract/config.hpp</a>></h3></div></div></div>
|
||
<p>Macros to change some of the library compile-time configuration.</p>
|
||
<p>Configuration macros can be #defined by the user to change some of the library behaviour. If the user does not #define these macros, the library uses proper default values:</p>
|
||
<pre class="programlisting"> #ifndef CONTRACT_CONFIG_SOMETHING
|
||
# define CONTRACT_CONFIG_SOMETHING some-default-value
|
||
#endif
|
||
</pre>
|
||
<p><span class="bold"><strong>Note:</strong></span> It is strongly recommended not to changed the configuration macro default values unless strictly necessary. </p>
|
||
<pre class="synopsis">
|
||
|
||
<a class="link" href="CONTRACT_CONFIG_MAX_FUNCTION_ARITY.html" title="Macro CONTRACT_CONFIG_MAX_FUNCTION_ARITY">CONTRACT_CONFIG_MAX_FUNCTION_ARITY</a>
|
||
<a class="link" href="CONTRACT_CONFIG_MAX_MULTIPLE_INHERITANCE.html" title="Macro CONTRACT_CONFIG_MAX_MULTIPLE_INHERITANCE">CONTRACT_CONFIG_MAX_MULTIPLE_INHERITANCE</a></pre>
|
||
</div>
|
||
<div class="section" lang="en">
|
||
<div class="titlepage"><div><div><h3 class="title">
|
||
<a name="header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.constructor_hpp"></a>Header <<a href="./contract/constructor.hpp" target="_top">contract/constructor.hpp</a>></h3></div></div></div>
|
||
<p>Class template used to write contracts for constructors. </p>
|
||
<pre class="synopsis"><span class="bold"><strong>namespace</strong></span> contract {
|
||
<span class="bold"><strong>template</strong></span><<span class="bold"><strong>typename</strong></span> F> <span class="bold"><strong>class</strong></span> <a class="link" href="contract/constructor.html" title="Class template constructor">constructor</a>;
|
||
}</pre>
|
||
</div>
|
||
<div class="section" lang="en">
|
||
<div class="titlepage"><div><div><h3 class="title">
|
||
<a name="header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract_hpp"></a>Header <<a href="./contract.hpp" target="_top">contract.hpp</a>></h3></div></div></div>
|
||
<p>Include the entire library.</p>
|
||
<pre class="programlisting"> #include <contract.hpp>
|
||
</pre>
|
||
<p>It is recommended to include the library this way instead of including the single header files from the <code class="computeroutput">"contract/"</code> directory.</p>
|
||
<p><span class="bold"><strong>Metaprogramming Symbols</strong></span></p>
|
||
<p>This documentation source code indicates some metaprogramming constructs using special mixed-case symbols prefixed and postfixed by double underscores "__". These symbols are then expanded to actual code in the documentation text. For example: </p>
|
||
<pre class="programlisting"> // Metaprogramming conventions for this documentation.
|
||
__AMetaprogrammingConstruct__
|
||
__AMetaprogrammingConstructWithParameters__< X, Y, Z >
|
||
</pre>
|
||
<p> In this convention, these metaporgramming constructs are <span class="bold"><strong>not</strong></span> templates. They are internally implemented by the library using both preprocessor and template metaprogramming (in a way that is intentionally not documented here because it is library implementation specific).</p>
|
||
<p><span class="bold"><strong>See:</strong></span> Getting Started section. </p>
|
||
<pre class="synopsis">
|
||
|
||
<a class="link" href="CONTRACT_CHECK_BLOCK_INVARIANT.html" title="Macro CONTRACT_CHECK_BLOCK_INVARIANT">CONTRACT_CHECK_BLOCK_INVARIANT</a>
|
||
<a class="link" href="CONTRACT_CHECK_CLASS_INVARIANT.html" title="Macro CONTRACT_CHECK_CLASS_INVARIANT">CONTRACT_CHECK_CLASS_INVARIANT</a>
|
||
<a class="link" href="CONTRACT_CHECK_PRECONDITION.html" title="Macro CONTRACT_CHECK_PRECONDITION">CONTRACT_CHECK_PRECONDITION</a>
|
||
<a class="link" href="CONTRACT_CHECK_POSTCONDITION.html" title="Macro CONTRACT_CHECK_POSTCONDITION">CONTRACT_CHECK_POSTCONDITION</a></pre>
|
||
</div>
|
||
<div class="section" lang="en">
|
||
<div class="titlepage"><div><div><h3 class="title">
|
||
<a name="header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.destructor_hpp"></a>Header <<a href="./contract/destructor.hpp" target="_top">contract/destructor.hpp</a>></h3></div></div></div>
|
||
<p>Class template used to write contracts for destructors. </p>
|
||
<pre class="synopsis"><span class="bold"><strong>namespace</strong></span> contract {
|
||
<span class="bold"><strong>template</strong></span><<span class="bold"><strong>typename</strong></span> F> <span class="bold"><strong>class</strong></span> <a class="link" href="contract/destructor.html" title="Class template destructor">destructor</a>;
|
||
}</pre>
|
||
</div>
|
||
<div class="section" lang="en">
|
||
<div class="titlepage"><div><div><h3 class="title">
|
||
<a name="header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.from_hpp"></a>Header <<a href="./contract/from.hpp" target="_top">contract/from.hpp</a>></h3></div></div></div>
|
||
<p>Context from which the contract failure was generated. </p>
|
||
<pre class="synopsis"><span class="bold"><strong>namespace</strong></span> contract {
|
||
<span class="bold"><strong>enum</strong></span> <a class="link" href="contract/from.html" title="Type from">from</a>;
|
||
}</pre>
|
||
</div>
|
||
<div class="section" lang="en">
|
||
<div class="titlepage"><div><div><h3 class="title">
|
||
<a name="header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.macros_hpp"></a>Header <<a href="./contract/macros.hpp" target="_top">contract/macros.hpp</a>></h3></div></div></div>
|
||
<p>Contract macros.</p>
|
||
<p>These macros are the primary tools to write contracts.</p>
|
||
<p><span class="bold"><strong>See:</strong></span> See the Tutorial section for examples. </p>
|
||
<pre class="synopsis">
|
||
|
||
<a class="link" href="CONTRACT_INVARIANT.html" title="Macro CONTRACT_INVARIANT">CONTRACT_INVARIANT</a>(sequence)
|
||
<a class="link" href="CONTRACT_CONSTRUCTOR.html" title="Macro CONTRACT_CONSTRUCTOR">CONTRACT_CONSTRUCTOR</a>(sequence)
|
||
<a class="link" href="CONTRACT_DESTRUCTOR.html" title="Macro CONTRACT_DESTRUCTOR">CONTRACT_DESTRUCTOR</a>(sequence)
|
||
<a class="link" href="CONTRACT_FUNCTION.html" title="Macro CONTRACT_FUNCTION">CONTRACT_FUNCTION</a>(sequence)</pre>
|
||
</div>
|
||
<div class="section" lang="en">
|
||
<div class="titlepage"><div><div><h3 class="title">
|
||
<a name="header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.nonmember_function_hpp"></a>Header <<a href="./contract/nonmember_function.hpp" target="_top">contract/nonmember_function.hpp</a>></h3></div></div></div>
|
||
<p>Class template used to write contracts non-member functions. </p>
|
||
<pre class="synopsis"><span class="bold"><strong>namespace</strong></span> contract {
|
||
<span class="bold"><strong>template</strong></span><<span class="bold"><strong>typename</strong></span> F> <span class="bold"><strong>class</strong></span> <a class="link" href="contract/nonmember_function.html" title="Class template nonmember_function">nonmember_function</a>;
|
||
}</pre>
|
||
</div>
|
||
<div class="section" lang="en">
|
||
<div class="titlepage"><div><div><h3 class="title">
|
||
<a name="header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.nonstatic_member_function_hpp"></a>Header <<a href="./contract/nonstatic_member_function.hpp" target="_top">contract/nonstatic_member_function.hpp</a>></h3></div></div></div>
|
||
<p>Class template used to write contracts for non-static member functions. </p>
|
||
<pre class="synopsis"><span class="bold"><strong>namespace</strong></span> contract {
|
||
<span class="bold"><strong>template</strong></span><<span class="bold"><strong>typename</strong></span> F, <span class="bold"><strong>typename</strong></span> BaseContractClass1 = <span class="bold"><strong>void</strong></span>, ... ,
|
||
<span class="bold"><strong>typename</strong></span> BaseContractClassM = <span class="bold"><strong>void</strong></span>>
|
||
<span class="bold"><strong>class</strong></span> <a class="link" href="contract/nonstatic_member_function.html" title="Class template nonstatic_member_function">nonstatic_member_function</a>;
|
||
}</pre>
|
||
</div>
|
||
<div class="section" lang="en">
|
||
<div class="titlepage"><div><div><h3 class="title">
|
||
<a name="header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.old_hpp"></a>Header <<a href="./contract/old.hpp" target="_top">contract/old.hpp</a>></h3></div></div></div>
|
||
<p>Facilities to support old values in postconditions.</p>
|
||
<p>Postconditions can access old variable values (before body executions) for types tagged <code class="computeroutput">contract::copyable</code>. </p>
|
||
<pre class="synopsis">
|
||
|
||
<a class="link" href="CONTRACT_OLDOF.html" title="Macro CONTRACT_OLDOF">CONTRACT_OLDOF</a>(variable_name)</pre>
|
||
<pre class="synopsis"><span class="bold"><strong>namespace</strong></span> contract {
|
||
<span class="bold"><strong>template</strong></span><<span class="bold"><strong>typename</strong></span> T> <span class="bold"><strong>class</strong></span> <a class="link" href="contract/copyable.html" title="Class template copyable">copyable</a>;
|
||
<span class="bold"><strong>template</strong></span><<span class="bold"><strong>typename</strong></span> T> <span class="bold"><strong>class</strong></span> <a class="link" href="contract/copy.html" title="Class template copy">copy</a>;
|
||
}</pre>
|
||
</div>
|
||
<div class="section" lang="en">
|
||
<div class="titlepage"><div><div><h3 class="title">
|
||
<a name="header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.state_hpp"></a>Header <<a href="./contract/state.hpp" target="_top">contract/state.hpp</a>></h3></div></div></div>
|
||
<p>Augmented object state internally used by the library. </p>
|
||
<pre class="synopsis"><span class="bold"><strong>namespace</strong></span> contract {
|
||
<span class="bold"><strong>class</strong></span> <a class="link" href="contract/state.html" title="Class state">state</a>;
|
||
}</pre>
|
||
</div>
|
||
<div class="section" lang="en">
|
||
<div class="titlepage"><div><div><h3 class="title">
|
||
<a name="header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.static_member_function_hpp"></a>Header <<a href="./contract/static_member_function.hpp" target="_top">contract/static_member_function.hpp</a>></h3></div></div></div>
|
||
<p>Class template used to write contracts for static member functions. </p>
|
||
<pre class="synopsis"><span class="bold"><strong>namespace</strong></span> contract {
|
||
<span class="bold"><strong>template</strong></span><<span class="bold"><strong>typename</strong></span> F> <span class="bold"><strong>class</strong></span> <a class="link" href="contract/static_member_function.html" title="Class template static_member_function">static_member_function</a>;
|
||
}</pre>
|
||
</div>
|
||
<div class="section" lang="en">
|
||
<div class="titlepage"><div><div><h3 class="title">
|
||
<a name="header..home.lcaminiti.sandbox.dbcpp_sourceforge.boost-quickbook.doc.qbk.src.contract.wrap_hpp"></a>Header <<a href="./contract/wrap.hpp" target="_top">contract/wrap.hpp</a>></h3></div></div></div>
|
||
<p>Utilities to pass commas within macro parameters. </p>
|
||
<pre class="synopsis">
|
||
|
||
<a class="link" href="CONTRACT_WRAP_TYPE.html" title="Macro CONTRACT_WRAP_TYPE">CONTRACT_WRAP_TYPE</a>(parenthesized_type)</pre>
|
||
<pre class="synopsis"><span class="bold"><strong>namespace</strong></span> contract {
|
||
<span class="bold"><strong>template</strong></span><<span class="bold"><strong>typename</strong></span> T> <span class="bold"><strong>struct</strong></span> <a class="link" href="contract/wrap.html" title="Struct template wrap">wrap</a>;
|
||
|
||
<span class="bold"><strong>template</strong></span><<span class="bold"><strong>typename</strong></span> T> <span class="bold"><strong>struct</strong></span> <a class="link" href="contract/wrap_void_T__id2356976.html" title="Struct template wrap<void(T)>">wrap</a><<span class="bold"><strong>void</strong></span>(T)>;
|
||
}</pre>
|
||
</div>
|
||
</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 <20> 2009 -2010 Lorenzo Caminiti<p>
|
||
Distributed under the Contract++ Software License, Version 1.0 (see accompanying
|
||
file LICENSE_1_0.txt)
|
||
</p>
|
||
</div></td>
|
||
</tr></table>
|
||
<hr>
|
||
<div class="spirit-nav">
|
||
<a accesskey="p" href="contract__/contract_programming.html"><img src="./doc/html/images/prev.png" alt="Prev"></a><a accesskey="u" href="index.html"><img src="./doc/html/images/up.png" alt="Up"></a><a accesskey="h" href="index.html"><img src="./doc/html/images/home.png" alt="Home"></a><a accesskey="n" href="contract/failure.html"><img src="./doc/html/images/next.png" alt="Next"></a>
|
||
</div>
|
||
</body>
|
||
</html>
|