12345678910111213141516171819202122232425262728 |
- #ifndef BOOST_CONTRACT_DETAIL_NONE_HPP_
- #define BOOST_CONTRACT_DETAIL_NONE_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 {
- // Tag for "no type".
- struct none {
- // Some lib code use this to avoid unused local var warnings on #if, etc.
- static none& value() {
- static none none_value;
- return none_value;
- }
- };
- // Transform `void` to `none` type (for convenience, instead of using MPL).
- template<typename T> struct none_if_void { typedef T type; };
- template<> struct none_if_void<void> { typedef none type; };
- } } } // namespace
- #endif // #include guard
|