diff --git a/doc/TypeTraitsIntrospection.pdf b/doc/TypeTraitsIntrospection.pdf index ca74593..46b1310 100644 Binary files a/doc/TypeTraitsIntrospection.pdf and b/doc/TypeTraitsIntrospection.pdf differ diff --git a/doc/html/BOOST_TTI_HAS_MEMBER.html b/doc/html/BOOST_TTI_HAS_MEMBER.html index 6e56541..04f70dd 100644 --- a/doc/html/BOOST_TTI_HAS_MEMBER.html +++ b/doc/html/BOOST_TTI_HAS_MEMBER.html @@ -26,7 +26,7 @@ BOOST_TTI_HAS_MEMBER(name)
-

Description

+

Description

name = the name of the inner member.

returns = a metafunction called "boost::tti::has_member_name" where 'name' is the macro parameter.

The metafunction types and return:

diff --git a/doc/html/BOOST_TTI_HAS_MEMBER_DATA.html b/doc/html/BOOST_TTI_HAS_MEMBER_DATA.html index cba027a..315d908 100644 --- a/doc/html/BOOST_TTI_HAS_MEMBER_DATA.html +++ b/doc/html/BOOST_TTI_HAS_MEMBER_DATA.html @@ -26,7 +26,7 @@ BOOST_TTI_HAS_MEMBER_DATA(name)
-

Description

+

Description

name = the name of the inner member.

returns = a metafunction called "boost::tti::has_member_data_name" where 'name' is the macro parameter.

The metafunction types and return:

diff --git a/doc/html/BOOST_TTI_HAS_MEMBER_FUNCTION.html b/doc/html/BOOST_TTI_HAS_MEMBER_FUNCTION.html index 21eb888..ce7a9df 100644 --- a/doc/html/BOOST_TTI_HAS_MEMBER_FUNCTION.html +++ b/doc/html/BOOST_TTI_HAS_MEMBER_FUNCTION.html @@ -26,7 +26,7 @@ BOOST_TTI_HAS_MEMBER_FUNCTION(name)
-

Description

+

Description

name = the name of the inner member.

returns = a metafunction called "boost::tti::has_member_function_name" where 'name' is the macro parameter.

The metafunction types and return:

diff --git a/doc/html/BOOST_TTI_HAS_STATIC_MEMBER.html b/doc/html/BOOST_TTI_HAS_STATIC_MEMBER.html index 4e109ea..d360c92 100644 --- a/doc/html/BOOST_TTI_HAS_STATIC_MEMBER.html +++ b/doc/html/BOOST_TTI_HAS_STATIC_MEMBER.html @@ -26,7 +26,7 @@ BOOST_TTI_HAS_STATIC_MEMBER(name)
-

Description

+

Description

name = the name of the inner member.

returns = a metafunction called "boost::tti::has_static_member_name" where 'name' is the macro parameter.

diff --git a/doc/html/BOOST_TTI_HAS_STATIC_MEMBER_FUNCTION.html b/doc/html/BOOST_TTI_HAS_STATIC_MEMBER_FUNCTION.html index c2ed078..81fd0e1 100644 --- a/doc/html/BOOST_TTI_HAS_STATIC_MEMBER_FUNCTION.html +++ b/doc/html/BOOST_TTI_HAS_STATIC_MEMBER_FUNCTION.html @@ -26,7 +26,7 @@ BOOST_TTI_HAS_STATIC_MEMBER_FUNCTION(name)
-

Description

+

Description

name = the name of the inner member.

returns = a metafunction called "boost::tti::has_static_member_function_name" where 'name' is the macro parameter.

The metafunction types and return:

diff --git a/doc/html/BOOST_TTI_HAS_TEMPLATE.html b/doc/html/BOOST_TTI_HAS_TEMPLATE.html index f6995eb..c38f033 100644 --- a/doc/html/BOOST_TTI_HAS_TEMPLATE.html +++ b/doc/html/BOOST_TTI_HAS_TEMPLATE.html @@ -26,7 +26,7 @@ BOOST_TTI_HAS_TEMPLATE(name)
-

Description

+

Description

name = the name of the inner template.

returns = a metafunction called "boost::tti::has_template_name" where 'name' is the macro parameter.

The metafunction types and return:

diff --git a/doc/html/BOOST_TTI_HAS_TEMPLATE_CHECK_PARAMS.html b/doc/html/BOOST_TTI_HAS_TEMPLATE_CHECK_PARAMS.html index c962a4f..27e4e51 100644 --- a/doc/html/BOOST_TTI_HAS_TEMPLATE_CHECK_PARAMS.html +++ b/doc/html/BOOST_TTI_HAS_TEMPLATE_CHECK_PARAMS.html @@ -26,7 +26,7 @@ BOOST_TTI_HAS_TEMPLATE_CHECK_PARAMS(name, tpSeq)
-

Description

+

Description

name = the name of the inner class template.
tpSeq = a Boost PP sequence which has the class template parameters. Each part of the template parameters separated by a comma ( , ) is put in a separate sequence element.

returns = a metafunction called "boost::tti::has_template_check_params_name" where 'name' is the macro parameter.

diff --git a/doc/html/BOOST_TTI_HAS_TYPE.html b/doc/html/BOOST_TTI_HAS_TYPE.html index d1fe38e..e83575e 100644 --- a/doc/html/BOOST_TTI_HAS_TYPE.html +++ b/doc/html/BOOST_TTI_HAS_TYPE.html @@ -26,7 +26,7 @@ BOOST_TTI_HAS_TYPE(name)
-

Description

+

Description

name = the name of the inner type.

returns = a metafunction called "boost::tti::has_type_name" where 'name' is the macro parameter.

The metafunction types and return:

diff --git a/doc/html/BOOST_TTI_MEMBER_TYPE.html b/doc/html/BOOST_TTI_MEMBER_TYPE.html index d24a9af..c316976 100644 --- a/doc/html/BOOST_TTI_MEMBER_TYPE.html +++ b/doc/html/BOOST_TTI_MEMBER_TYPE.html @@ -26,7 +26,7 @@ BOOST_TTI_MEMBER_TYPE(name)
-

