[Boost-commit] svn:boost r84378 - in branches/release: boost/tti libs/tti libs/tti/doc

Subject: [Boost-commit] svn:boost r84378 - in branches/release: boost/tti libs/tti libs/tti/doc
From: eldiener_at_[hidden]
Date: 2013-05-19 16:03:26

Author: eldiener
Date: 2013-05-19 16:03:25 EDT (Sun, 19 May 2013)
New Revision: 84378
URL: http://svn.boost.org/trac/boost/changeset/84378

Log:
Moved TTI library to release.
Added:
   branches/release/boost/tti/
      - copied from r84354, /trunk/boost/tti/
   branches/release/boost/tti/has_template.hpp
      - copied unchanged from r84362, /trunk/boost/tti/has_template.hpp
   branches/release/libs/tti/
      - copied from r84354, /trunk/libs/tti/
   branches/release/libs/tti/doc/tti_detail_has_member_data.qbk
      - copied unchanged from r84362, /trunk/libs/tti/doc/tti_detail_has_member_data.qbk
   branches/release/libs/tti/doc/tti_functionality.qbk
      - copied unchanged from r84362, /trunk/libs/tti/doc/tti_functionality.qbk
   branches/release/libs/tti/doc/tti_nested_type.qbk
      - copied unchanged from r84362, /trunk/libs/tti/doc/tti_nested_type.qbk
Removed:
   branches/release/libs/tti/doc/tti_detail_has_template_check_params.qbk

