├── .gitattributes ├── .github └── workflows │ └── ci.yml ├── .gitignore ├── CMakeLists.txt ├── LICENSE_1_0.txt ├── README.md ├── doc ├── Jamfile.v2 ├── acknowledgments.qbk ├── advanced.qbk ├── bibliography.qbk ├── contract_programming_overview.qbk ├── examples.qbk ├── extras.qbk ├── full_table_of_contents.qbk ├── getting_started.qbk ├── introduction.qbk ├── main.qbk ├── release_notes.qbk └── tutorial.qbk ├── example ├── Jamfile.v2 ├── cline90 │ ├── calendar.cpp │ ├── stack.cpp │ ├── vector.hpp │ ├── vector_axx.hpp │ ├── vector_main.cpp │ └── vstack.cpp ├── features │ ├── access.cpp │ ├── assertion_level.cpp │ ├── base_types.cpp │ ├── base_types_no_macro.cpp │ ├── call_if_cxx14.cpp │ ├── check.cpp │ ├── check_macro.cpp │ ├── code_block.cpp │ ├── condition_if.cpp │ ├── friend.cpp │ ├── friend_invariant.cpp │ ├── if_constexpr.cpp │ ├── ifdef.cpp │ ├── ifdef_macro.cpp │ ├── introduction.cpp │ ├── introduction_comments.cpp │ ├── introduction_public.cpp │ ├── lambda.cpp │ ├── loop.cpp │ ├── move.cpp │ ├── named_override.cpp │ ├── no_lambdas.cpp │ ├── no_lambdas.hpp │ ├── no_lambdas_local_func.cpp │ ├── non_member.cpp │ ├── old.cpp │ ├── old_if_copyable.cpp │ ├── old_no_macro.cpp │ ├── optional_result.cpp │ ├── optional_result_virtual.cpp │ ├── overload.cpp │ ├── private_protected.cpp │ ├── private_protected_virtual.cpp │ ├── private_protected_virtual_multi.cpp │ ├── public.cpp │ ├── pure_virtual_public.cpp │ ├── separate_body.cpp │ ├── separate_body.hpp │ ├── static_public.cpp │ ├── throw_on_failure.cpp │ ├── union.cpp │ └── volatile.cpp ├── meyer97 │ ├── stack3.cpp │ ├── stack4.e │ ├── stack4.hpp │ └── stack4_main.cpp ├── mitchell02 │ ├── counter │ │ ├── counter.hpp │ │ ├── decrement_button.hpp │ │ └── push_button.hpp │ ├── counter_main.cpp │ ├── courier.cpp │ ├── customer_manager.cpp │ ├── dictionary.cpp │ ├── name_list.cpp │ ├── observer │ │ ├── observer.hpp │ │ └── subject.hpp │ ├── observer_main.cpp │ ├── simple_queue.cpp │ └── stack.cpp └── n1962 │ ├── circle.cpp │ ├── equal.cpp │ ├── factorial.cpp │ ├── sqrt.cpp │ ├── sqrt.d │ ├── sum.cpp │ ├── vector.cpp │ └── vector_n1962.hpp ├── include └── boost │ ├── contract.hpp │ ├── contract │ ├── assert.hpp │ ├── base_types.hpp │ ├── call_if.hpp │ ├── check.hpp │ ├── constructor.hpp │ ├── core │ │ ├── access.hpp │ │ ├── check_macro.hpp │ │ ├── config.hpp │ │ ├── constructor_precondition.hpp │ │ ├── exception.hpp │ │ ├── specify.hpp │ │ └── virtual.hpp │ ├── destructor.hpp │ ├── detail │ │ ├── assert.hpp │ │ ├── auto_ptr.hpp │ │ ├── check.hpp │ │ ├── checking.hpp │ │ ├── condition │ │ │ ├── cond_base.hpp │ │ │ ├── cond_inv.hpp │ │ │ ├── cond_post.hpp │ │ │ └── cond_subcontracting.hpp │ │ ├── config.hpp │ │ ├── debug.hpp │ │ ├── decl.hpp │ │ ├── declspec.hpp │ │ ├── exception.hpp │ │ ├── inlined.hpp │ │ ├── inlined │ │ │ ├── core │ │ │ │ └── exception.hpp │ │ │ ├── detail │ │ │ │ └── checking.hpp │ │ │ └── old.hpp │ │ ├── name.hpp │ │ ├── none.hpp │ │ ├── noop.hpp │ │ ├── operation │ │ │ ├── constructor.hpp │ │ │ ├── destructor.hpp │ │ │ ├── function.hpp │ │ │ ├── public_function.hpp │ │ │ └── static_public_function.hpp │ │ ├── operator_safe_bool.hpp │ │ ├── preprocessor │ │ │ └── keyword │ │ │ │ ├── private.hpp │ │ │ │ ├── protected.hpp │ │ │ │ ├── public.hpp │ │ │ │ ├── utility │ │ │ │ └── is.hpp │ │ │ │ └── virtual.hpp │ │ ├── static_local_var.hpp │ │ ├── tvariadic.hpp │ │ └── type_traits │ │ │ ├── member_function_types.hpp │ │ │ ├── mirror.hpp │ │ │ └── optional.hpp │ ├── function.hpp │ ├── old.hpp │ ├── override.hpp │ └── public_function.hpp │ └── contract_macro.hpp ├── index.html ├── meta ├── explicit-failures-markup.xml └── libraries.json ├── src └── contract.cpp └── test ├── Jamfile.v2 ├── call_if ├── equal_to.cpp ├── equal_to_cxx14.cpp ├── false_.cpp ├── false_void.cpp ├── no_equal_call_if.cpp ├── no_equal_condition_if.cpp ├── no_equal_error.cpp ├── true_.cpp └── true_void.cpp ├── check ├── audit.cpp ├── audit.hpp ├── audit_disabled.cpp ├── audit_disabled_error.cpp ├── audit_error.cpp ├── axiom.cpp ├── axiom.hpp ├── axiom_error.cpp ├── decl.hpp ├── decl_class.cpp ├── decl_macro.cpp ├── ifdef.cpp └── ifdef_macro.cpp ├── cmake_test ├── CMakeLists.txt └── main.cpp ├── constructor ├── destructor ├── access.cpp ├── decl.hpp ├── decl_entry_inv_all.cpp ├── decl_entry_inv_ends.cpp ├── decl_entry_inv_mid.cpp ├── decl_entry_inv_none.cpp ├── decl_entry_static_inv_all.cpp ├── decl_entry_static_inv_ends.cpp ├── decl_entry_static_inv_mid.cpp ├── decl_entry_static_inv_none.cpp ├── decl_exit_static_inv_all.cpp ├── decl_exit_static_inv_ends.cpp ├── decl_exit_static_inv_mid.cpp ├── decl_exit_static_inv_none.cpp ├── decl_post_all.cpp ├── decl_post_ends.cpp ├── decl_post_mid.cpp ├── decl_post_none.cpp ├── ifdef.cpp ├── ifdef_macro.cpp ├── pre_error.cpp ├── smoke.cpp ├── throwing_body.cpp ├── throwing_old.cpp └── throwing_post.cpp ├── detail ├── counter.hpp ├── oteststream.hpp ├── out.hpp ├── out_inlined.hpp └── unprotected_commas.hpp ├── disable ├── audit.cpp ├── audit.hpp ├── audit_disabled.cpp ├── audit_disabled_error.cpp ├── audit_error.cpp ├── axiom.cpp ├── axiom.hpp ├── axiom_error.cpp ├── lib_a.cpp ├── lib_a.hpp ├── lib_a_inlined.hpp ├── lib_ab.hpp ├── lib_b.cpp ├── lib_b.hpp ├── lib_b_inlined.hpp ├── lib_x.cpp ├── lib_x.hpp ├── lib_xy.hpp ├── lib_y.cpp ├── lib_y.hpp ├── no_post_except_lib.cpp ├── no_post_except_unit.cpp ├── nothing_for_pre_prog.cpp ├── other_assertions_lib.cpp ├── other_assertions_prog.cpp ├── other_assertions_unit.cpp └── prog.hpp ├── function ├── decl.hpp ├── decl_post_all.cpp ├── decl_post_none.cpp ├── decl_pre_all.cpp ├── decl_pre_none.cpp ├── ifdef.cpp ├── ifdef_macro.cpp ├── smoke.cpp ├── throwing_body.cpp ├── throwing_old.cpp ├── throwing_post.cpp └── throwing_pre.cpp ├── invariant ├── decl.hpp ├── decl_const.cpp ├── decl_cv.cpp ├── decl_cv_const.cpp ├── decl_nothing.cpp ├── decl_static.cpp ├── decl_static_const.cpp ├── decl_static_cv.cpp ├── decl_static_cv_const.cpp ├── ifdef.cpp ├── ifdef_macro.cpp ├── mutable.hpp ├── mutable_error.cpp ├── mutable_permissive.cpp ├── static.hpp ├── static_const.hpp ├── static_const_error.cpp ├── static_const_permissive.cpp ├── static_cv.hpp ├── static_cv_error.cpp ├── static_cv_permissive.cpp ├── static_error.cpp ├── static_mutable.hpp ├── static_mutable_error.cpp ├── static_mutable_permissive.cpp ├── static_permissive.cpp ├── static_volatile.hpp ├── static_volatile_error.cpp ├── static_volatile_permissive.cpp ├── volatile.hpp ├── volatile_error.cpp └── volatile_permissive.cpp ├── old ├── auto.cpp ├── copyable_traits.cpp ├── if_copyable.cpp ├── if_copyable.hpp ├── if_copyable_error.cpp ├── if_copyable_macro.cpp ├── no_macro.cpp ├── no_macro.hpp ├── no_macro_if_copyable.cpp ├── no_make_old_error.cpp ├── no_make_old_error.hpp └── no_make_old_if_copyable_error.cpp ├── public_function ├── access.cpp ├── decl.hpp ├── decl_entry_inv_all.cpp ├── decl_entry_inv_ends.cpp ├── decl_entry_inv_mid.cpp ├── decl_entry_inv_none.cpp ├── decl_entry_static_inv_all.cpp ├── decl_entry_static_inv_ends.cpp ├── decl_entry_static_inv_mid.cpp ├── decl_entry_static_inv_none.cpp ├── decl_exit_inv_all.cpp ├── decl_exit_inv_ends.cpp ├── decl_exit_inv_mid.cpp ├── decl_exit_inv_none.cpp ├── decl_exit_static_inv_all.cpp ├── decl_exit_static_inv_ends.cpp ├── decl_exit_static_inv_mid.cpp ├── decl_exit_static_inv_none.cpp ├── decl_post_all.cpp ├── decl_post_ends.cpp ├── decl_post_mid.cpp ├── decl_post_none.cpp ├── decl_pre_all.cpp ├── decl_pre_ends.cpp ├── decl_pre_mid.cpp ├── decl_pre_none.cpp ├── friend.cpp ├── ifdef.cpp ├── ifdef_macro.cpp ├── max_args.cpp ├── max_args.hpp ├── max_args0.cpp ├── max_args0_no_tva.cpp ├── max_args1.cpp ├── max_args1_no_tva.cpp ├── max_args2.cpp ├── max_args2_no_tva.cpp ├── max_args_no_tva.cpp ├── max_bases.cpp ├── old_virtual.cpp ├── overload.cpp ├── overload.hpp ├── overload_no_tva.cpp ├── override.hpp ├── override_error.cpp ├── override_permissive.cpp ├── protected.cpp ├── protected_error.cpp ├── smoke.cpp ├── smoke.hpp ├── static.cpp ├── static_ifdef.cpp ├── static_ifdef_macro.cpp ├── static_throwing_body.cpp ├── static_throwing_old.cpp ├── static_throwing_post.cpp ├── static_throwing_pre.cpp ├── throwing_body.cpp ├── throwing_body_virtual.cpp ├── throwing_body_virtual_branch.cpp ├── throwing_old.cpp ├── throwing_post.cpp ├── throwing_pre.cpp ├── virtual.cpp ├── virtual_access.cpp ├── virtual_access_multi.cpp ├── virtual_branch.cpp └── virtual_sparse.cpp ├── result ├── mixed_optional.cpp ├── mixed_optional.hpp ├── mixed_optional_ref.cpp └── type_mismatch_error.cpp └── specify ├── auto_error.cpp ├── auto_pre_error.cpp ├── auto_pre_old_error.cpp ├── auto_pre_old_post_error.cpp ├── auto_pre_old_post_except_error.cpp ├── except.cpp ├── except_old_error.cpp ├── except_post_error.cpp ├── except_pre_error.cpp ├── missing_check.cpp ├── nothing.cpp ├── old.cpp ├── old_except.cpp ├── old_post.cpp ├── old_post_except.cpp ├── old_pre_error.cpp ├── post.cpp ├── post_except.cpp ├── post_old_error.cpp ├── post_pre_error.cpp ├── pre.cpp ├── pre_except.cpp ├── pre_old.cpp ├── pre_old_except.cpp ├── pre_old_post.cpp ├── pre_old_post_except.cpp ├── pre_post.cpp └── pre_post_except.cpp /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/.gitignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE_1_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/LICENSE_1_0.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/README.md -------------------------------------------------------------------------------- /doc/Jamfile.v2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/doc/Jamfile.v2 -------------------------------------------------------------------------------- /doc/acknowledgments.qbk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/doc/acknowledgments.qbk -------------------------------------------------------------------------------- /doc/advanced.qbk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/doc/advanced.qbk -------------------------------------------------------------------------------- /doc/bibliography.qbk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/doc/bibliography.qbk -------------------------------------------------------------------------------- /doc/contract_programming_overview.qbk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/doc/contract_programming_overview.qbk -------------------------------------------------------------------------------- /doc/examples.qbk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/doc/examples.qbk -------------------------------------------------------------------------------- /doc/extras.qbk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/doc/extras.qbk -------------------------------------------------------------------------------- /doc/full_table_of_contents.qbk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/doc/full_table_of_contents.qbk -------------------------------------------------------------------------------- /doc/getting_started.qbk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/doc/getting_started.qbk -------------------------------------------------------------------------------- /doc/introduction.qbk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/doc/introduction.qbk -------------------------------------------------------------------------------- /doc/main.qbk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/doc/main.qbk -------------------------------------------------------------------------------- /doc/release_notes.qbk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/doc/release_notes.qbk -------------------------------------------------------------------------------- /doc/tutorial.qbk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/doc/tutorial.qbk -------------------------------------------------------------------------------- /example/Jamfile.v2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/Jamfile.v2 -------------------------------------------------------------------------------- /example/cline90/calendar.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/cline90/calendar.cpp -------------------------------------------------------------------------------- /example/cline90/stack.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/cline90/stack.cpp -------------------------------------------------------------------------------- /example/cline90/vector.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/cline90/vector.hpp -------------------------------------------------------------------------------- /example/cline90/vector_axx.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/cline90/vector_axx.hpp -------------------------------------------------------------------------------- /example/cline90/vector_main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/cline90/vector_main.cpp -------------------------------------------------------------------------------- /example/cline90/vstack.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/cline90/vstack.cpp -------------------------------------------------------------------------------- /example/features/access.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/access.cpp -------------------------------------------------------------------------------- /example/features/assertion_level.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/assertion_level.cpp -------------------------------------------------------------------------------- /example/features/base_types.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/base_types.cpp -------------------------------------------------------------------------------- /example/features/base_types_no_macro.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/base_types_no_macro.cpp -------------------------------------------------------------------------------- /example/features/call_if_cxx14.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/call_if_cxx14.cpp -------------------------------------------------------------------------------- /example/features/check.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/check.cpp -------------------------------------------------------------------------------- /example/features/check_macro.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/check_macro.cpp -------------------------------------------------------------------------------- /example/features/code_block.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/code_block.cpp -------------------------------------------------------------------------------- /example/features/condition_if.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/condition_if.cpp -------------------------------------------------------------------------------- /example/features/friend.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/friend.cpp -------------------------------------------------------------------------------- /example/features/friend_invariant.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/friend_invariant.cpp -------------------------------------------------------------------------------- /example/features/if_constexpr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/if_constexpr.cpp -------------------------------------------------------------------------------- /example/features/ifdef.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/ifdef.cpp -------------------------------------------------------------------------------- /example/features/ifdef_macro.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/ifdef_macro.cpp -------------------------------------------------------------------------------- /example/features/introduction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/introduction.cpp -------------------------------------------------------------------------------- /example/features/introduction_comments.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/introduction_comments.cpp -------------------------------------------------------------------------------- /example/features/introduction_public.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/introduction_public.cpp -------------------------------------------------------------------------------- /example/features/lambda.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/lambda.cpp -------------------------------------------------------------------------------- /example/features/loop.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/loop.cpp -------------------------------------------------------------------------------- /example/features/move.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/move.cpp -------------------------------------------------------------------------------- /example/features/named_override.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/named_override.cpp -------------------------------------------------------------------------------- /example/features/no_lambdas.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/no_lambdas.cpp -------------------------------------------------------------------------------- /example/features/no_lambdas.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/no_lambdas.hpp -------------------------------------------------------------------------------- /example/features/no_lambdas_local_func.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/no_lambdas_local_func.cpp -------------------------------------------------------------------------------- /example/features/non_member.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/non_member.cpp -------------------------------------------------------------------------------- /example/features/old.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/old.cpp -------------------------------------------------------------------------------- /example/features/old_if_copyable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/old_if_copyable.cpp -------------------------------------------------------------------------------- /example/features/old_no_macro.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/old_no_macro.cpp -------------------------------------------------------------------------------- /example/features/optional_result.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/optional_result.cpp -------------------------------------------------------------------------------- /example/features/optional_result_virtual.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/optional_result_virtual.cpp -------------------------------------------------------------------------------- /example/features/overload.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/overload.cpp -------------------------------------------------------------------------------- /example/features/private_protected.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/private_protected.cpp -------------------------------------------------------------------------------- /example/features/private_protected_virtual.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/private_protected_virtual.cpp -------------------------------------------------------------------------------- /example/features/private_protected_virtual_multi.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/private_protected_virtual_multi.cpp -------------------------------------------------------------------------------- /example/features/public.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/public.cpp -------------------------------------------------------------------------------- /example/features/pure_virtual_public.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/pure_virtual_public.cpp -------------------------------------------------------------------------------- /example/features/separate_body.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/separate_body.cpp -------------------------------------------------------------------------------- /example/features/separate_body.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/separate_body.hpp -------------------------------------------------------------------------------- /example/features/static_public.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/static_public.cpp -------------------------------------------------------------------------------- /example/features/throw_on_failure.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/throw_on_failure.cpp -------------------------------------------------------------------------------- /example/features/union.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/union.cpp -------------------------------------------------------------------------------- /example/features/volatile.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/features/volatile.cpp -------------------------------------------------------------------------------- /example/meyer97/stack3.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/meyer97/stack3.cpp -------------------------------------------------------------------------------- /example/meyer97/stack4.e: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/meyer97/stack4.e -------------------------------------------------------------------------------- /example/meyer97/stack4.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/meyer97/stack4.hpp -------------------------------------------------------------------------------- /example/meyer97/stack4_main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/meyer97/stack4_main.cpp -------------------------------------------------------------------------------- /example/mitchell02/counter/counter.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/mitchell02/counter/counter.hpp -------------------------------------------------------------------------------- /example/mitchell02/counter/decrement_button.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/mitchell02/counter/decrement_button.hpp -------------------------------------------------------------------------------- /example/mitchell02/counter/push_button.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/mitchell02/counter/push_button.hpp -------------------------------------------------------------------------------- /example/mitchell02/counter_main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/mitchell02/counter_main.cpp -------------------------------------------------------------------------------- /example/mitchell02/courier.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/mitchell02/courier.cpp -------------------------------------------------------------------------------- /example/mitchell02/customer_manager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/mitchell02/customer_manager.cpp -------------------------------------------------------------------------------- /example/mitchell02/dictionary.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/mitchell02/dictionary.cpp -------------------------------------------------------------------------------- /example/mitchell02/name_list.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/mitchell02/name_list.cpp -------------------------------------------------------------------------------- /example/mitchell02/observer/observer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/mitchell02/observer/observer.hpp -------------------------------------------------------------------------------- /example/mitchell02/observer/subject.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/mitchell02/observer/subject.hpp -------------------------------------------------------------------------------- /example/mitchell02/observer_main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/mitchell02/observer_main.cpp -------------------------------------------------------------------------------- /example/mitchell02/simple_queue.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/mitchell02/simple_queue.cpp -------------------------------------------------------------------------------- /example/mitchell02/stack.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/mitchell02/stack.cpp -------------------------------------------------------------------------------- /example/n1962/circle.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/n1962/circle.cpp -------------------------------------------------------------------------------- /example/n1962/equal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/n1962/equal.cpp -------------------------------------------------------------------------------- /example/n1962/factorial.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/n1962/factorial.cpp -------------------------------------------------------------------------------- /example/n1962/sqrt.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/n1962/sqrt.cpp -------------------------------------------------------------------------------- /example/n1962/sqrt.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/n1962/sqrt.d -------------------------------------------------------------------------------- /example/n1962/sum.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/n1962/sum.cpp -------------------------------------------------------------------------------- /example/n1962/vector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/n1962/vector.cpp -------------------------------------------------------------------------------- /example/n1962/vector_n1962.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/example/n1962/vector_n1962.hpp -------------------------------------------------------------------------------- /include/boost/contract.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract.hpp -------------------------------------------------------------------------------- /include/boost/contract/assert.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/assert.hpp -------------------------------------------------------------------------------- /include/boost/contract/base_types.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/base_types.hpp -------------------------------------------------------------------------------- /include/boost/contract/call_if.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/call_if.hpp -------------------------------------------------------------------------------- /include/boost/contract/check.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/check.hpp -------------------------------------------------------------------------------- /include/boost/contract/constructor.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/constructor.hpp -------------------------------------------------------------------------------- /include/boost/contract/core/access.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/core/access.hpp -------------------------------------------------------------------------------- /include/boost/contract/core/check_macro.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/core/check_macro.hpp -------------------------------------------------------------------------------- /include/boost/contract/core/config.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/core/config.hpp -------------------------------------------------------------------------------- /include/boost/contract/core/constructor_precondition.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/core/constructor_precondition.hpp -------------------------------------------------------------------------------- /include/boost/contract/core/exception.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/core/exception.hpp -------------------------------------------------------------------------------- /include/boost/contract/core/specify.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/core/specify.hpp -------------------------------------------------------------------------------- /include/boost/contract/core/virtual.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/core/virtual.hpp -------------------------------------------------------------------------------- /include/boost/contract/destructor.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/destructor.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/assert.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/assert.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/auto_ptr.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/auto_ptr.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/check.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/check.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/checking.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/checking.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/condition/cond_base.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/condition/cond_base.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/condition/cond_inv.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/condition/cond_inv.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/condition/cond_post.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/condition/cond_post.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/condition/cond_subcontracting.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/condition/cond_subcontracting.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/config.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/config.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/debug.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/debug.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/decl.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/decl.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/declspec.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/declspec.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/exception.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/exception.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/inlined.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/inlined.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/inlined/core/exception.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/inlined/core/exception.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/inlined/detail/checking.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/inlined/detail/checking.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/inlined/old.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/inlined/old.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/name.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/name.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/none.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/none.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/noop.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/noop.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/operation/constructor.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/operation/constructor.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/operation/destructor.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/operation/destructor.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/operation/function.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/operation/function.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/operation/public_function.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/operation/public_function.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/operation/static_public_function.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/operation/static_public_function.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/operator_safe_bool.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/operator_safe_bool.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/preprocessor/keyword/private.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/preprocessor/keyword/private.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/preprocessor/keyword/protected.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/preprocessor/keyword/protected.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/preprocessor/keyword/public.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/preprocessor/keyword/public.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/preprocessor/keyword/utility/is.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/preprocessor/keyword/utility/is.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/preprocessor/keyword/virtual.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/preprocessor/keyword/virtual.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/static_local_var.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/static_local_var.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/tvariadic.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/tvariadic.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/type_traits/member_function_types.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/type_traits/member_function_types.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/type_traits/mirror.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/type_traits/mirror.hpp -------------------------------------------------------------------------------- /include/boost/contract/detail/type_traits/optional.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/detail/type_traits/optional.hpp -------------------------------------------------------------------------------- /include/boost/contract/function.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/function.hpp -------------------------------------------------------------------------------- /include/boost/contract/old.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/old.hpp -------------------------------------------------------------------------------- /include/boost/contract/override.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/override.hpp -------------------------------------------------------------------------------- /include/boost/contract/public_function.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract/public_function.hpp -------------------------------------------------------------------------------- /include/boost/contract_macro.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/include/boost/contract_macro.hpp -------------------------------------------------------------------------------- /index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/index.html -------------------------------------------------------------------------------- /meta/explicit-failures-markup.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/meta/explicit-failures-markup.xml -------------------------------------------------------------------------------- /meta/libraries.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/meta/libraries.json -------------------------------------------------------------------------------- /src/contract.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/src/contract.cpp -------------------------------------------------------------------------------- /test/Jamfile.v2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/Jamfile.v2 -------------------------------------------------------------------------------- /test/call_if/equal_to.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/call_if/equal_to.cpp -------------------------------------------------------------------------------- /test/call_if/equal_to_cxx14.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/call_if/equal_to_cxx14.cpp -------------------------------------------------------------------------------- /test/call_if/false_.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/call_if/false_.cpp -------------------------------------------------------------------------------- /test/call_if/false_void.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/call_if/false_void.cpp -------------------------------------------------------------------------------- /test/call_if/no_equal_call_if.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/call_if/no_equal_call_if.cpp -------------------------------------------------------------------------------- /test/call_if/no_equal_condition_if.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/call_if/no_equal_condition_if.cpp -------------------------------------------------------------------------------- /test/call_if/no_equal_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/call_if/no_equal_error.cpp -------------------------------------------------------------------------------- /test/call_if/true_.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/call_if/true_.cpp -------------------------------------------------------------------------------- /test/call_if/true_void.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/call_if/true_void.cpp -------------------------------------------------------------------------------- /test/check/audit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/check/audit.cpp -------------------------------------------------------------------------------- /test/check/audit.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/check/audit.hpp -------------------------------------------------------------------------------- /test/check/audit_disabled.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/check/audit_disabled.cpp -------------------------------------------------------------------------------- /test/check/audit_disabled_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/check/audit_disabled_error.cpp -------------------------------------------------------------------------------- /test/check/audit_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/check/audit_error.cpp -------------------------------------------------------------------------------- /test/check/axiom.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/check/axiom.cpp -------------------------------------------------------------------------------- /test/check/axiom.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/check/axiom.hpp -------------------------------------------------------------------------------- /test/check/axiom_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/check/axiom_error.cpp -------------------------------------------------------------------------------- /test/check/decl.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/check/decl.hpp -------------------------------------------------------------------------------- /test/check/decl_class.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/check/decl_class.cpp -------------------------------------------------------------------------------- /test/check/decl_macro.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/check/decl_macro.cpp -------------------------------------------------------------------------------- /test/check/ifdef.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/check/ifdef.cpp -------------------------------------------------------------------------------- /test/check/ifdef_macro.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/check/ifdef_macro.cpp -------------------------------------------------------------------------------- /test/cmake_test/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/cmake_test/CMakeLists.txt -------------------------------------------------------------------------------- /test/cmake_test/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/cmake_test/main.cpp -------------------------------------------------------------------------------- /test/constructor/access.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/access.cpp -------------------------------------------------------------------------------- /test/constructor/decl.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl.hpp -------------------------------------------------------------------------------- /test/constructor/decl_entry_static_inv_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_entry_static_inv_all.cpp -------------------------------------------------------------------------------- /test/constructor/decl_entry_static_inv_ends.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_entry_static_inv_ends.cpp -------------------------------------------------------------------------------- /test/constructor/decl_entry_static_inv_mid.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_entry_static_inv_mid.cpp -------------------------------------------------------------------------------- /test/constructor/decl_entry_static_inv_none.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_entry_static_inv_none.cpp -------------------------------------------------------------------------------- /test/constructor/decl_exit_inv_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_exit_inv_all.cpp -------------------------------------------------------------------------------- /test/constructor/decl_exit_inv_ends.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_exit_inv_ends.cpp -------------------------------------------------------------------------------- /test/constructor/decl_exit_inv_mid.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_exit_inv_mid.cpp -------------------------------------------------------------------------------- /test/constructor/decl_exit_inv_none.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_exit_inv_none.cpp -------------------------------------------------------------------------------- /test/constructor/decl_exit_static_inv_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_exit_static_inv_all.cpp -------------------------------------------------------------------------------- /test/constructor/decl_exit_static_inv_ends.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_exit_static_inv_ends.cpp -------------------------------------------------------------------------------- /test/constructor/decl_exit_static_inv_mid.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_exit_static_inv_mid.cpp -------------------------------------------------------------------------------- /test/constructor/decl_exit_static_inv_none.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_exit_static_inv_none.cpp -------------------------------------------------------------------------------- /test/constructor/decl_post_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_post_all.cpp -------------------------------------------------------------------------------- /test/constructor/decl_post_ends.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_post_ends.cpp -------------------------------------------------------------------------------- /test/constructor/decl_post_mid.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_post_mid.cpp -------------------------------------------------------------------------------- /test/constructor/decl_post_none.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_post_none.cpp -------------------------------------------------------------------------------- /test/constructor/decl_pre_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_pre_all.cpp -------------------------------------------------------------------------------- /test/constructor/decl_pre_ends.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_pre_ends.cpp -------------------------------------------------------------------------------- /test/constructor/decl_pre_mid.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_pre_mid.cpp -------------------------------------------------------------------------------- /test/constructor/decl_pre_none.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/decl_pre_none.cpp -------------------------------------------------------------------------------- /test/constructor/ifdef.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/ifdef.cpp -------------------------------------------------------------------------------- /test/constructor/ifdef_macro.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/ifdef_macro.cpp -------------------------------------------------------------------------------- /test/constructor/pre_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/pre_error.cpp -------------------------------------------------------------------------------- /test/constructor/smoke.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/smoke.cpp -------------------------------------------------------------------------------- /test/constructor/throwing_body.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/throwing_body.cpp -------------------------------------------------------------------------------- /test/constructor/throwing_old.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/throwing_old.cpp -------------------------------------------------------------------------------- /test/constructor/throwing_post.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/throwing_post.cpp -------------------------------------------------------------------------------- /test/constructor/throwing_pre.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/constructor/throwing_pre.cpp -------------------------------------------------------------------------------- /test/destructor/access.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/access.cpp -------------------------------------------------------------------------------- /test/destructor/decl.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/decl.hpp -------------------------------------------------------------------------------- /test/destructor/decl_entry_inv_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/decl_entry_inv_all.cpp -------------------------------------------------------------------------------- /test/destructor/decl_entry_inv_ends.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/decl_entry_inv_ends.cpp -------------------------------------------------------------------------------- /test/destructor/decl_entry_inv_mid.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/decl_entry_inv_mid.cpp -------------------------------------------------------------------------------- /test/destructor/decl_entry_inv_none.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/decl_entry_inv_none.cpp -------------------------------------------------------------------------------- /test/destructor/decl_entry_static_inv_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/decl_entry_static_inv_all.cpp -------------------------------------------------------------------------------- /test/destructor/decl_entry_static_inv_ends.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/decl_entry_static_inv_ends.cpp -------------------------------------------------------------------------------- /test/destructor/decl_entry_static_inv_mid.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/decl_entry_static_inv_mid.cpp -------------------------------------------------------------------------------- /test/destructor/decl_entry_static_inv_none.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/decl_entry_static_inv_none.cpp -------------------------------------------------------------------------------- /test/destructor/decl_exit_static_inv_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/decl_exit_static_inv_all.cpp -------------------------------------------------------------------------------- /test/destructor/decl_exit_static_inv_ends.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/decl_exit_static_inv_ends.cpp -------------------------------------------------------------------------------- /test/destructor/decl_exit_static_inv_mid.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/decl_exit_static_inv_mid.cpp -------------------------------------------------------------------------------- /test/destructor/decl_exit_static_inv_none.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/decl_exit_static_inv_none.cpp -------------------------------------------------------------------------------- /test/destructor/decl_post_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/decl_post_all.cpp -------------------------------------------------------------------------------- /test/destructor/decl_post_ends.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/decl_post_ends.cpp -------------------------------------------------------------------------------- /test/destructor/decl_post_mid.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/decl_post_mid.cpp -------------------------------------------------------------------------------- /test/destructor/decl_post_none.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/decl_post_none.cpp -------------------------------------------------------------------------------- /test/destructor/ifdef.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/ifdef.cpp -------------------------------------------------------------------------------- /test/destructor/ifdef_macro.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/ifdef_macro.cpp -------------------------------------------------------------------------------- /test/destructor/pre_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/pre_error.cpp -------------------------------------------------------------------------------- /test/destructor/smoke.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/smoke.cpp -------------------------------------------------------------------------------- /test/destructor/throwing_body.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/throwing_body.cpp -------------------------------------------------------------------------------- /test/destructor/throwing_old.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/throwing_old.cpp -------------------------------------------------------------------------------- /test/destructor/throwing_post.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/destructor/throwing_post.cpp -------------------------------------------------------------------------------- /test/detail/counter.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/detail/counter.hpp -------------------------------------------------------------------------------- /test/detail/oteststream.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/detail/oteststream.hpp -------------------------------------------------------------------------------- /test/detail/out.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/detail/out.hpp -------------------------------------------------------------------------------- /test/detail/out_inlined.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/detail/out_inlined.hpp -------------------------------------------------------------------------------- /test/detail/unprotected_commas.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/detail/unprotected_commas.hpp -------------------------------------------------------------------------------- /test/disable/audit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/audit.cpp -------------------------------------------------------------------------------- /test/disable/audit.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/audit.hpp -------------------------------------------------------------------------------- /test/disable/audit_disabled.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/audit_disabled.cpp -------------------------------------------------------------------------------- /test/disable/audit_disabled_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/audit_disabled_error.cpp -------------------------------------------------------------------------------- /test/disable/audit_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/audit_error.cpp -------------------------------------------------------------------------------- /test/disable/axiom.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/axiom.cpp -------------------------------------------------------------------------------- /test/disable/axiom.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/axiom.hpp -------------------------------------------------------------------------------- /test/disable/axiom_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/axiom_error.cpp -------------------------------------------------------------------------------- /test/disable/lib_a.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/lib_a.cpp -------------------------------------------------------------------------------- /test/disable/lib_a.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/lib_a.hpp -------------------------------------------------------------------------------- /test/disable/lib_a_inlined.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/lib_a_inlined.hpp -------------------------------------------------------------------------------- /test/disable/lib_ab.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/lib_ab.hpp -------------------------------------------------------------------------------- /test/disable/lib_b.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/lib_b.cpp -------------------------------------------------------------------------------- /test/disable/lib_b.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/lib_b.hpp -------------------------------------------------------------------------------- /test/disable/lib_b_inlined.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/lib_b_inlined.hpp -------------------------------------------------------------------------------- /test/disable/lib_x.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/lib_x.cpp -------------------------------------------------------------------------------- /test/disable/lib_x.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/lib_x.hpp -------------------------------------------------------------------------------- /test/disable/lib_xy.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/lib_xy.hpp -------------------------------------------------------------------------------- /test/disable/lib_y.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/lib_y.cpp -------------------------------------------------------------------------------- /test/disable/lib_y.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/lib_y.hpp -------------------------------------------------------------------------------- /test/disable/no_post_except_lib.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/no_post_except_lib.cpp -------------------------------------------------------------------------------- /test/disable/no_post_except_unit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/no_post_except_unit.cpp -------------------------------------------------------------------------------- /test/disable/nothing_for_pre_prog.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/nothing_for_pre_prog.cpp -------------------------------------------------------------------------------- /test/disable/other_assertions_lib.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/other_assertions_lib.cpp -------------------------------------------------------------------------------- /test/disable/other_assertions_prog.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/other_assertions_prog.cpp -------------------------------------------------------------------------------- /test/disable/other_assertions_unit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/other_assertions_unit.cpp -------------------------------------------------------------------------------- /test/disable/prog.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/disable/prog.hpp -------------------------------------------------------------------------------- /test/function/decl.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/function/decl.hpp -------------------------------------------------------------------------------- /test/function/decl_post_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/function/decl_post_all.cpp -------------------------------------------------------------------------------- /test/function/decl_post_none.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/function/decl_post_none.cpp -------------------------------------------------------------------------------- /test/function/decl_pre_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/function/decl_pre_all.cpp -------------------------------------------------------------------------------- /test/function/decl_pre_none.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/function/decl_pre_none.cpp -------------------------------------------------------------------------------- /test/function/ifdef.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/function/ifdef.cpp -------------------------------------------------------------------------------- /test/function/ifdef_macro.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/function/ifdef_macro.cpp -------------------------------------------------------------------------------- /test/function/smoke.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/function/smoke.cpp -------------------------------------------------------------------------------- /test/function/throwing_body.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/function/throwing_body.cpp -------------------------------------------------------------------------------- /test/function/throwing_old.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/function/throwing_old.cpp -------------------------------------------------------------------------------- /test/function/throwing_post.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/function/throwing_post.cpp -------------------------------------------------------------------------------- /test/function/throwing_pre.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/function/throwing_pre.cpp -------------------------------------------------------------------------------- /test/invariant/decl.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/decl.hpp -------------------------------------------------------------------------------- /test/invariant/decl_const.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/decl_const.cpp -------------------------------------------------------------------------------- /test/invariant/decl_cv.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/decl_cv.cpp -------------------------------------------------------------------------------- /test/invariant/decl_cv_const.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/decl_cv_const.cpp -------------------------------------------------------------------------------- /test/invariant/decl_nothing.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/decl_nothing.cpp -------------------------------------------------------------------------------- /test/invariant/decl_static.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/decl_static.cpp -------------------------------------------------------------------------------- /test/invariant/decl_static_const.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/decl_static_const.cpp -------------------------------------------------------------------------------- /test/invariant/decl_static_cv.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/decl_static_cv.cpp -------------------------------------------------------------------------------- /test/invariant/decl_static_cv_const.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/decl_static_cv_const.cpp -------------------------------------------------------------------------------- /test/invariant/ifdef.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/ifdef.cpp -------------------------------------------------------------------------------- /test/invariant/ifdef_macro.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/ifdef_macro.cpp -------------------------------------------------------------------------------- /test/invariant/mutable.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/mutable.hpp -------------------------------------------------------------------------------- /test/invariant/mutable_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/mutable_error.cpp -------------------------------------------------------------------------------- /test/invariant/mutable_permissive.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/mutable_permissive.cpp -------------------------------------------------------------------------------- /test/invariant/static.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/static.hpp -------------------------------------------------------------------------------- /test/invariant/static_const.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/static_const.hpp -------------------------------------------------------------------------------- /test/invariant/static_const_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/static_const_error.cpp -------------------------------------------------------------------------------- /test/invariant/static_const_permissive.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/static_const_permissive.cpp -------------------------------------------------------------------------------- /test/invariant/static_cv.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/static_cv.hpp -------------------------------------------------------------------------------- /test/invariant/static_cv_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/static_cv_error.cpp -------------------------------------------------------------------------------- /test/invariant/static_cv_permissive.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/static_cv_permissive.cpp -------------------------------------------------------------------------------- /test/invariant/static_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/static_error.cpp -------------------------------------------------------------------------------- /test/invariant/static_mutable.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/static_mutable.hpp -------------------------------------------------------------------------------- /test/invariant/static_mutable_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/static_mutable_error.cpp -------------------------------------------------------------------------------- /test/invariant/static_mutable_permissive.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/static_mutable_permissive.cpp -------------------------------------------------------------------------------- /test/invariant/static_permissive.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/static_permissive.cpp -------------------------------------------------------------------------------- /test/invariant/static_volatile.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/static_volatile.hpp -------------------------------------------------------------------------------- /test/invariant/static_volatile_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/static_volatile_error.cpp -------------------------------------------------------------------------------- /test/invariant/static_volatile_permissive.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/static_volatile_permissive.cpp -------------------------------------------------------------------------------- /test/invariant/volatile.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/volatile.hpp -------------------------------------------------------------------------------- /test/invariant/volatile_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/volatile_error.cpp -------------------------------------------------------------------------------- /test/invariant/volatile_permissive.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/invariant/volatile_permissive.cpp -------------------------------------------------------------------------------- /test/old/auto.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/old/auto.cpp -------------------------------------------------------------------------------- /test/old/copyable_traits.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/old/copyable_traits.cpp -------------------------------------------------------------------------------- /test/old/if_copyable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/old/if_copyable.cpp -------------------------------------------------------------------------------- /test/old/if_copyable.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/old/if_copyable.hpp -------------------------------------------------------------------------------- /test/old/if_copyable_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/old/if_copyable_error.cpp -------------------------------------------------------------------------------- /test/old/if_copyable_macro.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/old/if_copyable_macro.cpp -------------------------------------------------------------------------------- /test/old/no_macro.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/old/no_macro.cpp -------------------------------------------------------------------------------- /test/old/no_macro.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/old/no_macro.hpp -------------------------------------------------------------------------------- /test/old/no_macro_if_copyable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/old/no_macro_if_copyable.cpp -------------------------------------------------------------------------------- /test/old/no_make_old_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/old/no_make_old_error.cpp -------------------------------------------------------------------------------- /test/old/no_make_old_error.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/old/no_make_old_error.hpp -------------------------------------------------------------------------------- /test/old/no_make_old_if_copyable_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/old/no_make_old_if_copyable_error.cpp -------------------------------------------------------------------------------- /test/public_function/access.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/access.cpp -------------------------------------------------------------------------------- /test/public_function/decl.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl.hpp -------------------------------------------------------------------------------- /test/public_function/decl_entry_inv_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_entry_inv_all.cpp -------------------------------------------------------------------------------- /test/public_function/decl_entry_inv_ends.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_entry_inv_ends.cpp -------------------------------------------------------------------------------- /test/public_function/decl_entry_inv_mid.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_entry_inv_mid.cpp -------------------------------------------------------------------------------- /test/public_function/decl_entry_inv_none.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_entry_inv_none.cpp -------------------------------------------------------------------------------- /test/public_function/decl_entry_static_inv_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_entry_static_inv_all.cpp -------------------------------------------------------------------------------- /test/public_function/decl_entry_static_inv_ends.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_entry_static_inv_ends.cpp -------------------------------------------------------------------------------- /test/public_function/decl_entry_static_inv_mid.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_entry_static_inv_mid.cpp -------------------------------------------------------------------------------- /test/public_function/decl_entry_static_inv_none.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_entry_static_inv_none.cpp -------------------------------------------------------------------------------- /test/public_function/decl_exit_inv_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_exit_inv_all.cpp -------------------------------------------------------------------------------- /test/public_function/decl_exit_inv_ends.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_exit_inv_ends.cpp -------------------------------------------------------------------------------- /test/public_function/decl_exit_inv_mid.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_exit_inv_mid.cpp -------------------------------------------------------------------------------- /test/public_function/decl_exit_inv_none.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_exit_inv_none.cpp -------------------------------------------------------------------------------- /test/public_function/decl_exit_static_inv_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_exit_static_inv_all.cpp -------------------------------------------------------------------------------- /test/public_function/decl_exit_static_inv_ends.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_exit_static_inv_ends.cpp -------------------------------------------------------------------------------- /test/public_function/decl_exit_static_inv_mid.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_exit_static_inv_mid.cpp -------------------------------------------------------------------------------- /test/public_function/decl_exit_static_inv_none.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_exit_static_inv_none.cpp -------------------------------------------------------------------------------- /test/public_function/decl_post_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_post_all.cpp -------------------------------------------------------------------------------- /test/public_function/decl_post_ends.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_post_ends.cpp -------------------------------------------------------------------------------- /test/public_function/decl_post_mid.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_post_mid.cpp -------------------------------------------------------------------------------- /test/public_function/decl_post_none.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_post_none.cpp -------------------------------------------------------------------------------- /test/public_function/decl_pre_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_pre_all.cpp -------------------------------------------------------------------------------- /test/public_function/decl_pre_ends.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_pre_ends.cpp -------------------------------------------------------------------------------- /test/public_function/decl_pre_mid.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_pre_mid.cpp -------------------------------------------------------------------------------- /test/public_function/decl_pre_none.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/decl_pre_none.cpp -------------------------------------------------------------------------------- /test/public_function/friend.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/friend.cpp -------------------------------------------------------------------------------- /test/public_function/ifdef.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/ifdef.cpp -------------------------------------------------------------------------------- /test/public_function/ifdef_macro.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/ifdef_macro.cpp -------------------------------------------------------------------------------- /test/public_function/max_args.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/max_args.cpp -------------------------------------------------------------------------------- /test/public_function/max_args.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/max_args.hpp -------------------------------------------------------------------------------- /test/public_function/max_args0.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/max_args0.cpp -------------------------------------------------------------------------------- /test/public_function/max_args0_no_tva.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/max_args0_no_tva.cpp -------------------------------------------------------------------------------- /test/public_function/max_args1.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/max_args1.cpp -------------------------------------------------------------------------------- /test/public_function/max_args1_no_tva.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/max_args1_no_tva.cpp -------------------------------------------------------------------------------- /test/public_function/max_args2.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/max_args2.cpp -------------------------------------------------------------------------------- /test/public_function/max_args2_no_tva.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/max_args2_no_tva.cpp -------------------------------------------------------------------------------- /test/public_function/max_args_no_tva.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/max_args_no_tva.cpp -------------------------------------------------------------------------------- /test/public_function/max_bases.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/max_bases.cpp -------------------------------------------------------------------------------- /test/public_function/old_virtual.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/old_virtual.cpp -------------------------------------------------------------------------------- /test/public_function/overload.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/overload.cpp -------------------------------------------------------------------------------- /test/public_function/overload.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/overload.hpp -------------------------------------------------------------------------------- /test/public_function/overload_no_tva.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/overload_no_tva.cpp -------------------------------------------------------------------------------- /test/public_function/override.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/override.hpp -------------------------------------------------------------------------------- /test/public_function/override_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/override_error.cpp -------------------------------------------------------------------------------- /test/public_function/override_permissive.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/override_permissive.cpp -------------------------------------------------------------------------------- /test/public_function/protected.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/protected.cpp -------------------------------------------------------------------------------- /test/public_function/protected_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/protected_error.cpp -------------------------------------------------------------------------------- /test/public_function/smoke.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/smoke.cpp -------------------------------------------------------------------------------- /test/public_function/smoke.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/smoke.hpp -------------------------------------------------------------------------------- /test/public_function/static.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/static.cpp -------------------------------------------------------------------------------- /test/public_function/static_ifdef.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/static_ifdef.cpp -------------------------------------------------------------------------------- /test/public_function/static_ifdef_macro.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/static_ifdef_macro.cpp -------------------------------------------------------------------------------- /test/public_function/static_throwing_body.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/static_throwing_body.cpp -------------------------------------------------------------------------------- /test/public_function/static_throwing_old.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/static_throwing_old.cpp -------------------------------------------------------------------------------- /test/public_function/static_throwing_post.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/static_throwing_post.cpp -------------------------------------------------------------------------------- /test/public_function/static_throwing_pre.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/static_throwing_pre.cpp -------------------------------------------------------------------------------- /test/public_function/throwing_body.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/throwing_body.cpp -------------------------------------------------------------------------------- /test/public_function/throwing_body_virtual.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/throwing_body_virtual.cpp -------------------------------------------------------------------------------- /test/public_function/throwing_body_virtual_branch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/throwing_body_virtual_branch.cpp -------------------------------------------------------------------------------- /test/public_function/throwing_old.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/throwing_old.cpp -------------------------------------------------------------------------------- /test/public_function/throwing_post.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/throwing_post.cpp -------------------------------------------------------------------------------- /test/public_function/throwing_pre.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/throwing_pre.cpp -------------------------------------------------------------------------------- /test/public_function/virtual.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/virtual.cpp -------------------------------------------------------------------------------- /test/public_function/virtual_access.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/virtual_access.cpp -------------------------------------------------------------------------------- /test/public_function/virtual_access_multi.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/virtual_access_multi.cpp -------------------------------------------------------------------------------- /test/public_function/virtual_branch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/virtual_branch.cpp -------------------------------------------------------------------------------- /test/public_function/virtual_sparse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/public_function/virtual_sparse.cpp -------------------------------------------------------------------------------- /test/result/mixed_optional.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/result/mixed_optional.cpp -------------------------------------------------------------------------------- /test/result/mixed_optional.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/result/mixed_optional.hpp -------------------------------------------------------------------------------- /test/result/mixed_optional_ref.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/result/mixed_optional_ref.cpp -------------------------------------------------------------------------------- /test/result/type_mismatch_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/result/type_mismatch_error.cpp -------------------------------------------------------------------------------- /test/specify/auto_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/auto_error.cpp -------------------------------------------------------------------------------- /test/specify/auto_pre_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/auto_pre_error.cpp -------------------------------------------------------------------------------- /test/specify/auto_pre_old_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/auto_pre_old_error.cpp -------------------------------------------------------------------------------- /test/specify/auto_pre_old_post_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/auto_pre_old_post_error.cpp -------------------------------------------------------------------------------- /test/specify/auto_pre_old_post_except_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/auto_pre_old_post_except_error.cpp -------------------------------------------------------------------------------- /test/specify/except.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/except.cpp -------------------------------------------------------------------------------- /test/specify/except_old_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/except_old_error.cpp -------------------------------------------------------------------------------- /test/specify/except_post_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/except_post_error.cpp -------------------------------------------------------------------------------- /test/specify/except_pre_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/except_pre_error.cpp -------------------------------------------------------------------------------- /test/specify/missing_check.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/missing_check.cpp -------------------------------------------------------------------------------- /test/specify/nothing.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/nothing.cpp -------------------------------------------------------------------------------- /test/specify/old.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/old.cpp -------------------------------------------------------------------------------- /test/specify/old_except.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/old_except.cpp -------------------------------------------------------------------------------- /test/specify/old_post.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/old_post.cpp -------------------------------------------------------------------------------- /test/specify/old_post_except.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/old_post_except.cpp -------------------------------------------------------------------------------- /test/specify/old_pre_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/old_pre_error.cpp -------------------------------------------------------------------------------- /test/specify/post.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/post.cpp -------------------------------------------------------------------------------- /test/specify/post_except.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/post_except.cpp -------------------------------------------------------------------------------- /test/specify/post_old_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/post_old_error.cpp -------------------------------------------------------------------------------- /test/specify/post_pre_error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/post_pre_error.cpp -------------------------------------------------------------------------------- /test/specify/pre.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/pre.cpp -------------------------------------------------------------------------------- /test/specify/pre_except.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/pre_except.cpp -------------------------------------------------------------------------------- /test/specify/pre_old.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/pre_old.cpp -------------------------------------------------------------------------------- /test/specify/pre_old_except.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/pre_old_except.cpp -------------------------------------------------------------------------------- /test/specify/pre_old_post.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/pre_old_post.cpp -------------------------------------------------------------------------------- /test/specify/pre_old_post_except.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/pre_old_post_except.cpp -------------------------------------------------------------------------------- /test/specify/pre_post.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/pre_post.cpp -------------------------------------------------------------------------------- /test/specify/pre_post_except.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boostorg/contract/HEAD/test/specify/pre_post_except.cpp --------------------------------------------------------------------------------