pp_function_type_impl_spec.inl

机器人开源项目orocos的源代码

// (C) Copyright Tobias Schwinger
//
// Use modification and distribution are subject to the boost Software License,
// Version 1.0. (See http://www.boost.org/LICENSE_1_0.txt).

// Preprocessed code, do not edit manually !

namespace boost { namespace function_types { namespace detail {
template<typename S, std::size_t N>
struct function_type_impl<no_function,S, N>
{
  typedef S type;
};
template<typename S>
struct function_type_impl<plain_non_variadic_defaultcall_function, S, 1>
{
  template<typename R >
  struct synthesize
  {
    typedef R type ( );
  };
        typedef typename mpl::begin<S> :: type itrR;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<plain_variadic_defaultcall_function, S, 1>
{
  template<typename R >
  struct synthesize
  {
    typedef R type ( ... );
  };
        typedef typename mpl::begin<S> :: type itrR;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<plain_non_variadic_defaultcall_function, S, 2>
{
  template<typename R , typename T0>
  struct synthesize
  {
    typedef R type ( T0 );
  };
        typedef typename mpl::begin<S> :: type itrR;
        typedef typename mpl::next<itrR> :: type itr0;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
        , typename mpl::deref< itr0 >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<plain_variadic_defaultcall_function, S, 2>
{
  template<typename R , typename T0>
  struct synthesize
  {
    typedef R type ( T0 ... );
  };
        typedef typename mpl::begin<S> :: type itrR;
        typedef typename mpl::next<itrR> :: type itr0;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
        , typename mpl::deref< itr0 >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<non_variadic_defaultcall_member_function_pointer, S, 2>
{
  template<typename R , typename T0>
  struct synthesize
  {
    typedef R ( T0::* type ) ( );
  };
        typedef typename mpl::begin<S> :: type itrR;
        typedef typename mpl::next<itrR> :: type itr0;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
        , typename mpl::deref< itr0 >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<variadic_defaultcall_member_function_pointer, S, 2>
{
  template<typename R , typename T0>
  struct synthesize
  {
    typedef R ( T0::* type ) ( ... );
  };
        typedef typename mpl::begin<S> :: type itrR;
        typedef typename mpl::next<itrR> :: type itr0;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
        , typename mpl::deref< itr0 >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<const_non_variadic_defaultcall_member_function_pointer, S, 2>
{
  template<typename R , typename T0>
  struct synthesize
  {
    typedef R ( T0::* type ) ( ) const;
  };
        typedef typename mpl::begin<S> :: type itrR;
        typedef typename mpl::next<itrR> :: type itr0;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
        , typename mpl::deref< itr0 >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<const_variadic_defaultcall_member_function_pointer, S, 2>
{
  template<typename R , typename T0>
  struct synthesize
  {
    typedef R ( T0::* type ) ( ... ) const;
  };
        typedef typename mpl::begin<S> :: type itrR;
        typedef typename mpl::next<itrR> :: type itr0;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
        , typename mpl::deref< itr0 >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<volatile_non_variadic_defaultcall_member_function_pointer, S, 2>
{
  template<typename R , typename T0>
  struct synthesize
  {
    typedef R ( T0::* type ) ( ) volatile;
  };
        typedef typename mpl::begin<S> :: type itrR;
        typedef typename mpl::next<itrR> :: type itr0;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
        , typename mpl::deref< itr0 >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<volatile_variadic_defaultcall_member_function_pointer, S, 2>
{
  template<typename R , typename T0>
  struct synthesize
  {
    typedef R ( T0::* type ) ( ... ) volatile;
  };
        typedef typename mpl::begin<S> :: type itrR;
        typedef typename mpl::next<itrR> :: type itr0;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
        , typename mpl::deref< itr0 >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<const_volatile_non_variadic_defaultcall_member_function_pointer, S, 2>
{
  template<typename R , typename T0>
  struct synthesize
  {
    typedef R ( T0::* type ) ( ) const volatile;
  };
        typedef typename mpl::begin<S> :: type itrR;
        typedef typename mpl::next<itrR> :: type itr0;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
        , typename mpl::deref< itr0 >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<const_volatile_variadic_defaultcall_member_function_pointer, S, 2>
{
  template<typename R , typename T0>
  struct synthesize
  {
    typedef R ( T0::* type ) ( ... ) const volatile;
  };
        typedef typename mpl::begin<S> :: type itrR;
        typedef typename mpl::next<itrR> :: type itr0;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
        , typename mpl::deref< itr0 >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<plain_non_variadic_defaultcall_function, S, 3>
{
  template<typename R , typename T0 , typename T1>
  struct synthesize
  {
    typedef R type ( T0 , T1 );
  };
        typedef typename mpl::begin<S> :: type itrR;
        typedef typename mpl::next<itrR> :: type itr0;
        typedef typename mpl::next<itr0> :: type itr1;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
        , typename mpl::deref< itr0 >::type
        , typename mpl::deref< itr1 >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<plain_variadic_defaultcall_function, S, 3>
{
  template<typename R , typename T0 , typename T1>
  struct synthesize
  {
    typedef R type ( T0 , T1 ... );
  };
        typedef typename mpl::begin<S> :: type itrR;
        typedef typename mpl::next<itrR> :: type itr0;
        typedef typename mpl::next<itr0> :: type itr1;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
        , typename mpl::deref< itr0 >::type
        , typename mpl::deref< itr1 >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<non_variadic_defaultcall_member_function_pointer, S, 3>
{
  template<typename R , typename T0 , typename T1>
  struct synthesize
  {
    typedef R ( T0::* type ) ( T1 );
  };
        typedef typename mpl::begin<S> :: type itrR;
        typedef typename mpl::next<itrR> :: type itr0;
        typedef typename mpl::next<itr0> :: type itr1;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
        , typename mpl::deref< itr0 >::type
        , typename mpl::deref< itr1 >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<variadic_defaultcall_member_function_pointer, S, 3>
{
  template<typename R , typename T0 , typename T1>
  struct synthesize
  {
    typedef R ( T0::* type ) ( T1 ... );
  };
        typedef typename mpl::begin<S> :: type itrR;
        typedef typename mpl::next<itrR> :: type itr0;
        typedef typename mpl::next<itr0> :: type itr1;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
        , typename mpl::deref< itr0 >::type
        , typename mpl::deref< itr1 >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<const_non_variadic_defaultcall_member_function_pointer, S, 3>
{
  template<typename R , typename T0 , typename T1>
  struct synthesize
  {
    typedef R ( T0::* type ) ( T1 ) const;
  };
        typedef typename mpl::begin<S> :: type itrR;
        typedef typename mpl::next<itrR> :: type itr0;
        typedef typename mpl::next<itr0> :: type itr1;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
        , typename mpl::deref< itr0 >::type
        , typename mpl::deref< itr1 >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<const_variadic_defaultcall_member_function_pointer, S, 3>
{
  template<typename R , typename T0 , typename T1>
  struct synthesize
  {
    typedef R ( T0::* type ) ( T1 ... ) const;
  };
        typedef typename mpl::begin<S> :: type itrR;
        typedef typename mpl::next<itrR> :: type itr0;
        typedef typename mpl::next<itr0> :: type itr1;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
        , typename mpl::deref< itr0 >::type
        , typename mpl::deref< itr1 >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<volatile_non_variadic_defaultcall_member_function_pointer, S, 3>
{
  template<typename R , typename T0 , typename T1>
  struct synthesize
  {
    typedef R ( T0::* type ) ( T1 ) volatile;
  };
        typedef typename mpl::begin<S> :: type itrR;
        typedef typename mpl::next<itrR> :: type itr0;
        typedef typename mpl::next<itr0> :: type itr1;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
        , typename mpl::deref< itr0 >::type
        , typename mpl::deref< itr1 >::type
    >::type
  type;
};
template<typename S>
struct function_type_impl<volatile_variadic_defaultcall_member_function_pointer, S, 3>
{
  template<typename R , typename T0 , typename T1>
  struct synthesize
  {
    typedef R ( T0::* type ) ( T1 ... ) volatile;
  };
        typedef typename mpl::begin<S> :: type itrR;
        typedef typename mpl::next<itrR> :: type itr0;
        typedef typename mpl::next<itr0> :: type itr1;
  typedef typename
    synthesize
        < typename mpl::deref< itrR >::type
        , typename mpl::deref< itr0 >::type
        , typename mpl::deref< itr1 >::type
    >::type
  type;