From d9ae9769943533e1e9d8217a17a92c91bdb8eb9f Mon Sep 17 00:00:00 2001 From: Dave Abrahams Date: Mon, 5 Nov 2007 04:43:31 +0000 Subject: [PATCH] Moved boost/concept/where.hpp to boost/concept/requires.hpp Updated reference.htm to include BOOST_CONCEPT_REQUIRES Fixed a copyright notice. [SVN r40770] --- bibliography.htm | 17 +++++------------ fake_sort.hpp | 2 +- .../boost/concept/{where.hpp => requires.hpp} | 0 reference.htm | 17 +++++++++++++++++ 4 files changed, 23 insertions(+), 13 deletions(-) rename include/boost/concept/{where.hpp => requires.hpp} (100%) diff --git a/bibliography.htm b/bibliography.htm index 267f6c1..2c42925 100644 --- a/bibliography.htm +++ b/bibliography.htm @@ -1,17 +1,10 @@ - + + + + -Boost Graph Library: Bibliography +Boost Concept Checking Library: Bibliography -# include +# include # include namespace fake diff --git a/include/boost/concept/where.hpp b/include/boost/concept/requires.hpp similarity index 100% rename from include/boost/concept/where.hpp rename to include/boost/concept/requires.hpp diff --git a/reference.htm b/reference.htm index f5dd9d9..0e1797b 100644 --- a/reference.htm +++ b/reference.htm @@ -66,6 +66,23 @@ BOOST_CONCEPT_ASSERT((concept checking class template specialization)); Note: this macro can be used at global, class, or function scope.

+ 
+#include "boost/concept/requires.hpp"
+
+template <…template parameters…>
+BOOST_CONCEPT_REQUIRES(
+  ((concept checking class template specialization1)) 
+  ((concept checking class template specialization2))… 
+  ((concept checking class template specializationn)),
+  (function return type)
+) function_template_name(…function parameters…)
+
+ +

Effects: causes a compilation failure if the + given concepts are not satisfied.
+ Note: this macro is intended to be used in place of + a function template's return type.

+

Basic Concept Checking Classes