Description

+

Description

name = the name of the inner type.

returns = a metafunction called "boost::tti::member_type_name" where 'name' is the macro parameter.

The metafunction types and return:

diff --git a/doc/html/BOOST_TTI_MTFC_HAS_MEMBER.html b/doc/html/BOOST_TTI_MTFC_HAS_MEMBER.html index f845c9b..b90f91f 100644 --- a/doc/html/BOOST_TTI_MTFC_HAS_MEMBER.html +++ b/doc/html/BOOST_TTI_MTFC_HAS_MEMBER.html @@ -26,7 +26,7 @@ BOOST_TTI_MTFC_HAS_MEMBER(name)
-

Description

+

Description

name = the name of the inner member.

returns = a metafunction class called "boost::tti::mtfc_has_member_name" where 'name' is the macro parameter.

The metafunction class's 'apply' metafunction types and return:

diff --git a/doc/html/BOOST_TTI_MTFC_HAS_MEMBER_DATA.html b/doc/html/BOOST_TTI_MTFC_HAS_MEMBER_DATA.html index bf2e184..b056bd6 100644 --- a/doc/html/BOOST_TTI_MTFC_HAS_MEMBER_DATA.html +++ b/doc/html/BOOST_TTI_MTFC_HAS_MEMBER_DATA.html @@ -26,7 +26,7 @@ BOOST_TTI_MTFC_HAS_MEMBER_DATA(name)
-

Description

+

Description

name = the name of the inner member.

returns = a metafunction class called "boost::tti::mtfc_has_member_data_name" where 'name' is the macro parameter.

The metafunction class's 'apply' metafunction types and return:

diff --git a/doc/html/BOOST_TTI_MTFC_HAS_MEMBER_FUNCTION.html b/doc/html/BOOST_TTI_MTFC_HAS_MEMBER_FUNCTION.html index 671d161..db9ee7c 100644 --- a/doc/html/BOOST_TTI_MTFC_HAS_MEMBER_FUNCTION.html +++ b/doc/html/BOOST_TTI_MTFC_HAS_MEMBER_FUNCTION.html @@ -26,7 +26,7 @@ BOOST_TTI_MTFC_HAS_MEMBER_FUNCTION(name)
-

Description

+

Description

name = the name of the inner member.

returns = a metafunction class called "boost::tti::mtfc_has_member_function_name" where 'name' is the macro parameter.

The metafunction class's 'apply' metafunction types and return:

diff --git a/doc/html/BOOST_TTI_MTFC_HAS_STATIC_MEMBER.html b/doc/html/BOOST_TTI_MTFC_HAS_STATIC_MEMBER.html index 59129d0..993b6c1 100644 --- a/doc/html/BOOST_TTI_MTFC_HAS_STATIC_MEMBER.html +++ b/doc/html/BOOST_TTI_MTFC_HAS_STATIC_MEMBER.html @@ -26,7 +26,7 @@ BOOST_TTI_MTFC_HAS_STATIC_MEMBER(name)
-

Description

+

Description

name = the name of the inner member.

returns = a metafunction class called "boost::tti::mtfc_has_static_member_name" where 'name' is the macro parameter.

diff --git a/doc/html/BOOST_TTI_MTFC_HAS_STATIC_MEMBER_FUNCTION.html b/doc/html/BOOST_TTI_MTFC_HAS_STATIC_MEMBER_FUNCTION.html index b17690e..ce85a86 100644 --- a/doc/html/BOOST_TTI_MTFC_HAS_STATIC_MEMBER_FUNCTION.html +++ b/doc/html/BOOST_TTI_MTFC_HAS_STATIC_MEMBER_FUNCTION.html @@ -26,7 +26,7 @@ BOOST_TTI_MTFC_HAS_STATIC_MEMBER_FUNCTION(name)
-

Description

+

Description

name = the name of the inner member.

returns = a metafunction class called "boost::tti::mtfc_has_static_member_function_name" where 'name' is the macro parameter.

The metafunction class's 'apply' metafunction types and return:

diff --git a/doc/html/BOOST_TTI_MTFC_HAS_TEMPLATE.html b/doc/html/BOOST_TTI_MTFC_HAS_TEMPLATE.html index c450b62..5f975b9 100644 --- a/doc/html/BOOST_TTI_MTFC_HAS_TEMPLATE.html +++ b/doc/html/BOOST_TTI_MTFC_HAS_TEMPLATE.html @@ -26,7 +26,7 @@ BOOST_TTI_MTFC_HAS_TEMPLATE(name)
-

Description

+

Description

name = the name of the inner template.

returns = a metafunction class called "boost::tti::mtfc_has_template_name" where 'name' is the macro parameter.

The metafunction class's 'apply' metafunction types and return:

diff --git a/doc/html/BOOST_TTI_MTFC_HAS_TEMPLATE_CHECK_PARAMS.html b/doc/html/BOOST_TTI_MTFC_HAS_TEMPLATE_CHECK_PARAMS.html index 3dfc4ec..9618efd 100644 --- a/doc/html/BOOST_TTI_MTFC_HAS_TEMPLATE_CHECK_PARAMS.html +++ b/doc/html/BOOST_TTI_MTFC_HAS_TEMPLATE_CHECK_PARAMS.html @@ -26,7 +26,7 @@ BOOST_TTI_MTFC_HAS_TEMPLATE_CHECK_PARAMS(name, tpSeq)
-

Description

+

Description

name = the name of the inner class template.
tpSeq = a Boost PP sequence which has the class template parameters. Each part of the template parameters separated by a comma ( , ) is put in a separate sequence element.

returns = a metafunction class called "boost::tti::mtfc_has_template_check_params_name" where 'name' is the macro parameter.

diff --git a/doc/html/BOOST_TTI_MTFC_HAS_TYPE.html b/doc/html/BOOST_TTI_MTFC_HAS_TYPE.html index 1bbfaf9..340bed7 100644 --- a/doc/html/BOOST_TTI_MTFC_HAS_TYPE.html +++ b/doc/html/BOOST_TTI_MTFC_HAS_TYPE.html @@ -26,7 +26,7 @@ BOOST_TTI_MTFC_HAS_TYPE(name)
-

