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_DETAIL_GENERATE_FEB_20_2007_0959AM)
Chris@16: #define BOOST_SPIRIT_KARMA_DETAIL_GENERATE_FEB_20_2007_0959AM
Chris@16: 
Chris@16: #if defined(_MSC_VER)
Chris@16: #pragma once
Chris@16: #endif
Chris@16: 
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/delimit_flag.hpp>
Chris@16: #include <boost/spirit/home/karma/detail/output_iterator.hpp>
Chris@16: #include <boost/spirit/home/support/unused.hpp>
Chris@16: #include <boost/mpl/assert.hpp>
Chris@16: #include <boost/mpl/bool.hpp>
Chris@16: 
Chris@16: namespace boost { namespace spirit { namespace karma { namespace detail
Chris@16: {
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Expr, typename Enable = void>
Chris@16:     struct generate_impl
Chris@16:     {
Chris@16:         // Report invalid expression error as early as possible.
Chris@16:         // If you got an error_invalid_expression error message here,
Chris@16:         // then the expression (Expr) is not a valid spirit karma expression.
Chris@16:         // Did you intend to use the auto_ facilities while forgetting to 
Chris@16:         // #include <boost/spirit/include/karma_auto.hpp>?
Chris@16:         BOOST_SPIRIT_ASSERT_MATCH(karma::domain, Expr);
Chris@16:     };
Chris@16: 
Chris@16:     template <typename Expr>
Chris@16:     struct generate_impl<Expr
Chris@16:       , typename enable_if<traits::matches<karma::domain, Expr> >::type>
Chris@16:     {
Chris@16:         template <typename OutputIterator>
Chris@16:         static bool call(
Chris@16:             OutputIterator& target_sink
Chris@16:           , Expr const& expr)
Chris@16:         {
Chris@16:             typedef traits::properties_of<
Chris@16:                 typename result_of::compile<karma::domain, Expr>::type
Chris@16:             > properties;
Chris@16: 
Chris@16:             // wrap user supplied iterator into our own output iterator
Chris@16:             output_iterator<OutputIterator
Chris@16:               , mpl::int_<properties::value> > sink(target_sink);
Chris@16:             return compile<karma::domain>(expr).
Chris@16:                 generate(sink, unused, unused, unused);
Chris@16:         }
Chris@16: 
Chris@16:         template <typename OutputIterator, typename Properties>
Chris@16:         static bool call(
Chris@16:             detail::output_iterator<OutputIterator, Properties>& sink
Chris@16:           , Expr const& expr)
Chris@16:         {
Chris@16:             return compile<karma::domain>(expr).
Chris@16:                 generate(sink, unused, unused, unused);
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Expr, typename Enable = void>
Chris@16:     struct generate_delimited_impl
Chris@16:     {
Chris@16:         // Report invalid expression error as early as possible.
Chris@16:         // If you got an error_invalid_expression error message here,
Chris@16:         // then the expression (Expr) is not a valid spirit karma expression.
Chris@16:         // Did you intend to use the auto_ facilities while forgetting to 
Chris@16:         // #include <boost/spirit/include/karma_auto.hpp>?
Chris@16:         BOOST_SPIRIT_ASSERT_MATCH(karma::domain, Expr);
Chris@16:     };
Chris@16: 
Chris@16:     template <typename Expr>
Chris@16:     struct generate_delimited_impl<Expr
Chris@16:       , typename enable_if<traits::matches<karma::domain, Expr> >::type>
Chris@16:     {
Chris@16:         template <typename OutputIterator, typename Delimiter>
Chris@16:         static bool call(
Chris@16:             OutputIterator& target_sink
Chris@16:           , Expr const& expr
Chris@16:           , Delimiter const& delimiter
Chris@16:           , BOOST_SCOPED_ENUM(delimit_flag) pre_delimit)
Chris@16:         {
Chris@16:             typedef traits::properties_of<
Chris@16:                 typename result_of::compile<karma::domain, Expr>::type
Chris@16:             > properties;
Chris@16:             typedef traits::properties_of<
Chris@16:                 typename result_of::compile<karma::domain, Delimiter>::type
Chris@16:             > delimiter_properties;
Chris@16: 
Chris@16:             // wrap user supplied iterator into our own output iterator
Chris@16:             detail::output_iterator<OutputIterator
Chris@16:               , mpl::int_<properties::value | delimiter_properties::value>
Chris@16:             > sink(target_sink);
Chris@16:             return call(sink, expr, delimiter, pre_delimit);
Chris@16:         }
Chris@16: 
Chris@16:         template <typename OutputIterator, typename Properties
Chris@16:           , typename Delimiter>
Chris@16:         static bool call(
Chris@16:             detail::output_iterator<OutputIterator, Properties>& sink
Chris@16:           , Expr const& expr
Chris@16:           , Delimiter const& delimiter
Chris@16:           , BOOST_SCOPED_ENUM(delimit_flag) pre_delimit)
Chris@16:         {
Chris@16:             // Report invalid expression error as early as possible.
Chris@16:             // If you got an error_invalid_expression error message here,
Chris@16:             // then the delimiter is not a valid spirit karma expression.
Chris@16:             BOOST_SPIRIT_ASSERT_MATCH(karma::domain, Delimiter);
Chris@16: 
Chris@16:             typename result_of::compile<karma::domain, Delimiter>::type const 
Chris@16:                 delimiter_ = compile<karma::domain>(delimiter);
Chris@16: 
Chris@16:             if (pre_delimit == delimit_flag::predelimit &&
Chris@16:                 !karma::delimit_out(sink, delimiter_))
Chris@16:             {
Chris@16:                 return false;
Chris@16:             }
Chris@16:             return compile<karma::domain>(expr).
Chris@16:                 generate(sink, unused, delimiter_, unused);
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16: }}}}
Chris@16: 
Chris@16: #endif
Chris@16: