2 [/ Copyright (C) 2008-2018 Lorenzo Caminiti]
3 [/ Distributed under the Boost Software License, Version 1.0 (see accompanying]
4 [/ file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).]
5 [/ See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html]
7 [section Full Table of Contents]
11 __Full_Table_of_Contents__
13 __This_Documentation__
14 __Compilers_and_Platforms__
17 __Contract_Programming_Overview__
19 __Benefits_and_Costs__
21 __Public_Function_Calls__
24 __Constant_Correctness__
25 __Specifications_vs_Implementation__
26 __On_Contract_Failures__
29 __Non_Member_Functions__
34 __Exception_Guarantees__
39 __Virtual_Public_Functions__
40 __Public_Function_Overrides_Subcontracting__
41 __Base_Classes_Subcontracting__
42 __Static_Public_Functions__
44 __Pure_Virtual_Public_Functions__
45 __Optional_Return_Values__
46 __Private_and_Protected_Functions__
48 __Function_Overloads__
49 __Lambdas_Loops_Code_Blocks_and_constexpr__
50 __Implementation_Checks__
51 __Old_Values_Copied_at_Body__
54 __Throw_on_Failures_and_noexcept__
56 __Old_Value_Requirements_Templates__
57 __Assertion_Requirements_Templates__
58 __Volatile_Public_Functions__
62 __Disable_Contract_Checking__
63 __Disable_Contract_Compilation_Macro_Interface__
64 __Separate_Body_Implementation__
65 __No_Lambda_Functions_No_CXX11__
66 __No_Macros_and_No_Variadic_Macros__