Description

+

Description

name = the name of the inner type.

returns = a metafunction class called "boost::tti::mtfc_has_type_name" where 'name' is the macro parameter.

The metafunction class's 'apply' metafunction types and return:

diff --git a/doc/html/BOOST_TTI_MTFC_MEMBER_TYPE.html b/doc/html/BOOST_TTI_MTFC_MEMBER_TYPE.html index 5eb3897..00da74f 100644 --- a/doc/html/BOOST_TTI_MTFC_MEMBER_TYPE.html +++ b/doc/html/BOOST_TTI_MTFC_MEMBER_TYPE.html @@ -26,7 +26,7 @@ BOOST_TTI_MTFC_MEMBER_TYPE(name)
-

Description

+

Description

name = the name of the inner type.

returns = a metafunction class called "boost::tti::mtfc_member_type_name" where 'name' is the macro parameter.

The metafunction class's 'apply' metafunction types and return:

diff --git a/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_MEMBER.html b/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_MEMBER.html index 1898fd6..15db2b5 100644 --- a/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_MEMBER.html +++ b/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_MEMBER.html @@ -26,7 +26,7 @@ BOOST_TTI_MTFC_TRAIT_HAS_MEMBER(trait, name)
-

Description

+

Description

trait = the name of the metafunction class within the tti namespace.
name = the name of the inner member.

returns = a metafunction class called "boost::tti::trait" where 'trait' is the macro parameter.
diff --git a/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_MEMBER_DATA.html b/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_MEMBER_DATA.html index 78d0401..4756d18 100644 --- a/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_MEMBER_DATA.html +++ b/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_MEMBER_DATA.html @@ -26,7 +26,7 @@ BOOST_TTI_MTFC_TRAIT_HAS_MEMBER_DATA(trait, name)

-

Description

+

Description

trait = the name of the metafunction class within the tti namespace.
name = the name of the inner member.

returns = a metafunction class called "boost::tti::trait" where 'trait' is the macro parameter.
diff --git a/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_MEMBER_FUNCTION.html b/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_MEMBER_FUNCTION.html index df3fcde..6f0f3f3 100644 --- a/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_MEMBER_FUNCTION.html +++ b/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_MEMBER_FUNCTION.html @@ -26,7 +26,7 @@ BOOST_TTI_MTFC_TRAIT_HAS_MEMBER_FUNCTION(trait, name)

-

Description

+

Description

trait = the name of the metafunction class within the tti namespace.
name = the name of the inner member.

returns = a metafunction class called "boost::tti::trait" where 'trait' is the macro parameter.
diff --git a/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_STATIC_MEMBER.html b/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_STATIC_MEMBER.html index 9e63ec7..96b2c36 100644 --- a/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_STATIC_MEMBER.html +++ b/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_STATIC_MEMBER.html @@ -26,7 +26,7 @@ BOOST_TTI_MTFC_TRAIT_HAS_STATIC_MEMBER(trait, name)

-

Description

+

Description

trait = the name of the metafunction class within the tti namespace.
name = the name of the inner member.

returns = a metafunction class called "boost::tti::trait" where 'trait' is the macro parameter.
diff --git a/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_STATIC_MEMBER_FUNCTION.html b/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_STATIC_MEMBER_FUNCTION.html index 80cf394..a6b4e99 100644 --- a/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_STATIC_MEMBER_FUNCTION.html +++ b/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_STATIC_MEMBER_FUNCTION.html @@ -26,7 +26,7 @@ BOOST_TTI_MTFC_TRAIT_HAS_STATIC_MEMBER_FUNCTION(trait, name)

-

Description

+

Description

trait = the name of the metafunction class within the tti namespace.
name = the name of the inner member.

returns = a metafunction class called "boost::tti::trait" where 'trait' is the macro parameter.
diff --git a/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_TEMPLATE.html b/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_TEMPLATE.html index 8b436dc..0691493 100644 --- a/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_TEMPLATE.html +++ b/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_TEMPLATE.html @@ -26,7 +26,7 @@ BOOST_TTI_MTFC_TRAIT_HAS_TEMPLATE(trait, name)

-

Description

+

Description

trait = the name of the metafunction class within the tti namespace.
name = the name of the inner template.

returns = a metafunction class called "boost::tti::trait" where 'trait' is the macro parameter.

diff --git a/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_TEMPLATE_CHECK_PARAMS.html b/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_TEMPLATE_CHECK_PARAMS.html index 0233dbe..094c1ce 100644 --- a/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_TEMPLATE_CHECK_PARAMS.html +++ b/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_TEMPLATE_CHECK_PARAMS.html @@ -26,7 +26,7 @@ BOOST_TTI_MTFC_TRAIT_HAS_TEMPLATE_CHECK_PARAMS(trait, name, tpSeq)
-

Description

+

Description

trait = the name of the metafunction class within the tti namespace.
name = the name of the inner class template.
tpSeq = a Boost PP sequence which has the class template parameters. Each part of the template parameters separated by a comma ( , ) is put in a separate sequence element.
diff --git a/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_TYPE.html b/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_TYPE.html index 4c7bd50..57845fc 100644 --- a/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_TYPE.html +++ b/doc/html/BOOST_TTI_MTFC_TRAIT_HAS_TYPE.html @@ -26,7 +26,7 @@ BOOST_TTI_MTFC_TRAIT_HAS_TYPE(trait, name)

-

Description

+

Description

trait = the name of the metafunction class within the tti namespace.
name = the name of the inner type.

returns = a metfunction class called "boost::tti::trait" where 'trait' is the macro parameter.

diff --git a/doc/html/BOOST_TTI_MTFC_TRAIT_MEMBER_TYPE.html b/doc/html/BOOST_TTI_MTFC_TRAIT_MEMBER_TYPE.html index 3b22500..76ae1d8 100644 --- a/doc/html/BOOST_TTI_MTFC_TRAIT_MEMBER_TYPE.html +++ b/doc/html/BOOST_TTI_MTFC_TRAIT_MEMBER_TYPE.html @@ -26,7 +26,7 @@ BOOST_TTI_MTFC_TRAIT_MEMBER_TYPE(trait, name)
-

