[Boost-commit] svn:boost r66915 - in sandbox/tti/boost/tti: . detail

Subject: [Boost-commit] svn:boost r66915 - in sandbox/tti/boost/tti: . detail
From: eldiener_at_[hidden]
Date: 2010-11-30 15:14:02

Author: eldiener
Date: 2010-11-30 15:14:02 EST (Tue, 30 Nov 2010)
New Revision: 66915
URL: http://svn.boost.org/trac/boost/changeset/66915

Log:
Added static member functionality
Text files modified: 
   sandbox/tti/boost/tti/TTIntrospection.hpp              |   175 +++++++++++++++++++++++++++++++++++++++ 
   sandbox/tti/boost/tti/detail/TTIntrospectionDetail.hpp |    43 +++++++--                               
   2 files changed, 206 insertions(+), 12 deletions(-)

Modified: sandbox/tti/boost/tti/TTIntrospection.hpp
==============================================================================
--- sandbox/tti/boost/tti/TTIntrospection.hpp	(original)
+++ sandbox/tti/boost/tti/TTIntrospection.hpp	2010-11-30 15:14:02 EST (Tue, 30 Nov 2010)
@@ -30,7 +30,7 @@
   template<class T> \
   struct trait \
     { \
-    typedef typename tti::detail::trait<T>::type type; \
+    typedef typename tti::detail::hastype::trait<T>::type type; \
     \
     BOOST_STATIC_CONSTANT(bool,value=type::value); \
     }; \
@@ -59,7 +59,7 @@
     typedef typename \
       boost::mpl::eval_if \
         < \
-        tti::detail::trait<T>, \
+        tti::detail::hastype::trait<T>, \
         tti::detail::membertype::trait<T>, \
         tti::detail::notype \
         >::type \
@@ -228,6 +228,68 @@
 /**/
 #endif
 
+#if defined(BOOST_NO_NULLPTR)
+#define TTI_TRAIT_HAS_MEMBER(trait,name) \
+namespace tti \
+  { \
+  template<class T> \
+  struct trait \
+    { \
+    template<class> \
+    struct class_of; \
+    \
+    template<class R,class C> \
+    struct class_of<R C::*> \
+      { \
+      typedef C type; \
+      }; \
+    \
+    template<class F> \
+    struct class_type \
+      { \
+      typedef typename \
+      boost::mpl::eval_if \
+        < \
+        boost::function_types::is_member_object_pointer<F>, \
+        class_of<F>, \
+        boost::remove_const \
+          < \
+          typename \
+          boost::mpl::at \
+            < \
+            typename \
+            boost::function_types::parameter_types \
+              < \
+              F, \
+              boost::mpl::quote1 \
+                < \
+                boost::mpl::identity \
+                > \
+              > \
+              ::type, \
+              boost::mpl::int_<0> \
+            >::type \
+          > \
+        >::type \
+      type; \
+      }; \
+    \
+    template<T> \
+    struct helper; \
+    \
+    template<class U> \
+    static ::boost::type_traits::yes_type check(helper<&U::name> *); \
+    \
+    template<class U> \
+    static ::boost::type_traits::no_type check(...); \
+    \
+    BOOST_STATIC_CONSTANT(bool,value=sizeof(check<typename class_type<T>::type>(0))==sizeof(::boost::type_traits::yes_type)); \
+    \
+    typedef trait type; \
+    }; \
+  } \
+/**/
+#else
 #define TTI_TRAIT_HAS_MEMBER(trait,name) \
 namespace tti \
   { \
@@ -288,7 +350,8 @@
     }; \
   } \
 /**/
-  
+#endif
+
 #define TTI_HAS_MEMBER(name) \
   TTI_TRAIT_HAS_MEMBER \
   ( \
@@ -297,8 +360,63 @@
   ) \
 /**/
 
