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/static_local_var.hpp (1443B)

#ifndef BOOST_CONTRACT_DETAIL_STATIC_LOCAL_VAR_HPP_
#define BOOST_CONTRACT_DETAIL_STATIC_LOCAL_VAR_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

namespace boost { namespace contract { namespace detail {

// This is used to hold the state of this library (already checking assertions,
// failure handers, mutexes, etc.). Local static variables are used instead of
// global or class-level static variables to avoid ODR errors when this library
// is used as header-only.

// Use T's default constructor to init the local var.
template<typename Tag, typename T>
struct static_local_var {
    static T& ref() {
        static T data;
        return data;
    }
};

// Use `init` param to init local var (Init same as or convertible to T).
// NOTE: Template specializations could be used to program both this and the
// template above together but some pre-C++11 compilers give errors (e.g., Clang
// without -std=c++11), plus the `_init` postfix is more readable at call site.
template<typename Tag, typename T, typename Init, Init init>
struct static_local_var_init {
    static T& ref() {
        static T data = init;
        return data;
    }
};

} } } // namespace
       
#endif // #include guard

#ifndef BOOST_CONTRACT_DETAIL_STATIC_LOCAL_VAR_HPP_ #define BOOST_CONTRACT_DETAIL_STATIC_LOCAL_VAR_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 namespace boost { namespace contract { namespace detail { // This is used to hold the state of this library (already checking assertions, // failure handers, mutexes, etc.). Local static variables are used instead of // global or class-level static variables to avoid ODR errors when this library // is used as header-only. // Use T's default constructor to init the local var. template struct static_local_var { static T& ref() { static T data; return data; } }; // Use `init` param to init local var (Init same as or convertible to T). // NOTE: Template specializations could be used to program both this and the // template above together but some pre-C++11 compilers give errors (e.g., Clang // without -std=c++11), plus the `_init` postfix is more readable at call site. template struct static_local_var_init { static T& ref() { static T data = init; return data; } }; } } } // namespace #endif // #include guard