Description

+

Description

trait = the name of the metafunction class within the tti namespace.
name = the name of the inner type.

returns = a metafunction class called "boost::tti::trait" where 'trait' is the macro parameter.

diff --git a/doc/html/BOOST_TTI_TRAIT_HAS_MEMBER.html b/doc/html/BOOST_TTI_TRAIT_HAS_MEMBER.html index e150fe3..b1a1fd7 100644 --- a/doc/html/BOOST_TTI_TRAIT_HAS_MEMBER.html +++ b/doc/html/BOOST_TTI_TRAIT_HAS_MEMBER.html @@ -26,7 +26,7 @@ BOOST_TTI_TRAIT_HAS_MEMBER(trait, name)
-

Description

+

Description

trait = the name of the metafunction within the tti namespace.
name = the name of the inner member.

returns = a metafunction called "boost::tti::trait" where 'trait' is the macro parameter.
diff --git a/doc/html/BOOST_TTI_TRAIT_HAS_MEMBER_DATA.html b/doc/html/BOOST_TTI_TRAIT_HAS_MEMBER_DATA.html index 02d1f45..9ecd6ae 100644 --- a/doc/html/BOOST_TTI_TRAIT_HAS_MEMBER_DATA.html +++ b/doc/html/BOOST_TTI_TRAIT_HAS_MEMBER_DATA.html @@ -26,7 +26,7 @@ BOOST_TTI_TRAIT_HAS_MEMBER_DATA(trait, name)

-

Description

+

Description

trait = the name of the metafunction within the tti namespace.
name = the name of the inner member.

returns = a metafunction called "boost::tti::trait" where 'trait' is the macro parameter.
diff --git a/doc/html/BOOST_TTI_TRAIT_HAS_MEMBER_FUNCTION.html b/doc/html/BOOST_TTI_TRAIT_HAS_MEMBER_FUNCTION.html index b7d6103..05e9bfe 100644 --- a/doc/html/BOOST_TTI_TRAIT_HAS_MEMBER_FUNCTION.html +++ b/doc/html/BOOST_TTI_TRAIT_HAS_MEMBER_FUNCTION.html @@ -26,7 +26,7 @@ BOOST_TTI_TRAIT_HAS_MEMBER_FUNCTION(trait, name)

-

Description

+

Description

trait = the name of the metafunction within the tti namespace.
name = the name of the inner member.

returns = a metafunction called "boost::tti::trait" where 'trait' is the macro parameter.
diff --git a/doc/html/BOOST_TTI_TRAIT_HAS_STATIC_MEMBER.html b/doc/html/BOOST_TTI_TRAIT_HAS_STATIC_MEMBER.html index d312c5c..b447a1b 100644 --- a/doc/html/BOOST_TTI_TRAIT_HAS_STATIC_MEMBER.html +++ b/doc/html/BOOST_TTI_TRAIT_HAS_STATIC_MEMBER.html @@ -26,7 +26,7 @@ BOOST_TTI_TRAIT_HAS_STATIC_MEMBER(trait, name)

-

Description

+

Description

trait = the name of the metafunction within the tti namespace.
name = the name of the inner member.

returns = a metafunction called "boost::tti::trait" where 'trait' is the macro parameter.
diff --git a/doc/html/BOOST_TTI_TRAIT_HAS_STATIC_MEMBER_FUNCTION.html b/doc/html/BOOST_TTI_TRAIT_HAS_STATIC_MEMBER_FUNCTION.html index 34d77a7..9eb6e5e 100644 --- a/doc/html/BOOST_TTI_TRAIT_HAS_STATIC_MEMBER_FUNCTION.html +++ b/doc/html/BOOST_TTI_TRAIT_HAS_STATIC_MEMBER_FUNCTION.html @@ -26,7 +26,7 @@ BOOST_TTI_TRAIT_HAS_STATIC_MEMBER_FUNCTION(trait, name)

-

Description

+

Description

trait = the name of the metafunction within the tti namespace.
name = the name of the inner member.

returns = a metafunction called "boost::tti::trait" where 'trait' is the macro parameter.
diff --git a/doc/html/BOOST_TTI_TRAIT_HAS_TEMPLATE.html b/doc/html/BOOST_TTI_TRAIT_HAS_TEMPLATE.html index 7412e37..e093565 100644 --- a/doc/html/BOOST_TTI_TRAIT_HAS_TEMPLATE.html +++ b/doc/html/BOOST_TTI_TRAIT_HAS_TEMPLATE.html @@ -26,7 +26,7 @@ BOOST_TTI_TRAIT_HAS_TEMPLATE(trait, name)

-

Description

+

Description

trait = the name of the metafunction within the tti namespace.
name = the name of the inner template.

returns = a metafunction called "boost::tti::trait" where 'trait' is the macro parameter.

diff --git a/doc/html/BOOST_TTI_TRAIT_HAS_TEMPLATE_CHECK_PARAMS.html b/doc/html/BOOST_TTI_TRAIT_HAS_TEMPLATE_CHECK_PARAMS.html index cfa81b3..ca479ff 100644 --- a/doc/html/BOOST_TTI_TRAIT_HAS_TEMPLATE_CHECK_PARAMS.html +++ b/doc/html/BOOST_TTI_TRAIT_HAS_TEMPLATE_CHECK_PARAMS.html @@ -26,7 +26,7 @@ BOOST_TTI_TRAIT_HAS_TEMPLATE_CHECK_PARAMS(trait, name, tpSeq)
-

Description

+

Description

