123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990 |
- #ifndef BOOST_CONTRACT_FUNCTION_HPP_
- #define BOOST_CONTRACT_FUNCTION_HPP_
- #include <boost/contract/core/config.hpp>
- #include <boost/contract/core/specify.hpp>
- #if !defined(BOOST_CONTRACT_NO_FUNCTIONS) || \
- !defined(BOOST_CONTRACT_NO_INVARIANTS) || \
- defined(BOOST_CONTRACT_STATIC_LINK)
- #include <boost/contract/detail/operation/function.hpp>
- #endif
- namespace boost { namespace contract {
- inline specify_precondition_old_postcondition_except<> function() {
-
- #if !defined(BOOST_CONTRACT_NO_FUNCTIONS) || \
- !defined(BOOST_CONTRACT_NO_INVARIANTS) || \
- defined(BOOST_CONTRACT_STATIC_LINK)
- return specify_precondition_old_postcondition_except<>(
- new boost::contract::detail::function());
- #else
- return specify_precondition_old_postcondition_except<>();
- #endif
- }
- } }
- #endif
|