Warning, file /include/boost/contract/detail/none.hpp was not indexed
or was modified since last indexation (in which case cross-reference links may be missing, inaccurate or erroneous).
0001
0002 #ifndef BOOST_CONTRACT_DETAIL_NONE_HPP_
0003 #define BOOST_CONTRACT_DETAIL_NONE_HPP_
0004
0005
0006
0007
0008
0009
0010 namespace boost { namespace contract { namespace detail {
0011
0012
0013 struct none {
0014
0015 static none& value() {
0016 static none none_value;
0017 return none_value;
0018 }
0019 };
0020
0021
0022 template<typename T> struct none_if_void { typedef T type; };
0023 template<> struct none_if_void<void> { typedef none type; };
0024
0025 } } }
0026
0027 #endif
0028