trait = the name of the metafunction within the tti namespace.
name = the name of the inner class template.
tpSeq = a Boost PP sequence which has the class template parameters. Each part of the template parameters separated by a comma ( , ) is put in a separate sequence element.
diff --git a/doc/html/BOOST_TTI_TRAIT_HAS_TYPE.html b/doc/html/BOOST_TTI_TRAIT_HAS_TYPE.html index 319e5b8..50a1f12 100644 --- a/doc/html/BOOST_TTI_TRAIT_HAS_TYPE.html +++ b/doc/html/BOOST_TTI_TRAIT_HAS_TYPE.html @@ -26,7 +26,7 @@ BOOST_TTI_TRAIT_HAS_TYPE(trait, name)

-

Description

+

Description

trait = the name of the metafunction within the tti namespace.
name = the name of the inner type.

returns = a metafunction called "boost::tti::trait" where 'trait' is the macro parameter.

diff --git a/doc/html/BOOST_TTI_TRAIT_MEMBER_TYPE.html b/doc/html/BOOST_TTI_TRAIT_MEMBER_TYPE.html index 6b2e0aa..94d82bb 100644 --- a/doc/html/BOOST_TTI_TRAIT_MEMBER_TYPE.html +++ b/doc/html/BOOST_TTI_TRAIT_MEMBER_TYPE.html @@ -26,7 +26,7 @@ BOOST_TTI_TRAIT_MEMBER_TYPE(trait, name)
-

Description

+

Description

trait = the name of the metafunction within the tti namespace.
name = the name of the inner type.

returns = a metafunction called "boost::tti::trait" where 'trait' is the macro parameter.

diff --git a/doc/html/BOOST_TTI_VM_HAS_TEMPLATE_CHECK_PARAMS.html b/doc/html/BOOST_TTI_VM_HAS_TEMPLATE_CHECK_PARAMS.html index 7bd4cd4..0782b34 100644 --- a/doc/html/BOOST_TTI_VM_HAS_TEMPLATE_CHECK_PARAMS.html +++ b/doc/html/BOOST_TTI_VM_HAS_TEMPLATE_CHECK_PARAMS.html @@ -26,7 +26,7 @@ BOOST_TTI_VM_HAS_TEMPLATE_CHECK_PARAMS(name, ...)
-

Description

+

Description

name = the name of the inner class template.
... = variadic macro data which has the class template parameters.

returns = a metafunction called "boost::tti::has_template_check_params_name" where 'name' is the macro parameter.

diff --git a/doc/html/BOOST_TTI_VM_MTFC_HAS_TEMPLATE_CHECK_PARAMS.html b/doc/html/BOOST_TTI_VM_MTFC_HAS_TEMPLATE_CHECK_PARAMS.html index 221c17e..5a52028 100644 --- a/doc/html/BOOST_TTI_VM_MTFC_HAS_TEMPLATE_CHECK_PARAMS.html +++ b/doc/html/BOOST_TTI_VM_MTFC_HAS_TEMPLATE_CHECK_PARAMS.html @@ -26,7 +26,7 @@ BOOST_TTI_VM_MTFC_HAS_TEMPLATE_CHECK_PARAMS(name, ...)
-

Description

+

Description

name = the name of the inner class template.
... = variadic macro data which has the class template parameters.

returns = a metafunction class called "boost::tti::mtfc_has_template_check_params_name" where 'name' is the macro parameter.

diff --git a/doc/html/BOOST_TTI_VM_MTFC_TRAIT_HAS_TEMPLATE_CHECK_PARAMS.html b/doc/html/BOOST_TTI_VM_MTFC_TRAIT_HAS_TEMPLATE_CHECK_PARAMS.html index ee75af7..56d3ca0 100644 --- a/doc/html/BOOST_TTI_VM_MTFC_TRAIT_HAS_TEMPLATE_CHECK_PARAMS.html +++ b/doc/html/BOOST_TTI_VM_MTFC_TRAIT_HAS_TEMPLATE_CHECK_PARAMS.html @@ -26,7 +26,7 @@ BOOST_TTI_VM_MTFC_TRAIT_HAS_TEMPLATE_CHECK_PARAMS(trait, name, ...)
-

Description

+

Description

trait = the name of the metafunction class within the tti namespace.
name = the name of the inner class template.
... = variadic macro data which has the class template parameters.

diff --git a/doc/html/BOOST_TTI_VM_TRAIT_HAS_TEMPLATE_CHECK_PARAMS.html b/doc/html/BOOST_TTI_VM_TRAIT_HAS_TEMPLATE_CHECK_PARAMS.html index 75e7c0a..6e469f6 100644 --- a/doc/html/BOOST_TTI_VM_TRAIT_HAS_TEMPLATE_CHECK_PARAMS.html +++ b/doc/html/BOOST_TTI_VM_TRAIT_HAS_TEMPLATE_CHECK_PARAMS.html @@ -26,7 +26,7 @@ BOOST_TTI_VM_TRAIT_HAS_TEMPLATE_CHECK_PARAMS(trait, name, ...)
-

Description

+

Description

trait = the name of the metafunction within the tti namespace.
name = the name of the inner class template.
... = variadic macro data which has the class template parameters.

diff --git a/doc/html/boost/tti/mf_has_member_data.html b/doc/html/boost/tti/mf_has_member_data.html index f488771..d5838f9 100644 --- a/doc/html/boost/tti/mf_has_member_data.html +++ b/doc/html/boost/tti/mf_has_member_data.html @@ -7,13 +7,13 @@ - +
-PrevUpHomeNext +PrevUpHomeNext
@@ -28,7 +28,7 @@ struct mf_has_member_data { };
-

Description

+

Description

This metafunction takes its specific types as nullary metafunctions whose typedef 'type' member is the actual type used.

The metafunction types and return:

HasMemberData = a Boost MPL lambda expression using the metafunction generated from the TTI_HAS_MEMBER_DATA ( or TTI_TRAIT_HAS_MEMBER_DATA ) macro.
@@ -44,7 +44,7 @@

-PrevUpHomeNext +PrevUpHomeNext
diff --git a/doc/html/boost/tti/mf_has_member_function.html b/doc/html/boost/tti/mf_has_member_function.html index 973c891..f50825e 100644 --- a/doc/html/boost/tti/mf_has_member_function.html +++ b/doc/html/boost/tti/mf_has_member_function.html @@ -30,7 +30,7 @@ struct mf_has_member_function { };
-

