Chris@16: // Copyright David Abrahams 2001.
Chris@16: // Distributed under the Boost Software License, Version 1.0. (See
Chris@16: // accompanying file LICENSE_1_0.txt or copy at
Chris@16: // http://www.boost.org/LICENSE_1_0.txt)
Chris@16: #ifndef MAKE_FUNCTION_DWA20011221_HPP
Chris@16: # define MAKE_FUNCTION_DWA20011221_HPP
Chris@16: 
Chris@16: # include <boost/python/detail/prefix.hpp>
Chris@16: 
Chris@16: # include <boost/python/default_call_policies.hpp>
Chris@16: # include <boost/python/args.hpp>
Chris@16: # include <boost/python/detail/caller.hpp>
Chris@16: 
Chris@16: # include <boost/python/object/function_object.hpp>
Chris@16: 
Chris@16: # include <boost/mpl/size.hpp>
Chris@16: # include <boost/mpl/int.hpp>
Chris@16: 
Chris@16: namespace boost { namespace python {
Chris@16: 
Chris@16: namespace detail
Chris@16: {
Chris@16:   // make_function_aux --
Chris@16:   //
Chris@16:   // These helper functions for make_function (below) do the raw work
Chris@16:   // of constructing a Python object from some invokable entity. See
Chris@16:   // <boost/python/detail/caller.hpp> for more information about how
Chris@16:   // the Sig arguments is used.
Chris@16:   template <class F, class CallPolicies, class Sig>
Chris@16:   object make_function_aux(
Chris@16:       F f                               // An object that can be invoked by detail::invoke()
Chris@16:       , CallPolicies const& p           // CallPolicies to use in the invocation
Chris@16:       , Sig const&                      // An MPL sequence of argument types expected by F
Chris@16:       )
Chris@16:   {
Chris@16:       return objects::function_object(
Chris@16:           detail::caller<F,CallPolicies,Sig>(f, p)
Chris@16:       );
Chris@16:   }
Chris@16: 
Chris@16:   // As above, except that it accepts argument keywords. NumKeywords
Chris@16:   // is used only for a compile-time assertion to make sure the user
Chris@16:   // doesn't pass more keywords than the function can accept. To
Chris@16:   // disable all checking, pass mpl::int_<0> for NumKeywords.
Chris@16:   template <class F, class CallPolicies, class Sig, class NumKeywords>
Chris@16:   object make_function_aux(
Chris@16:       F f
Chris@16:       , CallPolicies const& p
Chris@16:       , Sig const&
Chris@16:       , detail::keyword_range const& kw // a [begin,end) pair of iterators over keyword names
Chris@16:       , NumKeywords                     // An MPL integral type wrapper: the size of kw
Chris@16:       )
Chris@16:   {
Chris@16:       enum { arity = mpl::size<Sig>::value - 1 };
Chris@16:       
Chris@16:       typedef typename detail::error::more_keywords_than_function_arguments<
Chris@16:           NumKeywords::value, arity
Chris@16:           >::too_many_keywords assertion;
Chris@16:     
Chris@16:       return objects::function_object(
Chris@16:           detail::caller<F,CallPolicies,Sig>(f, p)
Chris@16:         , kw);
Chris@16:   }
Chris@16: 
Chris@16:   //   Helpers for make_function when called with 3 arguments.  These
Chris@16:   //   dispatch functions are used to discriminate between the cases
Chris@16:   //   when the 3rd argument is keywords or when it is a signature.
Chris@16:   //
Chris@16:   // @group {
Chris@16:   template <class F, class CallPolicies, class Keywords>
Chris@16:   object make_function_dispatch(F f, CallPolicies const& policies, Keywords const& kw, mpl::true_)
Chris@16:   {
Chris@16:       return detail::make_function_aux(
Chris@16:           f
Chris@16:         , policies
Chris@16:         , detail::get_signature(f)
Chris@16:         , kw.range()
Chris@16:         , mpl::int_<Keywords::size>()
Chris@16:       );
Chris@16:   }
Chris@16: 
Chris@16:   template <class F, class CallPolicies, class Signature>
Chris@16:   object make_function_dispatch(F f, CallPolicies const& policies, Signature const& sig, mpl::false_)
Chris@16:   {
Chris@16:       return detail::make_function_aux(
Chris@16:           f
Chris@16:         , policies
Chris@16:         , sig
Chris@16:       );
Chris@16:   }
Chris@16:   // }
Chris@16:   
Chris@16:  }
Chris@16: 
Chris@16: //   These overloaded functions wrap a function or member function
Chris@16: //   pointer as a Python object, using optional CallPolicies,
Chris@16: //   Keywords, and/or Signature.
Chris@16: //
Chris@16: //   @group {
Chris@16: template <class F>
Chris@16: object make_function(F f)
Chris@16: {
Chris@16:     return detail::make_function_aux(
Chris@16:         f,default_call_policies(), detail::get_signature(f));
Chris@16: }
Chris@16: 
Chris@16: template <class F, class CallPolicies>
Chris@16: object make_function(F f, CallPolicies const& policies)
Chris@16: {
Chris@16:     return detail::make_function_aux(
Chris@16:         f, policies, detail::get_signature(f));
Chris@16: }
Chris@16: 
Chris@16: template <class F, class CallPolicies, class KeywordsOrSignature>
Chris@16: object make_function(
Chris@16:     F f
Chris@16:   , CallPolicies const& policies
Chris@16:   , KeywordsOrSignature const& keywords_or_signature)
Chris@16: {
Chris@16:     typedef typename
Chris@16:         detail::is_reference_to_keywords<KeywordsOrSignature&>::type
Chris@16:         is_kw;
Chris@16:     
Chris@16:     return detail::make_function_dispatch(
Chris@16:         f
Chris@16:       , policies
Chris@16:       , keywords_or_signature
Chris@16:       , is_kw()
Chris@16:     );
Chris@16: }
Chris@16: 
Chris@16: template <class F, class CallPolicies, class Keywords, class Signature>
Chris@16: object make_function(
Chris@16:     F f
Chris@16:   , CallPolicies const& policies
Chris@16:   , Keywords const& kw
Chris@16:   , Signature const& sig
Chris@16:  )
Chris@16: {
Chris@16:     return detail::make_function_aux(
Chris@16:           f
Chris@16:         , policies
Chris@16:         , sig
Chris@16:         , kw.range()
Chris@16:         , mpl::int_<Keywords::size>()
Chris@16:       );
Chris@16: }
Chris@16: // }
Chris@16: 
Chris@16: }} 
Chris@16: 
Chris@16: 
Chris@16: #endif // MAKE_FUNCTION_DWA20011221_HPP