sl@0: // Copyright Daniel Wallin 2006. Use, modification and distribution is
sl@0: // subject to the Boost Software License, Version 1.0. (See accompanying
sl@0: // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
sl@0: 
sl@0: #ifndef BOOST_PARAMETER_PYTHON_060209_HPP
sl@0: # define BOOST_PARAMETER_PYTHON_060209_HPP
sl@0: 
sl@0: # include <boost/mpl/vector.hpp>
sl@0: # include <boost/mpl/fold.hpp>
sl@0: # include <boost/mpl/prior.hpp>
sl@0: # include <boost/mpl/shift_right.hpp>
sl@0: # include <boost/mpl/shift_left.hpp>
sl@0: # include <boost/mpl/bitand.hpp>
sl@0: # include <boost/mpl/pair.hpp>
sl@0: # include <boost/mpl/size.hpp>
sl@0: # include <boost/mpl/push_back.hpp>
sl@0: # include <boost/mpl/or.hpp>
sl@0: # include <boost/mpl/count_if.hpp>
sl@0: # include <boost/mpl/transform.hpp>
sl@0: # include <boost/mpl/front.hpp>
sl@0: # include <boost/mpl/iterator_range.hpp>
sl@0: # include <boost/mpl/next.hpp>
sl@0: # include <boost/mpl/begin_end.hpp>
sl@0: # include <boost/mpl/not.hpp>
sl@0: # include <boost/mpl/empty.hpp>
sl@0: # include <boost/python/def.hpp>
sl@0: # include <boost/python/make_constructor.hpp>
sl@0: # include <boost/python/init.hpp>
sl@0: # include <boost/python/to_python_converter.hpp>
sl@0: # include <boost/parameter/aux_/maybe.hpp>
sl@0: # include <boost/parameter/aux_/python/invoker.hpp>
sl@0: 
sl@0: namespace boost { namespace parameter { namespace python 
sl@0: {
sl@0:   namespace python_ = boost::python;
sl@0: }}}
sl@0: 
sl@0: namespace boost { namespace parameter { namespace python { namespace aux 
sl@0: {
sl@0: 
sl@0:   inline PyObject* unspecified_type()
sl@0:   {
sl@0:       static PyTypeObject unspecified = {
sl@0:           PyObject_HEAD_INIT(NULL)
sl@0:           0,                                /* ob_size        */
sl@0:           "Boost.Parameter.Unspecified",    /* tp_name        */
sl@0:           PyType_Type.tp_basicsize,         /* tp_basicsize   */
sl@0:           0,                                /* tp_itemsize    */
sl@0:           0,                                /* tp_dealloc     */
sl@0:           0,                                /* tp_print       */
sl@0:           0,                                /* tp_getattr     */
sl@0:           0,                                /* tp_setattr     */
sl@0:           0,                                /* tp_compare     */
sl@0:           0,                                /* tp_repr        */
sl@0:           0,                                /* tp_as_number   */
sl@0:           0,                                /* tp_as_sequence */
sl@0:           0,                                /* tp_as_mapping  */
sl@0:           0,                                /* tp_hash        */
sl@0:           0,                                /* tp_call        */
sl@0:           0,                                /* tp_str         */
sl@0:           0,                                /* tp_getattro    */
sl@0:           0,                                /* tp_setattro    */
sl@0:           0,                                /* tp_as_buffer   */
sl@0:           Py_TPFLAGS_DEFAULT,               /* tp_flags       */
sl@0:           0,                                /* tp_doc         */
sl@0:       };
sl@0: 
sl@0:       if (unspecified.ob_type == 0)
sl@0:       {
sl@0:           unspecified.ob_type = &PyType_Type;
sl@0:           PyType_Ready(&unspecified);
sl@0:       }
sl@0: 
sl@0:       return (PyObject*)&unspecified;
sl@0:   }
sl@0: 
sl@0:   struct empty_tag {};
sl@0: 
sl@0:   struct empty_tag_to_python
sl@0:   {
sl@0:       static PyObject* convert(empty_tag)
sl@0:       {
sl@0:           return python_::xincref(unspecified_type());
sl@0:       }
sl@0:   };
sl@0: 
sl@0: }}}} // namespace boost::parameter::python::aux
sl@0: 
sl@0: namespace boost { namespace python 
sl@0: {
sl@0: 
sl@0:   // Converts a Python value to a maybe<T>
sl@0:   template <class T>
sl@0:   struct arg_from_python<parameter::aux::maybe<T> >
sl@0:     : arg_from_python<T>
sl@0:   {
sl@0:       arg_from_python(PyObject* p)
sl@0:         : arg_from_python<T>(p)
sl@0:         , empty(parameter::python::aux::unspecified_type() == p)
sl@0:       {}
sl@0: 
sl@0:       bool convertible() const
sl@0:       {
sl@0:           return empty || arg_from_python<T>::convertible();
sl@0:       }
sl@0: 
sl@0:       parameter::aux::maybe<T> operator()()
sl@0:       {
sl@0:           if (empty)
sl@0:           {
sl@0:               return parameter::aux::maybe<T>();
sl@0:           }
sl@0:           else
sl@0:           {
sl@0:               return parameter::aux::maybe<T>(
sl@0:                   arg_from_python<T>::operator()()
sl@0:               );
sl@0:           }
sl@0:       }
sl@0: 
sl@0:       bool empty;
sl@0:   };
sl@0: 
sl@0: }} // namespace boost::python
sl@0: 
sl@0: namespace boost { namespace parameter { namespace python {
sl@0: 
sl@0: namespace aux
sl@0: {
sl@0: 
sl@0:   template <class K>
sl@0:   struct is_optional
sl@0:     : mpl::not_<
sl@0:           mpl::or_<typename K::required, typename K::optimized_default>
sl@0:       >
sl@0:   {};
sl@0: 
sl@0:   template <class K, class Required, class Optimized, class T>
sl@0:   struct arg_spec
sl@0:   {
sl@0:       typedef K keyword;
sl@0:       typedef Required required;
sl@0:       typedef T type;
sl@0:       typedef Optimized optimized_default;
sl@0:   };
sl@0:   
sl@0:   template <class K, class T, class Optimized = mpl::false_>
sl@0:   struct make_arg_spec_impl
sl@0:   {
sl@0:       typedef arg_spec<
sl@0:           typename K::first, typename K::second, Optimized, T
sl@0:       > type;
sl@0:   };
sl@0: 
sl@0:   template <class K, class T>
sl@0:   struct make_arg_spec_impl<K, T, typename K::third>
sl@0:   {
sl@0:       typedef arg_spec<
sl@0:           typename K::first, typename K::second, typename K::third, T
sl@0:       > type;
sl@0:   };
sl@0: 
sl@0:   template <class K, class T>
sl@0:   struct make_arg_spec
sl@0:     : make_arg_spec_impl<K, T>
sl@0:   {
sl@0:   };
sl@0: 
sl@0:   template <class Spec, class State>
sl@0:   struct combinations_op
sl@0:   {
sl@0:       typedef typename State::second bits;
sl@0:       typedef typename State::first result0;
sl@0: 
sl@0:       typedef typename mpl::if_<
sl@0:           mpl::or_<
sl@0:               typename Spec::required
sl@0:             , typename Spec::optimized_default
sl@0:             , mpl::bitand_<bits, mpl::long_<1> >
sl@0:           >
sl@0:         , typename mpl::push_back<result0, Spec>::type
sl@0:         , result0
sl@0:       >::type result;
sl@0: 
sl@0:       typedef typename mpl::if_<
sl@0:           mpl::or_<
sl@0:               typename Spec::required
sl@0:             , typename Spec::optimized_default
sl@0:           >
sl@0:         , bits
sl@0:         , typename mpl::shift_right<bits, mpl::long_<1> >::type
sl@0:       >::type next_bits;
sl@0: 
sl@0:       typedef mpl::pair<
sl@0:           result
sl@0:         , next_bits
sl@0:       > type;
sl@0:   };
sl@0: 
sl@0:   // Used as start value in the recursive arg() composition below.
sl@0:   struct no_keywords
sl@0:   {
sl@0:       template <class T>
sl@0:       T const& operator,(T const& x) const
sl@0:       {
sl@0:           return x;
sl@0:       }
sl@0:   };
sl@0: 
sl@0:   template <class Def, class F, class Iter, class End, class Keywords>
sl@0:   void def_combination_aux0(
sl@0:       Def def, F f, Iter, End, Keywords const& keywords, mpl::false_)
sl@0:   {
sl@0:       typedef typename mpl::deref<Iter>::type spec;
sl@0:       typedef typename spec::keyword kw;
sl@0: 
sl@0:       def_combination_aux(
sl@0:           def, f, typename mpl::next<Iter>::type(), End()
sl@0:         , (
sl@0:               keywords, boost::python::arg(kw::keyword_name())
sl@0:           )
sl@0:       );
sl@0:   }
sl@0: 
sl@0:   template <class Def, class F, class Iter, class End, class Keywords>
sl@0:   void def_combination_aux0(
sl@0:       Def def, F f, Iter, End, Keywords const& keywords, mpl::true_)
sl@0:   {
sl@0:       typedef typename mpl::deref<Iter>::type spec;
sl@0:       typedef typename spec::keyword kw;
sl@0: 
sl@0:       def_combination_aux(
sl@0:           def, f, typename mpl::next<Iter>::type(), End()
sl@0:         , (
sl@0:               keywords, boost::python::arg(kw::keyword_name()) = empty_tag()
sl@0:           )
sl@0:       );
sl@0:   }
sl@0: 
sl@0:   inline void initialize_converter()
sl@0:   {
sl@0:       static python_::to_python_converter<empty_tag, empty_tag_to_python> x;
sl@0:   }
sl@0: 
sl@0:   template <class Def, class F, class Iter, class End, class Keywords>
sl@0:   void def_combination_aux(
sl@0:       Def def, F f, Iter, End, Keywords const& keywords)
sl@0:   {
sl@0:       typedef typename mpl::deref<Iter>::type spec;
sl@0: 
sl@0:       typedef typename mpl::and_<
sl@0:           typename spec::optimized_default
sl@0:         , mpl::not_<typename spec::required>
sl@0:       >::type optimized_default;
sl@0:       
sl@0:       def_combination_aux0(
sl@0:           def, f, Iter(), End(), keywords, optimized_default()
sl@0:       );
sl@0:   }
sl@0: 
sl@0:   template <class Def, class F, class End, class Keywords>
sl@0:   void def_combination_aux(
sl@0:       Def def, F f, End, End, Keywords const& keywords)
sl@0:   {
sl@0:       def(f, keywords);
sl@0:   } 
sl@0: 
sl@0:   template <class Def, class F, class End>
sl@0:   void def_combination_aux(
sl@0:       Def def, F f, End, End, no_keywords const&)
sl@0:   {
sl@0:       def(f);
sl@0:   }
sl@0: 
sl@0:   template <
sl@0:       class Def, class Specs, class Bits, class Invoker
sl@0:   >
sl@0:   void def_combination(
sl@0:       Def def, Specs*, Bits, Invoker*)
sl@0:   {
sl@0:       typedef typename mpl::fold<
sl@0:           Specs
sl@0:         , mpl::pair<mpl::vector0<>, Bits>
sl@0:         , combinations_op<mpl::_2, mpl::_1>
sl@0:       >::type combination0;
sl@0: 
sl@0:       typedef typename combination0::first combination;
sl@0: 
sl@0:       typedef typename mpl::apply_wrap1<
sl@0:           Invoker, combination
sl@0:       >::type invoker;
sl@0: 
sl@0:       def_combination_aux(
sl@0:           def
sl@0:         , &invoker::execute
sl@0:         , typename mpl::begin<combination>::type()
sl@0:         , typename mpl::end<combination>::type()
sl@0:         , no_keywords()
sl@0:       );
sl@0:   }
sl@0: 
sl@0:   template <
sl@0:       class Def, class Specs, class Bits, class End, class Invoker
sl@0:   >
sl@0:   void def_combinations(
sl@0:       Def def, Specs*, Bits, End, Invoker*)
sl@0:   {
sl@0:       initialize_converter();
sl@0: 
sl@0:       def_combination(def, (Specs*)0, Bits(), (Invoker*)0);
sl@0: 
sl@0:       def_combinations(
sl@0:           def
sl@0:         , (Specs*)0
sl@0:         , mpl::long_<Bits::value + 1>()
sl@0:         , End()
sl@0:         , (Invoker*)0
sl@0:       );
sl@0:   }
sl@0: 
sl@0:   template <
sl@0:       class Def, class Specs, class End, class Invoker
sl@0:   >
sl@0:   void def_combinations(
sl@0:       Def, Specs*, End, End, Invoker*)
sl@0:   {}
sl@0: 
sl@0:   struct not_specified {};
sl@0: 
sl@0:   template <class CallPolicies>
sl@0:   struct call_policies_as_options
sl@0:   {
sl@0:       call_policies_as_options(CallPolicies const& call_policies)
sl@0:         : call_policies(call_policies)
sl@0:       {}
sl@0: 
sl@0:       CallPolicies const& policies() const
sl@0:       {
sl@0:           return call_policies;
sl@0:       }
sl@0: 
sl@0:       char const* doc() const
sl@0:       {
sl@0:           return 0;
sl@0:       }
sl@0: 
sl@0:       CallPolicies call_policies;
sl@0:   };
sl@0: 
sl@0:   template <class Class, class Options = not_specified>
sl@0:   struct def_class
sl@0:   {
sl@0:       def_class(Class& cl, char const* name, Options options = Options())
sl@0:         : cl(cl)
sl@0:         , name(name)
sl@0:         , options(options)
sl@0:       {}
sl@0: 
sl@0:       template <class F>
sl@0:       void def(F f, not_specified const*) const
sl@0:       {
sl@0:           cl.def(name, f);
sl@0:       }
sl@0: 
sl@0:       template <class F>
sl@0:       void def(F f, void const*) const
sl@0:       {
sl@0:           cl.def(name, f, options.doc(), options.policies());
sl@0:       }
sl@0:       
sl@0:       template <class F>
sl@0:       void operator()(F f) const
sl@0:       {
sl@0:           this->def(f, &options);
sl@0:       }
sl@0: 
sl@0:       template <class F, class Keywords>
sl@0:       void def(F f, Keywords const& keywords, not_specified const*) const
sl@0:       {
sl@0:           cl.def(name, f, keywords);
sl@0:       }
sl@0: 
sl@0:       template <class F, class Keywords>
sl@0:       void def(F f, Keywords const& keywords, void const*) const
sl@0:       {
sl@0:           cl.def(name, f, keywords, options.doc(), options.policies());
sl@0:       }
sl@0: 
sl@0:       template <class F, class Keywords>
sl@0:       void operator()(F f, Keywords const& keywords) const
sl@0:       {
sl@0:           this->def(f, keywords, &options);
sl@0:       }
sl@0: 
sl@0:       Class& cl;
sl@0:       char const* name;
sl@0:       Options options;
sl@0:   };
sl@0: 
sl@0:   template <class Class, class CallPolicies = boost::python::default_call_policies>
sl@0:   struct def_init
sl@0:   {
sl@0:       def_init(Class& cl, CallPolicies call_policies = CallPolicies())
sl@0:         : cl(cl)
sl@0:         , call_policies(call_policies)
sl@0:       {}
sl@0: 
sl@0:       template <class F>
sl@0:       void operator()(F f) const
sl@0:       {
sl@0:           cl.def(
sl@0:               "__init__"
sl@0:             , boost::python::make_constructor(f, call_policies)
sl@0:           );
sl@0:       }
sl@0: 
sl@0:       template <class F, class Keywords>
sl@0:       void operator()(F f, Keywords const& keywords) const
sl@0:       {
sl@0:           cl.def(
sl@0:               "__init__"
sl@0:             , boost::python::make_constructor(f, call_policies, keywords)
sl@0:           );
sl@0:       }
sl@0: 
sl@0:       Class& cl;
sl@0:       CallPolicies call_policies;
sl@0:   };
sl@0: 
sl@0:   struct def_function
sl@0:   {
sl@0:       def_function(char const* name)
sl@0:         : name(name)
sl@0:       {}
sl@0:       
sl@0:       template <class F>
sl@0:       void operator()(F f) const
sl@0:       {
sl@0:           boost::python::def(name, f);
sl@0:       }
sl@0: 
sl@0:       template <class F, class Keywords>
sl@0:       void operator()(F f, Keywords const& keywords) const
sl@0:       {
sl@0:           boost::python::def(name, f, keywords);
sl@0:       }
sl@0: 
sl@0:       char const* name;
sl@0:   };
sl@0: 
sl@0: } // namespace aux
sl@0: 
sl@0: template <class M, class Signature>
sl@0: void def(char const* name, Signature)
sl@0: {
sl@0:     typedef mpl::iterator_range<
sl@0:         typename mpl::next<
sl@0:             typename mpl::begin<Signature>::type
sl@0:         >::type
sl@0:       , typename mpl::end<Signature>::type
sl@0:     > arg_types;
sl@0: 
sl@0:     typedef typename mpl::transform<
sl@0:         typename M::keywords
sl@0:       , arg_types
sl@0:       , aux::make_arg_spec<mpl::_1, mpl::_2>
sl@0:       , mpl::back_inserter<mpl::vector0<> >
sl@0:     >::type arg_specs;
sl@0: 
sl@0:     typedef typename mpl::count_if<
sl@0:         arg_specs
sl@0:       , aux::is_optional<mpl::_1>
sl@0:     >::type optional_arity;
sl@0:     
sl@0:     typedef typename mpl::front<Signature>::type result_type;
sl@0:     typedef typename mpl::shift_left<mpl::long_<1>, optional_arity>::type upper;
sl@0: 
sl@0:     aux::def_combinations(
sl@0:         aux::def_function(name)
sl@0:       , (arg_specs*)0
sl@0:       , mpl::long_<0>()
sl@0:       , mpl::long_<upper::value>()
sl@0:       , (aux::make_invoker<M, result_type>*)0
sl@0:     );
sl@0: }
sl@0: 
sl@0: template <class M, class Class, class Signature>
sl@0: void def(Class& cl, char const* name, Signature)
sl@0: {
sl@0:     typedef mpl::iterator_range<
sl@0:         typename mpl::next<
sl@0:             typename mpl::begin<Signature>::type
sl@0:         >::type
sl@0:       , typename mpl::end<Signature>::type
sl@0:     > arg_types;
sl@0: 
sl@0:     typedef typename mpl::transform<
sl@0:         typename M::keywords
sl@0:       , arg_types
sl@0:       , aux::make_arg_spec<mpl::_1, mpl::_2>
sl@0:       , mpl::back_inserter<mpl::vector0<> >
sl@0:     >::type arg_specs;
sl@0: 
sl@0:     typedef typename mpl::count_if<
sl@0:         arg_specs
sl@0:       , aux::is_optional<mpl::_1>
sl@0:     >::type optional_arity;
sl@0:     
sl@0:     typedef typename mpl::front<Signature>::type result_type;
sl@0:     typedef typename mpl::shift_left<mpl::long_<1>, optional_arity>::type upper;
sl@0: 
sl@0:     aux::def_combinations(
sl@0:         aux::def_class<Class>(cl, name)
sl@0:       , (arg_specs*)0
sl@0:       , mpl::long_<0>()
sl@0:       , mpl::long_<upper::value>()
sl@0:       , (aux::make_invoker<M, result_type>*)0
sl@0:     );
sl@0: }
sl@0: 
sl@0: namespace aux
sl@0: {
sl@0: 
sl@0:   template <class K>
sl@0:   struct keyword
sl@0:   {
sl@0:       typedef K type;
sl@0:   };
sl@0: 
sl@0:   template <class K>
sl@0:   struct keyword<K*>
sl@0:   {
sl@0:       typedef K type;
sl@0:   };
sl@0: 
sl@0:   template <class K>
sl@0:   struct keyword<K**>
sl@0:   {
sl@0:       typedef K type;
sl@0:   };
sl@0: 
sl@0:   template <class K>
sl@0:   struct required
sl@0:   {
sl@0:       typedef mpl::true_ type;
sl@0:   };
sl@0: 
sl@0:   template <class K>
sl@0:   struct required<K*>
sl@0:   {
sl@0:       typedef mpl::false_ type;
sl@0:   };
sl@0: 
sl@0:   template <class K>
sl@0:   struct optimized
sl@0:   {
sl@0:       typedef mpl::true_ type;
sl@0:   };
sl@0: 
sl@0:   template <class K>
sl@0:   struct optimized<K**>
sl@0:   {
sl@0:       typedef mpl::false_ type;
sl@0:   };
sl@0: 
sl@0:   template <class T>
sl@0:   struct make_kw_spec;
sl@0: 
sl@0:   template <class K, class T>
sl@0:   struct make_kw_spec<K(T)>
sl@0:   {
sl@0:       typedef arg_spec<
sl@0:           typename keyword<K>::type
sl@0:         , typename required<K>::type
sl@0:         , typename optimized<K>::type
sl@0:         , T
sl@0:       > type;
sl@0:   };
sl@0: 
sl@0: } // namespace aux
sl@0: 
sl@0: template <class ParameterSpecs, class CallPolicies = boost::python::default_call_policies>
sl@0: struct init 
sl@0:   : boost::python::def_visitor<init<ParameterSpecs, CallPolicies> >
sl@0: {
sl@0:     init(CallPolicies call_policies = CallPolicies())
sl@0:       : call_policies(call_policies)
sl@0:     {}
sl@0: 
sl@0:     template <class CallPolicies1>
sl@0:     init<ParameterSpecs, CallPolicies1> 
sl@0:     operator[](CallPolicies1 const& call_policies) const
sl@0:     {
sl@0:         return init<ParameterSpecs, CallPolicies1>(call_policies);
sl@0:     }
sl@0: 
sl@0:     template <class Class>
sl@0:     void visit_aux(Class& cl, mpl::true_) const
sl@0:     {
sl@0:         cl.def(boost::python::init<>()[call_policies]);
sl@0:     }
sl@0: 
sl@0:     template <class Class>
sl@0:     void visit_aux(Class& cl, mpl::false_) const
sl@0:     {
sl@0:         typedef typename mpl::transform<
sl@0:             ParameterSpecs
sl@0:           , aux::make_kw_spec<mpl::_>
sl@0:           , mpl::back_inserter<mpl::vector0<> >
sl@0:         >::type arg_specs;
sl@0: 
sl@0:         typedef typename mpl::count_if<
sl@0:             arg_specs
sl@0:           , aux::is_optional<mpl::_>
sl@0:         >::type optional_arity;
sl@0: 
sl@0:         typedef typename mpl::shift_left<mpl::long_<1>, optional_arity>::type upper;
sl@0: 
sl@0:         aux::def_combinations(
sl@0:             aux::def_init<Class, CallPolicies>(cl, call_policies)
sl@0:           , (arg_specs*)0
sl@0:           , mpl::long_<0>()
sl@0:           , mpl::long_<upper::value>()
sl@0:           , (aux::make_init_invoker<typename Class::wrapped_type>*)0
sl@0:         );
sl@0:     }
sl@0: 
sl@0:     template <class Class>
sl@0:     void visit(Class& cl) const
sl@0:     {
sl@0:         visit_aux(cl, mpl::empty<ParameterSpecs>());
sl@0:     }
sl@0: 
sl@0:     CallPolicies call_policies;
sl@0: };
sl@0: 
sl@0: template <class ParameterSpecs, class CallPolicies = boost::python::default_call_policies>
sl@0: struct call 
sl@0:   : boost::python::def_visitor<call<ParameterSpecs, CallPolicies> >
sl@0: {
sl@0:     call(CallPolicies const& call_policies = CallPolicies())
sl@0:       : call_policies(call_policies)
sl@0:     {}
sl@0: 
sl@0:     template <class CallPolicies1>
sl@0:     call<ParameterSpecs, CallPolicies1>
sl@0:     operator[](CallPolicies1 const& call_policies) const
sl@0:     {
sl@0:         return call<ParameterSpecs, CallPolicies1>(call_policies);
sl@0:     }
sl@0: 
sl@0:     template <class Class>
sl@0:     void visit(Class& cl) const
sl@0:     {
sl@0:         typedef mpl::iterator_range<
sl@0:             typename mpl::next<
sl@0:                 typename mpl::begin<ParameterSpecs>::type
sl@0:             >::type
sl@0:           , typename mpl::end<ParameterSpecs>::type
sl@0:         > arg_types;
sl@0: 
sl@0:         typedef typename mpl::front<ParameterSpecs>::type result_type;
sl@0: 
sl@0:         typedef typename mpl::transform<
sl@0:             arg_types
sl@0:           , aux::make_kw_spec<mpl::_>
sl@0:           , mpl::back_inserter<mpl::vector0<> >
sl@0:         >::type arg_specs;
sl@0: 
sl@0:         typedef typename mpl::count_if<
sl@0:             arg_specs
sl@0:           , aux::is_optional<mpl::_>
sl@0:         >::type optional_arity;
sl@0: 
sl@0:         typedef typename mpl::shift_left<mpl::long_<1>, optional_arity>::type upper;
sl@0: 
sl@0:         typedef aux::call_policies_as_options<CallPolicies> options;
sl@0: 
sl@0:         aux::def_combinations(
sl@0:             aux::def_class<Class, options>(cl, "__call__", options(call_policies))
sl@0:           , (arg_specs*)0
sl@0:           , mpl::long_<0>()
sl@0:           , mpl::long_<upper::value>()
sl@0:           , (aux::make_call_invoker<typename Class::wrapped_type, result_type>*)0
sl@0:         );
sl@0:     }
sl@0: 
sl@0:     CallPolicies call_policies;
sl@0: };
sl@0: 
sl@0: template <class Fwd, class ParameterSpecs>
sl@0: struct function 
sl@0:   : boost::python::def_visitor<function<Fwd, ParameterSpecs> >
sl@0: {
sl@0:     template <class Class, class Options>
sl@0:     void visit(Class& cl, char const* name, Options const& options) const
sl@0:     {
sl@0:         typedef mpl::iterator_range<
sl@0:             typename mpl::next<
sl@0:                 typename mpl::begin<ParameterSpecs>::type
sl@0:             >::type
sl@0:           , typename mpl::end<ParameterSpecs>::type
sl@0:         > arg_types;
sl@0: 
sl@0:         typedef typename mpl::front<ParameterSpecs>::type result_type;
sl@0: 
sl@0:         typedef typename mpl::transform<
sl@0:             arg_types
sl@0:           , aux::make_kw_spec<mpl::_>
sl@0:           , mpl::back_inserter<mpl::vector0<> >
sl@0:         >::type arg_specs;
sl@0: 
sl@0:         typedef typename mpl::count_if<
sl@0:             arg_specs
sl@0:           , aux::is_optional<mpl::_>
sl@0:         >::type optional_arity;
sl@0: 
sl@0:         typedef typename mpl::shift_left<mpl::long_<1>, optional_arity>::type upper;
sl@0: 
sl@0:         aux::def_combinations(
sl@0:             aux::def_class<Class, Options>(cl, name, options)
sl@0:           , (arg_specs*)0
sl@0:           , mpl::long_<0>()
sl@0:           , mpl::long_<upper::value>()
sl@0:           , (aux::make_member_invoker<
sl@0:                 Fwd, result_type, typename Class::wrapped_type
sl@0:             >*)0
sl@0:         );
sl@0:     }
sl@0: };
sl@0: 
sl@0: }}} // namespace boost::parameter::python
sl@0: 
sl@0: #endif // BOOST_PARAMETER_PYTHON_060209_HPP
sl@0: