Chris@16: //  Copyright (c) 2001-2011 Hartmut Kaiser
Chris@16: //
Chris@16: //  Distributed under the Boost Software License, Version 1.0. (See accompanying
Chris@16: //  file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: 
Chris@16: #if !defined(BOOST_SPIRIT_QI_META_CREATE_NOV_21_2009_0432PM)
Chris@16: #define BOOST_SPIRIT_QI_META_CREATE_NOV_21_2009_0432PM
Chris@16: 
Chris@16: #if defined(_MSC_VER)
Chris@16: #pragma once
Chris@16: #endif
Chris@16: 
Chris@16: #include <boost/spirit/home/qi/domain.hpp>
Chris@16: #include <boost/spirit/home/support/common_terminals.hpp>
Chris@16: #include <boost/spirit/home/support/auto/meta_create.hpp>
Chris@16: 
Chris@16: #include <boost/utility/enable_if.hpp>
Chris@16: #include <boost/variant.hpp>
Chris@16: #include <boost/optional.hpp>
Chris@16: #include <boost/config.hpp>
Chris@16: #include <boost/mpl/and.hpp>
Chris@16: #include <boost/mpl/not.hpp>
Chris@16: #include <boost/mpl/fold.hpp>
Chris@16: #include <boost/mpl/vector.hpp>
Chris@16: #include <boost/mpl/push_back.hpp>
Chris@16: #include <boost/type_traits/is_same.hpp>
Chris@16: #include <boost/fusion/include/as_vector.hpp>
Chris@16: 
Chris@16: ///////////////////////////////////////////////////////////////////////////////
Chris@16: namespace boost { namespace spirit { namespace qi
Chris@16: {
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // compatible STL containers
Chris@16:     template <typename Container>
Chris@16:     struct meta_create_container
Chris@16:     {
Chris@16:         typedef make_unary_proto_expr<
Chris@16:             typename Container::value_type
Chris@16:           , proto::tag::dereference, qi::domain
Chris@16:         > make_proto_expr;
Chris@16: 
Chris@16:         typedef typename make_proto_expr::type type;
Chris@16: 
Chris@16:         static type call()
Chris@16:         {
Chris@16:             return make_proto_expr::call();
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // Fusion sequences
Chris@16:     template <typename Sequence>
Chris@16:     struct meta_create_sequence
Chris@16:     {
Chris@16:         // create a mpl sequence from the given fusion sequence
Chris@16:         typedef typename mpl::fold<
Chris@16:             typename fusion::result_of::as_vector<Sequence>::type
Chris@16:           , mpl::vector<>, mpl::push_back<mpl::_, mpl::_>
Chris@16:         >::type sequence_type;
Chris@16: 
Chris@16:         typedef make_nary_proto_expr<
Chris@16:             sequence_type, proto::tag::shift_right, qi::domain
Chris@16:         > make_proto_expr;
Chris@16: 
Chris@16:         typedef typename make_proto_expr::type type;
Chris@16: 
Chris@16:         static type call()
Chris@16:         {
Chris@16:             return make_proto_expr::call();
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // the default is to use the standard streaming operator unless it's a
Chris@16:     // STL container or a fusion sequence
Chris@16: 
Chris@16:     // The default implementation will be chosen if no predefined mapping of
Chris@16:     // the data type T to a Qi component is defined.
Chris@16:     struct no_auto_mapping_exists {};
Chris@16: 
Chris@16:     template <typename T, typename Enable = void>
Chris@16:     struct meta_create_impl : mpl::identity<no_auto_mapping_exists> {};
Chris@16: 
Chris@16:     template <typename T>
Chris@16:     struct meta_create_impl<T
Chris@16:           , typename enable_if<mpl::and_<
Chris@16:                 traits::is_container<T>, mpl::not_<traits::is_string<T> > >
Chris@16:             >::type>
Chris@16:       : meta_create_container<T> {};
Chris@16: 
Chris@16:     template <typename T>
Chris@16:     struct meta_create_impl<T, typename enable_if<
Chris@16:                 spirit::detail::is_fusion_sequence_but_not_proto_expr<T>
Chris@16:             >::type>
Chris@16:       : meta_create_sequence<T> {};
Chris@16: 
Chris@16:     template <typename T, typename Enable = void>
Chris@16:     struct meta_create : meta_create_impl<T> {};
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // optional
Chris@16:     template <typename T>
Chris@16:     struct meta_create<boost::optional<T> >
Chris@16:     {
Chris@16:         typedef make_unary_proto_expr<
Chris@16:             T, proto::tag::negate, qi::domain
Chris@16:         > make_proto_expr;
Chris@16: 
Chris@16:         typedef typename make_proto_expr::type type;
Chris@16: 
Chris@16:         static type call()
Chris@16:         {
Chris@16:             return make_proto_expr::call();
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // alternatives
Chris@16:     template <BOOST_VARIANT_ENUM_PARAMS(typename T)>
Chris@16:     struct meta_create<boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)> >
Chris@16:     {
Chris@16:         typedef make_nary_proto_expr<
Chris@16:             typename boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)>::types
Chris@16:           , proto::tag::bitwise_or, qi::domain
Chris@16:         > make_proto_expr;
Chris@16: 
Chris@16:         typedef typename make_proto_expr::type type;
Chris@16: 
Chris@16:         static type call()
Chris@16:         {
Chris@16:             return make_proto_expr::call();
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // predefined specializations for primitive components
Chris@16: 
Chris@16:     // character generator
Chris@16:     template <>
Chris@16:     struct meta_create<char>
Chris@16:     {
Chris@16:         typedef spirit::standard::char_type type;
Chris@16:         static type call() { return type(); }
Chris@16:     };
Chris@16:     template <>
Chris@16:     struct meta_create<signed char>
Chris@16:     {
Chris@16:         typedef spirit::standard::char_type type;
Chris@16:         static type call() { return type(); }
Chris@16:     };
Chris@16:     template <>
Chris@16:     struct meta_create<wchar_t>
Chris@16:     {
Chris@16:         typedef spirit::standard_wide::char_type type;
Chris@16:         static type call() { return type(); }
Chris@16:     };
Chris@16: 
Chris@16:     template <>
Chris@16:     struct meta_create<unsigned char>
Chris@16:     {
Chris@16:         typedef spirit::standard::char_type type;
Chris@16:         static type call() { return type(); }
Chris@16:     };
Chris@16: 
Chris@16:     // boolean generator
Chris@16:     template <>
Chris@16:     struct meta_create<bool>
Chris@16:     {
Chris@16:         typedef spirit::bool_type type;
Chris@16:         static type call() { return type(); }
Chris@16:     };
Chris@16: 
Chris@16:     // integral generators
Chris@16:     template <>
Chris@16:     struct meta_create<int>
Chris@16:     {
Chris@16:         typedef spirit::int_type type;
Chris@16:         static type call() { return type(); }
Chris@16:     };
Chris@16:     template <>
Chris@16:     struct meta_create<short>
Chris@16:     {
Chris@16:         typedef spirit::short_type type;
Chris@16:         static type call() { return type(); }
Chris@16:     };
Chris@16:     template <>
Chris@16:     struct meta_create<long>
Chris@16:     {
Chris@16:         typedef spirit::long_type type;
Chris@16:         static type call() { return type(); }
Chris@16:     };
Chris@16:     template <>
Chris@16:     struct meta_create<unsigned int>
Chris@16:     {
Chris@16:         typedef spirit::uint_type type;
Chris@16:         static type call() { return type(); }
Chris@16:     };
Chris@16: #if !defined(BOOST_NO_INTRINSIC_WCHAR_T)
Chris@16:     template <>
Chris@16:     struct meta_create<unsigned short>
Chris@16:     {
Chris@16:         typedef spirit::ushort_type type;
Chris@16:         static type call() { return type(); }
Chris@16:     };
Chris@16: #endif
Chris@16:     template <>
Chris@16:     struct meta_create<unsigned long>
Chris@16:     {
Chris@16:         typedef spirit::ulong_type type;
Chris@16:         static type call() { return type(); }
Chris@16:     };
Chris@16: 
Chris@16: #ifdef BOOST_HAS_LONG_LONG
Chris@16:     template <>
Chris@16:     struct meta_create<boost::long_long_type>
Chris@16:     {
Chris@16:         typedef spirit::long_long_type type;
Chris@16:         static type call() { return type(); }
Chris@16:     };
Chris@16:     template <>
Chris@16:     struct meta_create<boost::ulong_long_type>
Chris@16:     {
Chris@16:         typedef spirit::ulong_long_type type;
Chris@16:         static type call() { return type(); }
Chris@16:     };
Chris@16: #endif
Chris@16: 
Chris@16:     // floating point generators
Chris@16:     template <>
Chris@16:     struct meta_create<float>
Chris@16:     {
Chris@16:         typedef spirit::float_type type;
Chris@16:         static type call() { return type(); }
Chris@16:     };
Chris@16:     template <>
Chris@16:     struct meta_create<double>
Chris@16:     {
Chris@16:         typedef spirit::double_type type;
Chris@16:         static type call() { return type(); }
Chris@16:     };
Chris@16:     template <>
Chris@16:     struct meta_create<long double>
Chris@16:     {
Chris@16:         typedef spirit::long_double_type type;
Chris@16:         static type call() { return type(); }
Chris@16:     };
Chris@16: }}}
Chris@16: 
Chris@16: ///////////////////////////////////////////////////////////////////////////////
Chris@16: namespace boost { namespace spirit { namespace traits
Chris@16: {
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // main customization point for create_parser
Chris@16:     template <typename T, typename Enable = void>
Chris@16:     struct create_parser : qi::meta_create<T> {};
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // dispatch this to the Qi related specializations
Chris@16:     template <typename T>
Chris@16:     struct meta_create<qi::domain, T>
Chris@16:       : create_parser<typename spirit::detail::remove_const_ref<T>::type> {};
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // Check whether a valid mapping exits for the given data type to a Qi
Chris@16:     // component
Chris@16:     template <typename T>
Chris@16:     struct meta_create_exists<qi::domain, T>
Chris@16:       : mpl::not_<is_same<
Chris@16:             qi::no_auto_mapping_exists
Chris@16:           , typename meta_create<qi::domain, T>::type
Chris@16:         > > {};
Chris@16: }}}
Chris@16: 
Chris@16: #endif