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/checking.hpp (2159B)

#ifndef BOOST_CONTRACT_DETAIL_CHECKING_HPP_
#define BOOST_CONTRACT_DETAIL_CHECKING_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>
#include <boost/contract/detail/static_local_var.hpp>
#include <boost/contract/detail/declspec.hpp>
#include <boost/thread/mutex.hpp>
#include <boost/noncopyable.hpp>
#include <boost/config.hpp>

namespace boost { namespace contract { namespace detail {

#ifdef BOOST_MSVC
    #pragma warning(push)
    #pragma warning(disable: 4275) // Base w/o DLL spec (noncopyable).
    #pragma warning(disable: 4251) // Member w/o DLL spec (mutex_ type).
#endif

// RAII facility to disable assertions while checking other assertions.
class BOOST_CONTRACT_DETAIL_DECLSPEC checking :
    private boost::noncopyable // Non-copyable resource (might use mutex, etc.).
{
public:
    explicit checking() {
        #ifndef BOOST_CONTRACT_DISABLE_THREADS
            init_locked();
        #else
            init_unlocked();
        #endif
    }

~checking() {
        #ifndef BOOST_CONTRACT_DISABLE_THREADS
            done_locked();
        #else
            done_unlocked();
        #endif
    }
    
    static bool already() {
        #ifndef BOOST_CONTRACT_DISABLE_THREADS
            return already_locked();
        #else
            return already_unlocked();
        #endif
    }

private:
    void init_unlocked();
    void init_locked();

void done_unlocked();
    void done_locked();

static bool already_unlocked();
    static bool already_locked();

struct mutex_tag;
    typedef static_local_var<mutex_tag, boost::mutex> mutex;

struct checking_tag;
    typedef static_local_var_init<checking_tag, bool, bool, false> flag;
};

#ifdef BOOST_MSVC
    #pragma warning(pop)
#endif

} } } // namespace

#ifdef BOOST_CONTRACT_HEADER_ONLY
    #include <boost/contract/detail/inlined/detail/checking.hpp>
#endif

#endif // #include guard

#ifndef BOOST_CONTRACT_DETAIL_CHECKING_HPP_ #define BOOST_CONTRACT_DETAIL_CHECKING_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 #include #include #include #include #include namespace boost { namespace contract { namespace detail { #ifdef BOOST_MSVC #pragma warning(push) #pragma warning(disable: 4275) // Base w/o DLL spec (noncopyable). #pragma warning(disable: 4251) // Member w/o DLL spec (mutex_ type). #endif // RAII facility to disable assertions while checking other assertions. class BOOST_CONTRACT_DETAIL_DECLSPEC checking : private boost::noncopyable // Non-copyable resource (might use mutex, etc.). { public: explicit checking() { #ifndef BOOST_CONTRACT_DISABLE_THREADS init_locked(); #else init_unlocked(); #endif } ~checking() { #ifndef BOOST_CONTRACT_DISABLE_THREADS done_locked(); #else done_unlocked(); #endif } static bool already() { #ifndef BOOST_CONTRACT_DISABLE_THREADS return already_locked(); #else return already_unlocked(); #endif } private: void init_unlocked(); void init_locked(); void done_unlocked(); void done_locked(); static bool already_unlocked(); static bool already_locked(); struct mutex_tag; typedef static_local_var mutex; struct checking_tag; typedef static_local_var_init flag; }; #ifdef BOOST_MSVC #pragma warning(pop) #endif } } } // namespace #ifdef BOOST_CONTRACT_HEADER_ONLY #include #endif #endif // #include guard