+#if defined(BOOST_NO_NULLPTR)
+#define TTI_TRAIT_HAS_STATIC_MEMBER(trait,name) \
+namespace tti \
+  { \
+  template<class T,class Type> \
+  struct trait \
+    { \
+    template<Type *> \
+    struct helper; \
+    \
+    template<class U> \
+    static ::boost::type_traits::yes_type check(helper<&U::name> *); \
+    \
+    template<class U> \
+    static ::boost::type_traits::no_type check(...); \
+    \
+    BOOST_STATIC_CONSTANT(bool,value=sizeof(check<T>(0))==sizeof(::boost::type_traits::yes_type)); \
+    \
+    typedef trait type; \
+    }; \
+  } \
+/**/
+#else
+#define TTI_TRAIT_HAS_STATIC_MEMBER(trait,name) \
+namespace tti \
+  { \
+  template<class T,class Type> \
+  struct trait \
+    { \
+    template<Type *> \
+    struct helper; \
+    \
+    template<class U> \
+    static ::boost::type_traits::yes_type check(helper<&U::name> *); \
+    \
+    template<class U> \
+    static ::boost::type_traits::no_type check(...); \
+    \
+    BOOST_STATIC_CONSTANT(bool,value=sizeof(check<T>(nullptr))==sizeof(::boost::type_traits::yes_type)); \
+    \
+    typedef trait type; \
+    }; \
+  } \
+/**/
+#endif
+  
+#define TTI_HAS_STATIC_MEMBER(name) \
+  TTI_TRAIT_HAS_STATIC_MEMBER \
+  ( \
+  BOOST_PP_CAT(has_static_member_,name), \
+  name \
+  ) \
+/**/
+
 namespace tti
   {
+  
   template
     <
     class T,
@@ -324,6 +442,7 @@
       >
     {
     };
+    
   template
     <
     class T,
@@ -347,6 +466,56 @@
       >
     {
     };
+    
+  template
+    <
+    class T,
+    template<class,class> class HasStaticMember,
+    class R,
+    BOOST_PP_ENUM_PARAMS_WITH_A_DEFAULT(TTI_MAX_PARAMETERS,class P,tti::detail::noparam)
+    >
+  struct mf_has_static_function :
+    tti::detail::eval
+      <
+      HasStaticMember 
+        <
+        boost::mpl::identity<T>,
+        tti::detail::eval
+          <
+          tti::detail::tfunction
+            <
+            R,
+            BOOST_PP_ENUM_PARAMS(TTI_MAX_PARAMETERS,P)
+            >
+          >
+        >
+      >
+    {
+    };
+    
+  template
+    <
+    class T,
+    template<class,class> class HasStaticMember,
+    class R
+    >
+  struct mf_has_static_data :
+    tti::detail::eval
+      <
+      HasStaticMember 
+        <
+        boost::mpl::identity<T>,
+        tti::detail::eval
+          <
+          tti::detail::tdata
+            <
+            R
+            >
+          >
+        >
+      >
+    {
+    };
   }
   
 #endif // TT_INTROSPECTION_HPP

Modified: sandbox/tti/boost/tti/detail/TTIntrospectionDetail.hpp
==============================================================================
--- sandbox/tti/boost/tti/detail/TTIntrospectionDetail.hpp	(original)
+++ sandbox/tti/boost/tti/detail/TTIntrospectionDetail.hpp	2010-11-30 15:14:02 EST (Tue, 30 Nov 2010)
@@ -20,6 +20,7 @@
 #include <boost/preprocessor/repetition/enum_params.hpp>
 #include <boost/preprocessor/repetition/enum_params_with_a_default.hpp>
 #include <boost/function_types/member_function_pointer.hpp>
+#include <boost/function_types/function_type.hpp>
 
 #if !defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE)
 #define TTI_DETAIL_TEMPLATE_PARAMETERS(z,n,args) \
@@ -182,17 +183,20 @@
 /**/
 
 #define TTI_DETAIL_TRAIT_HAS_TYPE(trait,name) \
-namespace mpl \
+namespace hastype \
   { \
-  BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(trait, name, false) \
+  namespace mpl \
+    { \
+    BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(trait, name, false) \
+    } \
+  template<class T> \
+  struct trait \
+    { \
+    typedef typename mpl::trait<T>::type type; \
+    \
+    BOOST_STATIC_CONSTANT(bool,value=type::value); \
+    }; \
   } \
-template<class T> \
-struct trait \
-  { \
-  typedef typename tti::detail::mpl::trait<T>::type type; \
-  \
-  BOOST_STATIC_CONSTANT(bool,value=type::value); \
-  }; \
 /**/
 
 #define TTI_DETAIL_PP_REPEAT_CLASS(z,n,data) \
@@ -249,6 +253,27 @@
       {
       typedef R T::* type;
       };
+      
+    template
+      <
+      class R,
+      BOOST_PP_ENUM_PARAMS_WITH_A_DEFAULT(TTI_MAX_PARAMETERS,class P,tti::detail::noparam)
+      >
+    struct tfunction
+      {
+      typedef boost::mpl::vector<R,BOOST_PP_ENUM_PARAMS(TTI_MAX_PARAMETERS,P) > fseq;
+      typedef typename boost::mpl::remove<fseq,tti::detail::noparam>::type ftseq;
+      typedef typename boost::function_types::function_type<ftseq>::type type;
+      };
+      
+    template
+      <
+      class R
+      >
+    struct tdata
+      {
+      typedef R type;
+      };
     }
   }