FM / detail

/usr/include/boost/contract/detail

Name	Size	Mode	Actions
condition/	-	0755	rm
inlined/	-	0755	rm
operation/	-	0755	rm
preprocessor/	-	0755	rm
type_traits/	-	0755	rm
assert.hpp	1084	0644	edit dl rm
auto_ptr.hpp	1425	0644	edit dl rm
check.hpp	1691	0644	edit dl rm
checking.hpp	2159	0644	edit dl rm
config.hpp	893	0644	edit dl rm
debug.hpp	746	0644	edit dl rm
decl.hpp	5043	0644	edit dl rm
declspec.hpp	2006	0644	edit dl rm
exception.hpp	1072	0644	edit dl rm
inlined.hpp	565	0644	edit dl rm
name.hpp	945	0644	edit dl rm
none.hpp	877	0644	edit dl rm
noop.hpp	717	0644	edit dl rm
operator_safe_bool.hpp	3470	0644	edit dl rm
static_local_var.hpp	1443	0644	edit dl rm
tvariadic.hpp	6597	0644	edit dl rm

Edit: /usr/include/boost/contract/detail/check.hpp (1691B)

#ifndef BOOST_CONTRACT_DETAIL_CHECK_HPP_
#define BOOST_CONTRACT_DETAIL_CHECK_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/config.hpp> 
#ifndef BOOST_CONTRACT_NO_CHECKS
    #include <boost/contract/core/exception.hpp>

/* PRIVATE */

#ifndef BOOST_CONTRACT_ALL_DISABLE_NO_ASSERTION
        #include <boost/contract/detail/checking.hpp>
        #include <boost/contract/detail/name.hpp>

#define BOOST_CONTRACT_CHECK_IF_NOT_CHECKING_ALREADY_ \
            if(!boost::contract::detail::checking::already())
        #define BOOST_CONTRACT_CHECK_CHECKING_VAR_(guard) \
            /* this name somewhat unique to min var shadow warnings */ \
            boost::contract::detail::checking BOOST_CONTRACT_DETAIL_NAME2( \
                    guard, __LINE__);
    #else
        #define BOOST_CONTRACT_CHECK_IF_NOT_CHECKING_ALREADY_ /* nothing */
        #define BOOST_CONTRACT_CHECK_CHECKING_VAR_(guard) /* nothing */
    #endif
    
    /* PUBLIC */
    
    #define BOOST_CONTRACT_DETAIL_CHECK(assertion) \
        { \
            try { \
                BOOST_CONTRACT_CHECK_IF_NOT_CHECKING_ALREADY_ \
                { \
                    BOOST_CONTRACT_CHECK_CHECKING_VAR_(k) \
                    { assertion; } \
                } \
            } catch(...) { boost::contract::check_failure(); } \
        }
#else
    #define BOOST_CONTRACT_DETAIL_CHECK(assertion) {}
#endif

#endif // #include guard

#ifndef BOOST_CONTRACT_DETAIL_CHECK_HPP_ #define BOOST_CONTRACT_DETAIL_CHECK_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 #ifndef BOOST_CONTRACT_NO_CHECKS #include /* PRIVATE */ #ifndef BOOST_CONTRACT_ALL_DISABLE_NO_ASSERTION #include #include #define BOOST_CONTRACT_CHECK_IF_NOT_CHECKING_ALREADY_ \ if(!boost::contract::detail::checking::already()) #define BOOST_CONTRACT_CHECK_CHECKING_VAR_(guard) \ /* this name somewhat unique to min var shadow warnings */ \ boost::contract::detail::checking BOOST_CONTRACT_DETAIL_NAME2( \ guard, __LINE__); #else #define BOOST_CONTRACT_CHECK_IF_NOT_CHECKING_ALREADY_ /* nothing */ #define BOOST_CONTRACT_CHECK_CHECKING_VAR_(guard) /* nothing */ #endif /* PUBLIC */ #define BOOST_CONTRACT_DETAIL_CHECK(assertion) \ { \ try { \ BOOST_CONTRACT_CHECK_IF_NOT_CHECKING_ALREADY_ \ { \ BOOST_CONTRACT_CHECK_CHECKING_VAR_(k) \ { assertion; } \ } \ } catch(...) { boost::contract::check_failure(); } \ } #else #define BOOST_CONTRACT_DETAIL_CHECK(assertion) {} #endif #endif // #include guard