[version 1.0.0]
[purpose Contract programming for C++.]
[authors [Caminiti <email>lorcaminiti@gmail.com</email>, Lorenzo]]
- [copyright 2008-2018 Lorenzo Caminiti]
+ [copyright 2008-2019 Lorenzo Caminiti]
[license Distributed under the Boost Software License, Version 1.0 (see accompanying file LICENSE_1_0.txt or a copy at [@http://www.boost.org/LICENSE_1_0.txt])]
[source-mode c++]
]
[def __This_Documentation__ [link boost_contract.getting_started.this_documentation This Documentation]]
[def __Compilers_and_Platforms__ [link boost_contract.getting_started.compilers_and_platforms Compilers and Platforms]]
[def __Code_Organization__ [link boost_contract.getting_started.code_organization Code Organization]]
+[def __Build__ [link boost_contract.getting_started.build Build]]
[def __Contract_Programming_Overview__ [link boost_contract.contract_programming_overview Contract Programming Overview]]
[def __Assertions__ [link boost_contract.contract_programming_overview.assertions Assertions]]
[def __Lambdas_Loops_Code_Blocks__ [link boost_contract.advanced.lambdas__loops__code_blocks__and__constexpr__ Lambdas, Loops, Code Blocks]]
[def __Lambdas_Loops_Code_Blocks_and_constexpr__ [link boost_contract.advanced.lambdas__loops__code_blocks__and__constexpr__ Lambdas, Loops, Code Blocks (and `constexpr`)]]
[def __Implementation_Checks__ [link boost_contract.advanced.implementation_checks Implementation Checks]]
-[def __Old_Value_Copies_at_Body__ [link boost_contract.advanced.old_value_copies_at_body Old Value Copies at Body]]
+[def __Old_Values_Copied_at_Body__ [link boost_contract.advanced.old_values_copied_at_body Old Values Copied at Body]]
[def __Named_Overrides__ [link boost_contract.advanced.named_overrides Named Overrides]]
[def __Access_Specifiers__ [link boost_contract.advanced.access_specifiers Access Specifiers]]
[def __Throw_on_Failures__ [link boost_contract.advanced.throw_on_failures__and__noexcept__ Throw on Failures]]