blob: bba4c49033cc63202b9523de47d34cc90abef858 [file] [log] [blame]
Jeff Thompsonef2d5a42013-08-22 19:09:24 -07001// Copyright David Abrahams 2006. Distributed under the Boost
2// Software License, Version 1.0. (See accompanying
3// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Jeff Thompson2491bd62013-10-15 17:10:24 -07004#ifndef NDNBOOST_CONCEPT_DETAIL_GENERAL_NDNBOOST_DWA2006429_HPP
5# define NDNBOOST_CONCEPT_DETAIL_GENERAL_NDNBOOST_DWA2006429_HPP
Jeff Thompsonef2d5a42013-08-22 19:09:24 -07006
7# include <ndnboost/preprocessor/cat.hpp>
8# include <ndnboost/concept/detail/backward_compatibility.hpp>
9
Jeff Thompson3d613fd2013-10-15 15:39:04 -070010# ifdef NDNBOOST_OLD_CONCEPT_SUPPORT
Jeff Thompsonef2d5a42013-08-22 19:09:24 -070011# include <ndnboost/concept/detail/has_constraints.hpp>
12# include <ndnboost/mpl/if.hpp>
13# endif
14
15// This implementation works on Comeau and GCC, all the way back to
16// 2.95
17namespace ndnboost { namespace concepts {
18
19template <class ModelFn>
20struct requirement_;
21
22namespace detail
23{
24 template <void(*)()> struct instantiate {};
25}
26
27template <class Model>
28struct requirement
29{
30 static void failed() { ((Model*)0)->~Model(); }
31};
32
33struct failed {};
34
35template <class Model>
36struct requirement<failed ************ Model::************>
37{
38 static void failed() { ((Model*)0)->~Model(); }
39};
40
Jeff Thompson3d613fd2013-10-15 15:39:04 -070041# ifdef NDNBOOST_OLD_CONCEPT_SUPPORT
Jeff Thompsonef2d5a42013-08-22 19:09:24 -070042
43template <class Model>
44struct constraint
45{
46 static void failed() { ((Model*)0)->constraints(); }
47};
48
49template <class Model>
50struct requirement_<void(*)(Model)>
51 : mpl::if_<
52 concepts::not_satisfied<Model>
53 , constraint<Model>
54 , requirement<failed ************ Model::************>
55 >::type
56{};
57
58# else
59
60// For GCC-2.x, these can't have exactly the same name
61template <class Model>
62struct requirement_<void(*)(Model)>
63 : requirement<failed ************ Model::************>
64{};
65
66# endif
67
Jeff Thompson3d613fd2013-10-15 15:39:04 -070068# define NDNBOOST_CONCEPT_ASSERT_FN( ModelFnPtr ) \
Jeff Thompsonef2d5a42013-08-22 19:09:24 -070069 typedef ::ndnboost::concepts::detail::instantiate< \
70 &::ndnboost::concepts::requirement_<ModelFnPtr>::failed> \
Jeff Thompson3d613fd2013-10-15 15:39:04 -070071 NDNBOOST_PP_CAT(boost_concept_check,__LINE__)
Jeff Thompsonef2d5a42013-08-22 19:09:24 -070072
73}}
74
Jeff Thompson2491bd62013-10-15 17:10:24 -070075#endif // NDNBOOST_CONCEPT_DETAIL_GENERAL_NDNBOOST_DWA2006429_HPP