feedc0de/boost_concept_check
1
0
Fork 0
forked from boostorg/concept_check
Code Pull Requests Activity

Minor cleanups

Browse Source 
[SVN r33967]
This commit is contained in:
Dave Abrahams
2006-05-15 13:29:23 +00:00
parent b087894c08
commit fb99b2546a
2 changed files with 15 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
include/boost/concept/where.hpp
View File

@@ -10,8 +10,21 @@
namespace boost { namespace boost {
// Template for use in handwritten assertions
template <class Model, class More>
struct where_ : More
{
# if BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
typedef typename More::type type;
# endif
BOOST_CONCEPT_ASSERT((Model));
};
// Template for use by macros, where models must be wrapped in parens.
// This isn't in namespace detail to keep extra cruft out of resulting
// error messages.
template <class ModelFn, class More> template <class ModelFn, class More>
struct where : More struct _where_ : More
{ {
# if BOOST_WORKAROUND(BOOST_MSVC, <= 1300) # if BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
typedef typename More::type type; typedef typename More::type type;
@@ -19,7 +32,7 @@ struct where : More
BOOST_CONCEPT_ASSERT_FN(ModelFn); BOOST_CONCEPT_ASSERT_FN(ModelFn);
}; };
#define BOOST_CONCEPT_WHERE_OPEN(r,data,t) ::boost::where<void(*)t, #define BOOST_CONCEPT_WHERE_OPEN(r,data,t) ::boost::_where_<void(*)t,
#define BOOST_CONCEPT_WHERE_CLOSE(r,data,t) > #define BOOST_CONCEPT_WHERE_CLOSE(r,data,t) >
#if defined(NDEBUG) || BOOST_WORKAROUND(BOOST_MSVC, < 1300) #if defined(NDEBUG) || BOOST_WORKAROUND(BOOST_MSVC, < 1300)

1
include/boost/concept_check.hpp
View File

@@ -336,7 +336,6 @@ namespace boost
Func f; Func f;
First first; First first;
Second second; Second second;
Return r;
}; };
BOOST_concept(UnaryPredicate,(Func)(Arg)) BOOST_concept(UnaryPredicate,(Func)(Arg))