Description

+

Description

This metafunction takes its specific types, except for the optional parameters, as nullary metafunctions whose typedef 'type' member is the actual type used.

The metafunction types and return:

HasMemberFunction = a Boost MPL lambda expression using the metafunction generated from the TTI_HAS_MEMBER_FUNCTION ( or TTI_TRAIT_HAS_MEMBER_FUNCTION ) macro.
diff --git a/doc/html/boost/tti/mf_has_static_data.html b/doc/html/boost/tti/mf_has_static_data.html index 2f9f15c..cefc2e3 100644 --- a/doc/html/boost/tti/mf_has_static_data.html +++ b/doc/html/boost/tti/mf_has_static_data.html @@ -6,14 +6,14 @@ - +

-PrevUpHomeNext +PrevUpHomeNext
@@ -28,7 +28,7 @@ struct mf_has_static_data { };
-

Description

+

Description

This metafunction takes its specific types as nullary metafunctions whose typedef 'type' member is the actual type used.

The metafunction types and return:

HasStaticMember = a Boost MPL lambda expression using the metafunction generated from the TTI_HAS_STATIC_MEMBER ( or TTI_TRAIT_HAS_STATIC_MEMBER ) macro.
@@ -44,7 +44,7 @@

-PrevUpHomeNext +PrevUpHomeNext
diff --git a/doc/html/boost/tti/mf_has_static_member_fu_id407456.html b/doc/html/boost/tti/mf_has_static_member_fu_id407456.html new file mode 100644 index 0000000..b210ba9 --- /dev/null +++ b/doc/html/boost/tti/mf_has_static_member_fu_id407456.html @@ -0,0 +1,54 @@ + + + +Struct template mf_has_static_member_function + + + + + + + + +
+
+
+PrevUpHomeNext +
+
+
+
+

Struct template mf_has_static_member_function

+

boost::tti::mf_has_static_member_function — A metafunction which checks whether a static member function exists within an enclosing type.

+
+

Synopsis

+
// In header: <boost/tti/tti.hpp>
+
+template<typename HasStaticMemberFunction, typename T, typename R, 
+         typename FS = boost::mpl::vector<>, 
+         typename TAG = boost::function_types::null_tag> 
+struct mf_has_static_member_function {
+};
+
+

Description

+

This metafunction takes its specific types, except for the optional parameters, as nullary metafunctions whose typedef 'type' member is the actual type used.

+

The metafunction types and return:

+

HasStaticMemberFunction = a Boost MPL lambda expression using the metafunction generated from the TTI_HAS_STATIC_MEMBER_FUNCTION ( or TTI_TRAIT_HAS_STATIC_MEMBER_FUNCTION ) macro.
+ The easiest way to generate the lambda expression is to use a Boost MPL placeholder expression of the form 'metafunction<_,_> ( or optionally 'metafunction<_,_,_> or ' 'metafunction<_,_,_,_> )'. You can also use the metafunction class generated by the TTI_MTFC_HAS_STATIC_MEMBER_FUNCTION ( or TTI_MTFC_TRAIT_HAS_STATIC_MEMBER_FUNCTION ) macro.
+ T = the enclosing type as a nullary metafunction.
+ R = the return type of the static member function as a nullary metafunction.
+ FS = an optional parameter which is the parameters of the static member function, each as a nullary metafunction, as a boost::mpl forward sequence.
+ TAG = an optional parameter which is a boost::function_types tag to apply to the static member function.

+

returns = 'value' is true if the member function exists within the enclosing type, otherwise 'value' is false.

+
+
+ + + +
Copyright © 2010 Tropic Software East Inc
+
+
+PrevUpHomeNext +
+ + diff --git a/doc/html/boost/tti/mf_has_template.html b/doc/html/boost/tti/mf_has_template.html index 58be180..bbaec4e 100644 --- a/doc/html/boost/tti/mf_has_template.html +++ b/doc/html/boost/tti/mf_has_template.html @@ -28,7 +28,7 @@ struct mf_has_template { };
-

Description

+

Description

This metafunction takes its enclosing type as nullary metafunctions whose typedef 'type' member is the actual type used.

The metafunction types and return:

HasTemplate = a Boost MPL lambda expression using the metafunction generated from the TTI_HAS_TEMPLATE ( TTI_TRAIT_HAS_TEMPLATE ) macro.
diff --git a/doc/html/boost/tti/mf_has_template_check_p_id407179.html b/doc/html/boost/tti/mf_has_template_check_p_id407179.html new file mode 100644 index 0000000..3434375 --- /dev/null +++ b/doc/html/boost/tti/mf_has_template_check_p_id407179.html @@ -0,0 +1,49 @@ + + + +Struct template mf_has_template_check_params + + + + + + + + +
+

+
+PrevUpHomeNext +
+
+
+
+

Struct template mf_has_template_check_params

+

boost::tti::mf_has_template_check_params — A metafunction which checks whether a class template with its parameters exists within an enclosing type.

+
+

Synopsis

+
// In header: <boost/tti/mf_template_params.hpp>
+
+template<typename HasTemplateCheckParams, typename T> 
+struct mf_has_template_check_params {
+};
+
+

Description

+

This metafunction takes its enclosing type as nullary metafunctions whose typedef 'type' member is the actual type used.

+

The metafunction types and return:

+

HasTemplateCheckParams = a Boost MPL lambda expression using the metafunction generated from either the TTI_HAS_TEMPLATE_CHECK_PARAMS ( TTI_TRAIT_HAS_TEMPLATE_CHECK_PARAMS ) or TTI_VM_HAS_TEMPLATE_CHECK_PARAMS ( TTI_VM_TRAIT_HAS_TEMPLATE_CHECK_PARAMS ) macros.
+ The easiest way to generate the lambda expression is to use a Boost MPL placeholder expression of the form 'metafunction<_>'. You can also use the metafunction class generated by either the TTI_MTFC_HAS_TEMPLATE_CHECK_PARAMS ( TTI_MTFC_TRAIT_HAS_TEMPLATE_CHECK_PARAMS ) macro or the TTI_VM_MTFC_HAS_TEMPLATE_CHECK_PARAMS ( TTI_VM_MTFC_TRAIT_HAS_TEMPLATE_CHECK_PARAMS ) macro.
+ T = The enclosing type as a nullary metafunction.

