From 1f51d9ba294f131f20fe03d5fb22c75406633ba7 Mon Sep 17 00:00:00 2001 From: Daniel James Date: Sat, 2 Apr 2011 14:41:07 +0000 Subject: [PATCH] Function types: rebuild documentation. [SVN r70856] --- .../boost_functiontypes/about_tag_types.html | 7 +- .../boost_functiontypes/acknowledgements.html | 7 +- .../boost_functiontypes/introduction.html | 7 +- doc/html/boost_functiontypes/rationale.html | 23 +++--- doc/html/boost_functiontypes/reference.html | 19 ++--- .../reference/classification.html | 57 +++++-------- .../reference/decomposition.html | 31 +++---- .../boost_functiontypes/reference/macros.html | 61 +++++--------- .../reference/synthesis.html | 31 +++---- .../reference/tag_types.html | 81 +++++++------------ doc/html/boost_functiontypes/use_cases.html | 7 +- doc/html/index.html | 21 ++--- 12 files changed, 146 insertions(+), 206 deletions(-) diff --git a/doc/html/boost_functiontypes/about_tag_types.html b/doc/html/boost_functiontypes/about_tag_types.html index 7b9e5ec..9000b58 100644 --- a/doc/html/boost_functiontypes/about_tag_types.html +++ b/doc/html/boost_functiontypes/about_tag_types.html @@ -3,7 +3,7 @@ About Tag Types - + @@ -24,7 +24,7 @@

Boost.FunctionTypes uses tag types to encode properties that are not types @@ -80,7 +80,8 @@

-

Thanks go to the following people for supporting the development of this library @@ -79,7 +79,8 @@

-

Boost.FunctionTypes provides functionality to classify, decompose and synthesize @@ -77,7 +77,8 @@

-

- + Error handling rationale

@@ -42,7 +42,7 @@ can be spotted easily.

- + Why MPL Sequences?

@@ -55,7 +55,7 @@ so another reason is interoperability.

- + Pointer to member object types

@@ -64,7 +64,7 @@ functionals.

- + The ClassTransform template parameter

@@ -81,7 +81,7 @@ all parameters uniformly.

- + Why tag types?

@@ -100,7 +100,7 @@ with older compilers.

- + Is it safe to have the synthesis templates take a callable builtin type or an MPL sequence as the first template argument? @@ -115,7 +115,7 @@ type a sequence have been included, which can easily violate the ODR.

- + Why does the hidden this parameter count for the function arity of member functions? @@ -126,7 +126,7 @@
mpl::size< parameter_types<T> >::value == function_arity<T>::value
 

- + Why ignore top-level cv-qualifiers on pointers?

@@ -137,7 +137,8 @@
-
-
template<typename T, typename Tag = null_tag>
 struct is_function;
@@ -88,8 +79,7 @@
 
template<typename T, typename Tag = null_tag>
 struct is_function_pointer;
@@ -129,8 +119,7 @@
 
template<typename T, typename Tag = null_tag>
 struct is_function_reference;
@@ -170,8 +159,7 @@
 
template<typename T, typename Tag = null_tag>
 struct is_member_pointer;
@@ -211,8 +199,7 @@
 
template<typename T>
 struct is_member_object_pointer;
@@ -247,8 +234,7 @@
 
template<typename T, typename Tag = null_tag>
 struct is_member_function_pointer;
@@ -288,8 +274,7 @@
 
template<typename T, typename Tag = null_tag>
 struct is_callable_builtin;
@@ -329,8 +314,7 @@
 
template<typename T, typename Tag = null_tag>
 struct is_nonmember_callable_builtin;
@@ -372,7 +356,8 @@
 
-
template<typename F>
 struct result_type;
@@ -73,8 +68,7 @@
 
template<typename F, class ClassTransform = add_reference<_> >
 struct parameter_types;
@@ -117,8 +111,7 @@
 
template<typename F>
 struct function_arity;
@@ -160,8 +153,7 @@
 
template<typename T, class ClassTransform = add_reference<_> >
 struct components;
@@ -211,7 +203,8 @@
 
-

Expands to a numeric value that describes the maximum function arity supported @@ -67,8 +57,7 @@

Expands to a sequence @@ -105,8 +94,7 @@

Enables a specific calling convention. * denotes the macro suffix, as defined @@ -145,8 +133,7 @@

Defining this macro causes the following macros to be defined, if not defined @@ -159,8 +146,7 @@

This macro allows to change the syntax of callable builtin types. It is @@ -176,8 +162,7 @@

Set to void for compilers that insist on a void @@ -186,8 +171,7 @@

Disables support for cv-qualified function types. Cv-qualified function @@ -203,8 +187,7 @@

Makes the compiler preprocess as much as possible of the library code (rather @@ -213,8 +196,7 @@

Makes the compiler preprocess the loop over possible names for custom calling @@ -229,7 +211,8 @@

-
template<typename Types, typename Tag = null_tag> 
 struct function_type;
@@ -79,8 +74,7 @@
 
template<typename Types, typename Tag = null_tag> 
 struct function_pointer;
@@ -119,8 +113,7 @@
 
template<typename Types, typename Tag = null_tag> 
 struct function_reference;
@@ -159,8 +152,7 @@
 
template<typename Types, typename Tag = null_tag> 
 struct member_function_pointer;
@@ -206,7 +198,8 @@
 
-
typedef unspecified variadic;
 
@@ -71,8 +59,7 @@
typedef unspecified non_variadic;
 
@@ -87,8 +74,7 @@
typedef unspecified default_cc;
 
@@ -103,8 +89,7 @@
typedef unspecified const_qualified;
 
@@ -119,8 +104,7 @@
typedef unspecified non_const;
 
@@ -135,8 +119,7 @@
typedef unspecified volatile_qualified;
 
@@ -151,8 +134,7 @@
typedef unspecified non_volatile;
 
@@ -167,7 +149,7 @@
typedef unspecified non_cv;
 
@@ -184,8 +166,7 @@
typedef unspecified const_non_volatile;
 
@@ -202,8 +183,7 @@
typedef unspecified volatile_non_const;
 
@@ -220,8 +200,7 @@
typedef unspecified cv_qualified;
 
@@ -238,8 +217,7 @@
typedef unspecified null_tag;
 
@@ -254,7 +232,7 @@

- tag +tag

template<class Tag1, class Tag2, 
     class Tag3 = null_tag, class Tag4 = null_tag>
@@ -286,7 +264,8 @@
 
-

Generic libraries that accept callable arguments are common in C++. Accepting @@ -160,7 +160,8 @@

-