123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104 |
- #ifndef BOOST_CONTRACT_DETAIL_STATIC_PUBLIC_FUNCTION_HPP_
- #define BOOST_CONTRACT_DETAIL_STATIC_PUBLIC_FUNCTION_HPP_
- // Copyright (C) 2008-2018 Lorenzo Caminiti
- // Distributed under the Boost Software License, Version 1.0 (see accompanying
- // file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).
- // See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html
- #include <boost/contract/core/exception.hpp>
- #include <boost/contract/core/config.hpp>
- #include <boost/contract/detail/condition/cond_inv.hpp>
- #include <boost/contract/detail/none.hpp>
- #include <boost/contract/detail/exception.hpp>
- #if !defined(BOOST_CONTRACT_ALL_DISABLE_NO_ASSERTION) && ( \
- !defined(BOOST_CONTRACT_NO_INVARIANTS) || \
- !defined(BOOST_CONTRACT_NO_PRECONDITIONS) || \
- !defined(BOOST_CONTRACT_NO_POSTCONDITIONS) || \
- !defined(BOOST_CONTRACT_NO_EXCEPTS))
- #include <boost/contract/detail/checking.hpp>
- #endif
- #if !defined(BOOST_CONTRACT_NO_EXIT_INVARIANTS) || \
- !defined(BOOST_CONTRACT_NO_POSTCONDITIONS) || \
- !defined(BOOST_CONTRACT_NO_EXCEPTS)
- #include <boost/config.hpp>
- #include <exception>
- #endif
- namespace boost { namespace contract { namespace detail {
- // No subcontracting because static so no obj and no substitution principle.
- template<class C> // Non-copyable base.
- class static_public_function : public cond_inv</* VR = */ none, C> {
- public:
- explicit static_public_function() : cond_inv</* VR = */ none, C>(
- boost::contract::from_function, /* obj = */ 0) {}
- private:
- #if !defined(BOOST_CONTRACT_NO_ENTRY_INVARIANTS) || \
- !defined(BOOST_CONTRACT_NO_PRECONDITIONS) || \
- !defined(BOOST_CONTRACT_NO_OLDS)
- void init() /* override */ {
- #ifndef BOOST_CONTRACT_ALL_DISABLE_NO_ASSERTION
- if(checking::already()) return;
- #endif
- #if !defined(BOOST_CONTRACT_NO_ENTRY_INVARIANTS) || \
- !defined(BOOST_CONTRACT_NO_PRECONDITIONS)
- { // Acquire checking guard.
- #ifndef BOOST_CONTRACT_ALL_DISABLE_NO_ASSERTION
- checking k;
- #endif
- #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS
- this->check_entry_static_inv();
- #endif
- #ifndef BOOST_CONTRACT_NO_PRECONDITIONS
- #ifndef \
- BOOST_CONTRACT_PRECONDITIONS_DISABLE_NO_ASSERTION
- this->check_pre();
- } // Release checking guard (after pre check).
- #else
- } // Release checking guard (before pre check).
- this->check_pre();
- #endif
- #else
- } // Release checking guard
- #endif
- #endif
- #ifndef BOOST_CONTRACT_NO_OLDS
- this->copy_old();
- #endif
- }
- #endif
- public:
- #if !defined(BOOST_CONTRACT_NO_EXIT_INVARIANTS) || \
- !defined(BOOST_CONTRACT_NO_POSTCONDITIONS) || \
- !defined(BOOST_CONTRACT_NO_EXCEPTS)
- ~static_public_function() BOOST_NOEXCEPT_IF(false) {
- this->assert_initialized();
- #ifndef BOOST_CONTRACT_ALL_DISABLE_NO_ASSERTION
- if(checking::already()) return;
- checking k;
- #endif
- #ifndef BOOST_CONTRACT_NO_EXIT_INVARIANTS
- this->check_exit_static_inv();
- #endif
- if(uncaught_exception()) {
- #ifndef BOOST_CONTRACT_NO_EXCEPTS
- this->check_except();
- #endif
- } else {
- #ifndef BOOST_CONTRACT_NO_POSTCONDITIONS
- this->check_post(none());
- #endif
- }
- }
- #endif
- };
- } } } // namespace
- #endif // #include guard
|