+

returns = 'value' is true if the template exists within the enclosing type, otherwise 'value' is false.

+
+
+ + + +
Copyright © 2010 Tropic Software East Inc
+
+
+PrevUpHomeNext +
+ + diff --git a/doc/html/boost/tti/mf_has_type.html b/doc/html/boost/tti/mf_has_type.html index 83ae2dd..48c4e45 100644 --- a/doc/html/boost/tti/mf_has_type.html +++ b/doc/html/boost/tti/mf_has_type.html @@ -29,7 +29,7 @@ struct mf_has_type { };
-

Description

+

Description

This metafunction takes its specific types as nullary metafunctions whose typedef 'type' member is the actual type used.

The metafunction types and return:

HasType = a Boost MPL lambda expression using the metafunction generated from the TTI_HAS_TYPE ( or TTI_TRAIT_HAS_TYPE ) macro.
diff --git a/doc/html/boost/tti/mf_member_type.html b/doc/html/boost/tti/mf_member_type.html index 42fa981..9e78545 100644 --- a/doc/html/boost/tti/mf_member_type.html +++ b/doc/html/boost/tti/mf_member_type.html @@ -28,7 +28,7 @@ struct mf_member_type { };

-

Description

+

Description

This metafunction takes its enclosing type as nullary metafunctions whose typedef 'type' member is the actual type used.

The metafunction types and return:

MemberType = a Boost MPL lambda expression using the metafunction generated from the TTI_MEMBER_TYPE ( or TTI_TRAIT_MEMBER_TYPE ) macro.
diff --git a/doc/html/boost/tti/mf_valid_member_type.html b/doc/html/boost/tti/mf_valid_member_type.html index 242f31f..1984945 100644 --- a/doc/html/boost/tti/mf_valid_member_type.html +++ b/doc/html/boost/tti/mf_valid_member_type.html @@ -28,7 +28,7 @@ struct mf_valid_member_type { };

-

Description

+

Description

The metafunction types and return:

T = the nullary metafunction from invoking the macro metafunction generated by TTI_MEMBER_TYPE ( TTI_TRAIT_MEMBER_TYPE ) or from invoking boost::tti::mf_member_type.

returns = 'value' is true if the type is valid, otherwise 'value' is false.

diff --git a/doc/html/boost/tti/valid_member_type.html b/doc/html/boost/tti/valid_member_type.html index eb119f8..e636cbf 100644 --- a/doc/html/boost/tti/valid_member_type.html +++ b/doc/html/boost/tti/valid_member_type.html @@ -28,7 +28,7 @@ struct valid_member_type { };
-

Description

+

Description

The metafunction types and return:

T = returned inner 'type' from invoking the macro metafunction generated by TTI_MEMBER_TYPE ( TTI_TRAIT_MEMBER_TYPE ) or from invoking boost::tti::mf_member_type.

returns = 'value' is true if the type is valid, otherwise 'value' is false.

diff --git a/doc/html/header/boost/tti/tti_hpp.html b/doc/html/header/boost/tti/tti_hpp.html index 36fdfc4..1f4e713 100644 --- a/doc/html/header/boost/tti/tti_hpp.html +++ b/doc/html/header/boost/tti/tti_hpp.html @@ -6,14 +6,14 @@ - +
-PrevUpHomeNext +PrevUpHomeNext

@@ -74,7 +74,7 @@ template<typename HasStaticMemberFunction, typename T, typename R, typename FS = boost::mpl::vector<>, typename TAG = boost::function_types::null_tag> - struct mf_has_static_member_function; + struct mf_has_static_member_function; template<typename HasStaticMember, typename T, typename R> struct mf_has_static_data; } @@ -86,7 +86,7 @@
-PrevUpHomeNext +PrevUpHomeNext
diff --git a/doc/html/index.html b/doc/html/index.html index 8b8940f..f2fe198 100644 --- a/doc/html/index.html +++ b/doc/html/index.html @@ -63,7 +63,7 @@ Introduction

- Welcome to the Type Traits Introspection library version 1.2 . + Welcome to the Type Traits Introspection library version 1.3.

The Type Traits Introspection library, or TTI for short, is a library of macros @@ -154,7 +154,7 @@

- +

Last revised: February 13, 2011 at 15:28:55 GMT

Last revised: February 13, 2011 at 19:22:31 GMT
diff --git a/doc/html/index/s16.html b/doc/html/index/s16.html index 7892403..02e693f 100644 --- a/doc/html/index/s16.html +++ b/doc/html/index/s16.html @@ -16,7 +16,7 @@

-Index

+Index

B G H M N U V

@@ -284,7 +284,7 @@
Header < boost/tti/mf_template_params.hpp >
-

mf_has_template_check_params

+

mf_has_template_check_params

Header < boost/tti/tti.hpp >
@@ -326,7 +326,7 @@ - + @@ -412,11 +412,11 @@
mf_has_static_data

BOOST_TTI_HAS_MEMBER

mf_has_member_data

mf_has_member_function

mf_has_static_data

mf_has_static_member_function

mf_has_static_member_function

mf_has_template

mf_has_type

mf_member_type

Header < boost/tti/tti.hpp >

mf_has_static_member_function
-

Header < boost/tti/tti.hpp >

+

Header < boost/tti/tti.hpp >

mf_has_template

Header < boost/tti/tti.hpp >

mf_has_template_check_params
-

Header < boost/tti/mf_template_params.hpp >

+

Header < boost/tti/mf_template_params.hpp >

mf_has_type

Header < boost/tti/tti.hpp >

mf_member_type
diff --git a/doc/html/the_type_traits_introspection_library/tti_detail.html b/doc/html/the_type_traits_introspection_library/tti_detail.html index a37b6e1..7d25f89 100644 --- a/doc/html/the_type_traits_introspection_library/tti_detail.html +++ b/doc/html/the_type_traits_introspection_library/tti_detail.html @@ -146,7 +146,7 @@

