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_KARMA_AUTO_NOV_29_2009_0339PM)
Chris@16: #define BOOST_SPIRIT_KARMA_AUTO_NOV_29_2009_0339PM
Chris@16: 
Chris@16: #if defined(_MSC_VER)
Chris@16: #pragma once
Chris@16: #endif
Chris@16: 
Chris@16: #include <boost/spirit/home/support/common_terminals.hpp>
Chris@16: #include <boost/spirit/home/support/info.hpp>
Chris@16: #include <boost/spirit/home/support/container.hpp>
Chris@16: #include <boost/spirit/home/support/assert_msg.hpp>
Chris@16: #include <boost/spirit/home/support/detail/hold_any.hpp>
Chris@16: #include <boost/spirit/home/karma/domain.hpp>
Chris@16: #include <boost/spirit/home/karma/meta_compiler.hpp>
Chris@16: #include <boost/spirit/home/karma/delimit_out.hpp>
Chris@16: #include <boost/spirit/home/karma/generator.hpp>
Chris@16: #include <boost/spirit/home/karma/auto/create_generator.hpp>
Chris@16: #include <boost/mpl/bool.hpp>
Chris@16: 
Chris@16: ///////////////////////////////////////////////////////////////////////////////
Chris@16: namespace boost { namespace spirit
Chris@16: {
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // Enablers
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <>
Chris@16:     struct use_terminal<karma::domain, tag::auto_>     // enables auto_
Chris@16:       : mpl::true_ {};
Chris@16: 
Chris@16:     template <typename A0>
Chris@16:     struct use_terminal<karma::domain                   // enables auto_(...)
Chris@16:       , terminal_ex<tag::auto_, fusion::vector1<A0> >
Chris@16:     > : mpl::true_ {};
Chris@16: 
Chris@16:     template <>                                         // enables auto_(f)
Chris@16:     struct use_lazy_terminal<
Chris@16:         karma::domain, tag::auto_, 1   /*arity*/
Chris@16:     > : mpl::true_ {};
Chris@16: 
Chris@16: }}
Chris@16: 
Chris@16: ///////////////////////////////////////////////////////////////////////////////
Chris@16: namespace boost { namespace spirit { namespace karma
Chris@16: {
Chris@16: #ifndef BOOST_SPIRIT_NO_PREDEFINED_TERMINALS
Chris@16:     using spirit::auto_;
Chris@16: #endif
Chris@16:     using spirit::auto_type;
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Modifiers>
Chris@16:     struct auto_generator
Chris@16:       : generator<auto_generator<Modifiers> >
Chris@16:     {
Chris@16:         typedef mpl::int_<generator_properties::all_properties> properties;
Chris@16: 
Chris@16:         template <typename Context, typename Unused>
Chris@16:         struct attribute
Chris@16:         {
Chris@16:             typedef spirit::basic_hold_any<char> type;
Chris@16:         };
Chris@16: 
Chris@16:         auto_generator(Modifiers const& modifiers)
Chris@16:           : modifiers_(modifiers) {}
Chris@16: 
Chris@16:         // auto_generator has an attached attribute
Chris@16:         template <
Chris@16:             typename OutputIterator, typename Context, typename Delimiter
Chris@16:           , typename Attribute>
Chris@16:         bool generate(OutputIterator& sink, Context& context
Chris@16:           , Delimiter const& d, Attribute const& attr) const
Chris@16:         {
Chris@16:             return compile<karma::domain>(create_generator<Attribute>(), modifiers_)
Chris@16:                       .generate(sink, context, d, attr);
Chris@16:         }
Chris@16: 
Chris@16:         // this auto_generator has no attribute attached, it needs to have been
Chris@16:         // initialized from a value/variable
Chris@16:         template <typename OutputIterator, typename Context
Chris@16:           , typename Delimiter>
Chris@16:         static bool
Chris@16:         generate(OutputIterator&, Context&, Delimiter const&, unused_type)
Chris@16:         {
Chris@16:             // It is not possible (doesn't make sense) to use auto_ generators
Chris@16:             // without providing any attribute, as the generator doesn't 'know'
Chris@16:             // what to output. The following assertion fires if this situation
Chris@16:             // is detected in your code.
Chris@16:             BOOST_SPIRIT_ASSERT_FAIL(OutputIterator, auto_not_usable_without_attribute, ());
Chris@16:             return false;
Chris@16:         }
Chris@16: 
Chris@16:         template <typename Context>
Chris@16:         info what(Context& /*context*/) const
Chris@16:         {
Chris@16:             return info("auto_");
Chris@16:         }
Chris@16: 
Chris@16:         Modifiers modifiers_;
Chris@16:     };
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename T, typename Modifiers>
Chris@16:     struct lit_auto_generator
Chris@16:       : generator<lit_auto_generator<T, Modifiers> >
Chris@16:     {
Chris@16:         typedef mpl::int_<generator_properties::all_properties> properties;
Chris@16: 
Chris@16:         template <typename Context, typename Unused>
Chris@16:         struct attribute
Chris@16:         {
Chris@16:             typedef unused_type type;
Chris@16:         };
Chris@16: 
Chris@16:         lit_auto_generator(typename add_reference<T>::type t, Modifiers const& modifiers)
Chris@16:           : t_(t)
Chris@16:           , generator_(compile<karma::domain>(create_generator<T>(), modifiers))
Chris@16:         {}
Chris@16: 
Chris@16:         // auto_generator has an attached attribute
Chris@16:         template <
Chris@16:             typename OutputIterator, typename Context, typename Delimiter
Chris@16:           , typename Attribute>
Chris@16:         bool generate(OutputIterator& sink, Context& context
Chris@16:           , Delimiter const& d, Attribute const&) const
Chris@16:         {
Chris@16:             return generator_.generate(sink, context, d, t_);
Chris@16:         }
Chris@16: 
Chris@16:         template <typename Context>
Chris@16:         info what(Context& /*context*/) const
Chris@16:         {
Chris@16:             return info("auto_");
Chris@16:         }
Chris@16: 
Chris@16:         typedef typename spirit::result_of::create_generator<T>::type
Chris@16:             generator_type;
Chris@16: 
Chris@16:         typedef typename spirit::result_of::compile<
Chris@16:             karma::domain, generator_type, Modifiers>::type generator_impl_type;
Chris@16: 
Chris@16:         T t_;
Chris@16:         generator_impl_type generator_;
Chris@16: 
Chris@16:     private:
Chris@16:         // silence MSVC warning C4512: assignment operator could not be generated
Chris@16:         lit_auto_generator& operator= (lit_auto_generator const&);
Chris@16:     };
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // Generator generators: make_xxx function (objects)
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16: 
Chris@16:     // auto_
Chris@16:     template <typename Modifiers>
Chris@16:     struct make_primitive<tag::auto_, Modifiers>
Chris@16:     {
Chris@16:         typedef auto_generator<Modifiers> result_type;
Chris@16: 
Chris@16:         result_type operator()(unused_type, Modifiers const& modifiers) const
Chris@16:         {
Chris@16:             return result_type(modifiers);
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     // auto_(...)
Chris@16:     template <typename Modifiers, typename A0>
Chris@16:     struct make_primitive<
Chris@16:             terminal_ex<tag::auto_, fusion::vector1<A0> >, Modifiers>
Chris@16:     {
Chris@16:         typedef typename add_const<A0>::type const_attribute;
Chris@16: 
Chris@16:         typedef lit_auto_generator<const_attribute, Modifiers> result_type;
Chris@16: 
Chris@16:         template <typename Terminal>
Chris@16:         result_type operator()(Terminal const& term, Modifiers const& modifiers) const
Chris@16:         {
Chris@16:             return result_type(fusion::at_c<0>(term.args), modifiers);
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16: }}}
Chris@16: 
Chris@16: #endif