1 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] 6 7[section Full Table of Contents] 8 9[pre 10__Introduction__ 11__Full_Table_of_Contents__ 12__Getting_Started__ 13 __This_Documentation__ 14 __Compilers_and_Platforms__ 15 __Code_Organization__ 16 __Build__ 17__Contract_Programming_Overview__ 18 __Assertions__ 19 __Benefits_and_Costs__ 20 __Function_Calls__ 21 __Public_Function_Calls__ 22 __Constructor_Calls__ 23 __Destructor_Calls__ 24 __Constant_Correctness__ 25 __Specifications_vs_Implementation__ 26 __On_Contract_Failures__ 27 __Feature_Summary__ 28__Tutorial__ 29 __Non_Member_Functions__ 30 __Preconditions__ 31 __Postconditions__ 32 __Return_Values__ 33 __Old_Values__ 34 __Exception_Guarantees__ 35 __Class_Invariants__ 36 __Constructors__ 37 __Destructors__ 38 __Public_Functions__ 39 __Virtual_Public_Functions__ 40 __Public_Function_Overrides_Subcontracting__ 41 __Base_Classes_Subcontracting__ 42 __Static_Public_Functions__ 43__Advanced__ 44 __Pure_Virtual_Public_Functions__ 45 __Optional_Return_Values__ 46 __Private_and_Protected_Functions__ 47 __Friend_Functions__ 48 __Function_Overloads__ 49 __Lambdas_Loops_Code_Blocks_and_constexpr__ 50 __Implementation_Checks__ 51 __Old_Values_Copied_at_Body__ 52 __Named_Overrides__ 53 __Access_Specifiers__ 54 __Throw_on_Failures_and_noexcept__ 55__Extras__ 56 __Old_Value_Requirements_Templates__ 57 __Assertion_Requirements_Templates__ 58 __Volatile_Public_Functions__ 59 __Move_Operations__ 60 __Unions__ 61 __Assertion_Levels__ 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__ 67__Examples__ 68__Reference__ 69__Release_Notes__ 70__Bibliography__ 71__Acknowledgments__ 72] 73 74[endsect] 75 76