- BOOST_TTI_HAS_TEMPLATE_CHECK_PARAMS(name,ppSeq[a]) + BOOST_TTI_HAS_TEMPLATE_CHECK_PARAMS(name,ppSeq[a])

@@ -161,12 +161,12 @@

- Class Template with params using variadic macros[b] + Class Template with params using variadic macros[b]

- BOOST_TTI_VM_HAS_TEMPLATE_CHECK_PARAMS(name,...[c]) + BOOST_TTI_VM_HAS_TEMPLATE_CHECK_PARAMS(name,...[c])

@@ -324,14 +324,14 @@ -

[a] +

[a] A Boost PP data sequence with each comma separated portion of the template parameters as its own sequence element.

-

[b] +

[b] Header file is tti_vm.hpp.

-

[c] +

[c] The template parameters as variadic data.

diff --git a/doc/html/the_type_traits_introspection_library/tti_history.html b/doc/html/the_type_traits_introspection_library/tti_history.html index c6d2d01..a1e8da5 100644 --- a/doc/html/the_type_traits_introspection_library/tti_history.html +++ b/doc/html/the_type_traits_introspection_library/tti_history.html @@ -20,7 +20,7 @@ History

- + Version 1.3

@@ -55,7 +55,7 @@

- + Version 1.2

@@ -65,7 +65,7 @@ using placeholder expressions.

- + Version 1.1

@@ -152,7 +152,7 @@

- + Version 1.0

diff --git a/doc/html/the_type_traits_introspection_library/tti_metafunctions.html b/doc/html/the_type_traits_introspection_library/tti_metafunctions.html index c3131ec..91dd2bc 100644 --- a/doc/html/the_type_traits_introspection_library/tti_metafunctions.html +++ b/doc/html/the_type_traits_introspection_library/tti_metafunctions.html @@ -225,7 +225,7 @@

- boost::tti::mf_has_template_check_params + boost::tti::mf_has_template_check_params

@@ -346,7 +346,7 @@

- boost::tti::mf_has_static_member_function + boost::tti::mf_has_static_member_function

@@ -387,7 +387,7 @@ specify nested types in those signatures without using the T::InnerType notation.

- + Nullary type metafunction member_type equivalent

diff --git a/doc/html/the_type_traits_introspection_library/tti_nested_type.html b/doc/html/the_type_traits_introspection_library/tti_nested_type.html index ec96c3d..dba2e8b 100644 --- a/doc/html/the_type_traits_introspection_library/tti_nested_type.html +++ b/doc/html/the_type_traits_introspection_library/tti_nested_type.html @@ -21,7 +21,7 @@ Types

- + The problem

@@ -74,7 +74,7 @@ code which we want.

- + The solution

@@ -237,7 +237,7 @@ if necessary, for one of the individual types is easy.

- + A more elegant solution

diff --git a/doc/html/the_type_traits_introspection_library/tti_usingMM.html b/doc/html/the_type_traits_introspection_library/tti_usingMM.html index 92e2e9c..b9484d7 100644 --- a/doc/html/the_type_traits_introspection_library/tti_usingMM.html +++ b/doc/html/the_type_traits_introspection_library/tti_usingMM.html @@ -89,7 +89,7 @@ below the same macro is invoked just once to avoid ODR violations.

- + Type

@@ -113,7 +113,7 @@ >

- + Type checking the typedef

@@ -127,7 +127,7 @@ >

- + Template

@@ -142,7 +142,7 @@ >

- + Template with params

@@ -158,7 +158,7 @@ >

- + Template with params using variadic macros

@@ -183,7 +183,7 @@ >

- + Member data with composite type

@@ -198,7 +198,7 @@ >

- + Member data with individual types

@@ -214,7 +214,7 @@ >

- + Member function with composite type

@@ -230,7 +230,7 @@ >

- + Member function with individual types

@@ -248,7 +248,7 @@ >

- + Static member data

@@ -264,7 +264,7 @@ >

- + Static member function with composite type

@@ -281,7 +281,7 @@ >

- + Static member function with individual types

@@ -299,7 +299,7 @@ >

- + Member type

@@ -321,7 +321,7 @@ >::type

- + Member type existence

diff --git a/doc/html/the_type_traits_introspection_library/tti_usingNTM.html b/doc/html/the_type_traits_introspection_library/tti_usingNTM.html index dda5441..ab0e689 100644 --- a/doc/html/the_type_traits_introspection_library/tti_usingNTM.html +++ b/doc/html/the_type_traits_introspection_library/tti_usingNTM.html @@ -115,7 +115,7 @@ with any lambda expression as the first template parameter.

- + Member type

@@ -157,7 +157,7 @@ We will use these typedefs in the ensuing examples.

- + Type

@@ -181,7 +181,7 @@ >

- + Type checking the typedef

@@ -199,7 +199,7 @@ >

- + Template

@@ -215,7 +215,7 @@ >

- + Template with params

@@ -232,7 +232,7 @@ >

- + Template with params using variadic macros

@@ -258,7 +258,7 @@ >

- + Member data

@@ -275,7 +275,7 @@ >

- + Member function

@@ -295,7 +295,7 @@ >

- + Static member data

@@ -313,7 +313,7 @@ >

- + Static member function

diff --git a/doc/html/typetraitsintrospection_reference.html b/doc/html/typetraitsintrospection_reference.html index 0a1112f..914a151 100644 --- a/doc/html/typetraitsintrospection_reference.html +++ b/doc/html/typetraitsintrospection_reference.html @@ -7,13 +7,13 @@ - +
-PrevUpHomeNext +PrevUpHomeNext

@@ -32,7 +32,7 @@ 
namespace boost {
   namespace tti {
     template<typename HasTemplateCheckParams, typename T> 
-      struct mf_has_template_check_params;
+      struct mf_has_template_check_params;
   }
 }

@@ -43,7 +43,7 @@
-PrevUpHomeNext +PrevUpHomeNext