Deleted: /trunk/libs/tti/doc/tti_detail_has_template_check_params.qbk
==============================================================================
--- /trunk/libs/tti/doc/tti_detail_has_template_check_params.qbk	2013-05-19 16:03:25 EDT (Sun, 19 May 2013)
+++ (empty file)
@@ -1,175 +0,0 @@
-[/ 
-  (C) Copyright Edward Diener 2011
-  Use, modification and distribution are subject to the Boost Software License,
-  Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
-  http://www.boost.org/LICENSE_1_0.txt).
-]
-
-[section:tti_detail_has_template_check_params Introspecting an inner class template with specific parameters]
-
-The TTI macro [macroref BOOST_TTI_HAS_TEMPLATE], 
-besides being used to introspect an inner class template
-with all class ( or typename ) template parameters,
-can also be used to introspect an inner class template 
-with specific template parameters.
-
-BOOST_TTI_HAS_TEMPLATE_CHECK_PARAMS takes 
-two macro parameters. The first is the name of an inner class template 
-whose existence the programmer wants to check. The second is a Boost PP
-sequence which specifies the template parameters of the inner class 
-template to check. The macro generates a metafunction called 
-'has_template_check_params_'name_of_inner_class_template'.
-
-The metafunction can be invoked by passing it the enclosing type to 
-introspect.
-
-The metafunction returns a single type called 'type', which is a 
-boost::mpl::bool_. As a convenience the metafunction returns the 
-value of this type directly as a compile time bool constant 
-called 'value'. This is true or false depending on whether the inner 
-class template, with the template parameters specified, exists or not.
-
-[heading Generating the metafunction]
-
-You generate the metafunction by invoking the macro with the name 
-of an inner class template, as well as its template parameters as 
-a Boost PP sequence:
-
-  BOOST_TTI_HAS_TEMPLATE_CHECK_PARAMS(AType,(class X)(int Y))
-  
-generates a metafunction called 'has_template_check_params_AType' in the current scope.
-
-[heading Invoking the metafunction]
-
-You invoke the metafunction by instantiating the template with an enclosing 
-type to introspect. A return value called 'value' is a compile time bool constant.
-
-  has_template_check_params_AType<Enclosing_Type>::value
-  
-[heading Examples]
-
-First we generate metafunctions for various inner class template names
-and corresponding template parameters:
-
- #include <boost/tti/has_template_check_params.hpp>
- 
- BOOST_TTI_HAS_TEMPLATE_CHECK_PARAMS(Template1,(class X)(int Y))
- BOOST_TTI_HAS_TEMPLATE_CHECK_PARAMS(Template2,(typename A)(template<class)(class> struct B)(long C))
- BOOST_TTI_HAS_TEMPLATE_CHECK_PARAMS(Template3,(double X)(typename Y))
- BOOST_TTI_HAS_TEMPLATE_CHECK_PARAMS(Template4,(typename A)(class B)(typename C)(class D)(typename E)(short F))
- 
-Next let us create some user-defined types we want to introspect. 
-
- struct Top
-   {
-   template <class X,int Y> struct Template1 { };
-   template <typename A,template<class,class> struct B,long C> class Template2 { };
-   };
- struct Top2
-   {
-   template <double X,typename Y> struct Template3 { };
-   template <typename A,class B,typename C,class D,typename E,short F> class Template4 { };
-   };
-   
-Finally we invoke our metafunction and return our value.
-This all happens at compile time, and can be used by 
-programmers doing compile time template metaprogramming.
-  
- has_template_check_params_Template1<Top>::value; // true
- has_template_check_params_Template1<Top2>::value; // false
- 
- has_template_check_params_Template2<Top>::value; // true
- has_template_check_params_Template2<Top2>::value; // false
- 
- has_template_check_params_Template3<Top>::value; // false
- has_template_check_params_Template3<Top2>::value; // true
- 
- has_template_check_params_Template4<Top>::value; // false
- has_template_check_params_Template4<Top2>::value; // true
-  
-It should be noticed that once we create our metafunction for 
-introspecting an inner class template by name, with its corresponding
-template parameters, we can reuse the metafunction for introspecting 
-any enclosing user-defined type for that same inner class template name, 
-with its corresponding template parameters.
-
-[heading Alternate form when variadic macros are supported]
-
-An alternate form of the macro, which uses a variadic macro for 
-compilers which support them, is called 
-[macroref BOOST_TTI_VM_HAS_TEMPLATE_CHECK_PARAMS]. In this form
-the first parameter is still the name of an inner class template 
-whose existence the programmer wants to check. Subsequent parameters
-are the the template parameters of the inner class template to check,
-each as an individual macro parameter. The macro generates a 
-metafunction with the same name as the non-variadic macro form, 
-namely 'has_template_check_params_'name_of_inner_class_template'.
-
-In all other respects the metafunction works exactly the same
-as the one that is generated from BOOST_TTI_HAS_TEMPLATE_CHECK_PARAMS.
-
-[heading Generating the metafunction from the variadic macro]
-
-You generate the metafunction by invoking the macro with the name 
-of an inner class template, as well as its template parameters as 
-a Boost PP sequence:
-
-  BOOST_TTI_VM_HAS_TEMPLATE_CHECK_PARAMS(AType,class X,int Y)
-  
-generates a metafunction called 'has_template_check_params_AType' in the current scope.
-
-[heading Invoking the metafunction created by the variadic macro]
-
-You invoke the metafunction by instantiating the template with an enclosing 
-type to introspect. A return value called 'value' is a compile time bool constant.
-
-  has_template_check_params_AType<Enclosing_Type>::value
-  
-[heading Examples of the variadic macro form]
-
-First we generate metafunctions for various inner class template names
-and corresponding template parameters:
-
- #include <boost/tti/vm_has_template_check_params.hpp>
- 
- BOOST_TTI_VM_HAS_TEMPLATE_CHECK_PARAMS(Template1,class X,int Y)
- BOOST_TTI_VM_HAS_TEMPLATE_CHECK_PARAMS(Template2,typename A,template<class,class> struct B,long C)
- BOOST_TTI_VM_HAS_TEMPLATE_CHECK_PARAMS(Template3,double X,typename Y)
- BOOST_TTI_VM_HAS_TEMPLATE_CHECK_PARAMS(Template4,typename A,class B,typename C,class D,typename E,short F)
- 
-Next let us create some user-defined types we want to introspect. 
-
- struct Top
-   {
-   template <class X,int Y> struct Template1 { };
-   template <typename A,template<class,class> struct B,long C> class Template2 { };
-   };
- struct Top2
-   {
-   template <double X,typename Y> struct Template3 { };
-   template <typename A,class B,typename C,class D,typename E,short F> class Template4 { };
-   };
-   
-Finally we invoke our metafunction and return our value.
-This all happens at compile time, and can be used by 
-programmers doing compile time template metaprogramming.
-  
- has_template_check_params_Template1<Top>::value; // true
- has_template_check_params_Template1<Top2>::value; // false
- 
- has_template_check_params_Template2<Top>::value; // true
- has_template_check_params_Template2<Top2>::value; // false
- 
- has_template_check_params_Template3<Top>::value; // false
- has_template_check_params_Template3<Top2>::value; // true
- 
- has_template_check_params_Template4<Top>::value; // false
- has_template_check_params_Template4<Top2>::value; // true
-  
-Just as before it should be noticed that once we create our metafunction for 
-introspecting an inner class template by name, with its corresponding
-template parameters, we can reuse the metafunction for introspecting 
-any enclosing user-defined type for that name, with its corresponding 
-template parameters.
-
-[endsect]