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_GENERATE_DEC_01_2009_0734PM)
Chris@16: #define BOOST_SPIRIT_KARMA_GENERATE_DEC_01_2009_0734PM
Chris@16: 
Chris@16: #if defined(_MSC_VER)
Chris@16: #pragma once
Chris@16: #endif
Chris@16: 
Chris@16: #include <boost/spirit/home/support/context.hpp>
Chris@16: #include <boost/spirit/home/support/nonterminal/locals.hpp>
Chris@16: #include <boost/spirit/home/karma/detail/generate.hpp>
Chris@16: 
Chris@16: namespace boost { namespace spirit { namespace karma
Chris@16: {
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename OutputIterator, typename Expr>
Chris@16:     inline bool
Chris@16:     generate(
Chris@16:         OutputIterator& sink
Chris@16:       , Expr const& expr)
Chris@16:     {
Chris@16:         return detail::generate_impl<Expr>::call(sink, expr);
Chris@16:     }
Chris@16: 
Chris@16:     template <typename OutputIterator, typename Expr>
Chris@16:     inline bool
Chris@16:     generate(
Chris@16:         OutputIterator const& sink_
Chris@16:       , Expr const& expr)
Chris@16:     {
Chris@16:         OutputIterator sink = sink_;
Chris@16:         return karma::generate(sink, expr);
Chris@16:     }
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         template <typename T>
Chris@16:         struct make_context
Chris@16:         {
Chris@16:             typedef context<fusion::cons<T const&>, locals<> > type;
Chris@16:         };
Chris@16: 
Chris@16:         template <>
Chris@16:         struct make_context<unused_type>
Chris@16:         {
Chris@16:             typedef unused_type type;
Chris@16:         };
Chris@16:     }
Chris@16: 
Chris@16:     template <typename OutputIterator, typename Properties, typename Expr
Chris@16:       , typename Attr>
Chris@16:     inline bool
Chris@16:     generate(
Chris@16:         detail::output_iterator<OutputIterator, Properties>& sink
Chris@16:       , Expr const& expr
Chris@16:       , Attr const& attr)
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:         BOOST_SPIRIT_ASSERT_MATCH(karma::domain, Expr);
Chris@16: 
Chris@16:         typename detail::make_context<Attr>::type context(attr);
Chris@16:         return compile<karma::domain>(expr).generate(sink, context, unused, attr);
Chris@16:     }
Chris@16: 
Chris@16:     template <typename OutputIterator, typename Expr, typename Attr>
Chris@16:     inline bool
Chris@16:     generate(
Chris@16:         OutputIterator& sink_
Chris@16:       , Expr const& expr
Chris@16:       , Attr const& attr)
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:         BOOST_SPIRIT_ASSERT_MATCH(karma::domain, 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:         detail::output_iterator<OutputIterator
Chris@16:           , mpl::int_<properties::value> > sink(sink_);
Chris@16:         return karma::generate(sink, expr, attr);
Chris@16:     }
Chris@16: 
Chris@16:     template <typename OutputIterator, typename Expr, typename Attr>
Chris@16:     inline bool
Chris@16:     generate(
Chris@16:         OutputIterator const& sink_
Chris@16:       , Expr const& expr
Chris@16:       , Attr const& attr)
Chris@16:     {
Chris@16:         OutputIterator sink = sink_;
Chris@16:         return karma::generate(sink, expr, attr);
Chris@16:     }
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename OutputIterator, typename Expr, typename Delimiter>
Chris@16:     inline bool
Chris@16:     generate_delimited(
Chris@16:         OutputIterator& sink
Chris@16:       , Expr const& expr
Chris@16:       , Delimiter const& delimiter
Chris@16:       , BOOST_SCOPED_ENUM(delimit_flag) pre_delimit = 
Chris@16:             delimit_flag::dont_predelimit)
Chris@16:     {
Chris@16:         return detail::generate_delimited_impl<Expr>::call(
Chris@16:             sink, expr, delimiter, pre_delimit);
Chris@16:     }
Chris@16: 
Chris@16:     template <typename OutputIterator, typename Expr, typename Delimiter>
Chris@16:     inline bool
Chris@16:     generate_delimited(
Chris@16:         OutputIterator const& sink_
Chris@16:       , Expr const& expr
Chris@16:       , Delimiter const& delimiter
Chris@16:       , BOOST_SCOPED_ENUM(delimit_flag) pre_delimit = 
Chris@16:             delimit_flag::dont_predelimit)
Chris@16:     {
Chris@16:         OutputIterator sink = sink_;
Chris@16:         return karma::generate_delimited(sink, expr, delimiter, pre_delimit);
Chris@16:     }
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename OutputIterator, typename Properties, typename Expr
Chris@16:       , typename Delimiter, typename Attribute>
Chris@16:     inline bool
Chris@16:     generate_delimited(
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:       , Attribute const& attr)
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 either the expression (expr) or skipper is not a valid
Chris@16:         // spirit karma expression.
Chris@16:         BOOST_SPIRIT_ASSERT_MATCH(karma::domain, Expr);
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: 
Chris@16:         typename detail::make_context<Attribute>::type context(attr);
Chris@16:         return compile<karma::domain>(expr).
Chris@16:             generate(sink, context, delimiter_, attr);
Chris@16:     }
Chris@16: 
Chris@16:     template <typename OutputIterator, typename Expr, typename Delimiter
Chris@16:       , typename Attribute>
Chris@16:     inline bool
Chris@16:     generate_delimited(
Chris@16:         OutputIterator& sink_
Chris@16:       , Expr const& expr
Chris@16:       , Delimiter const& delimiter
Chris@16:       , BOOST_SCOPED_ENUM(delimit_flag) pre_delimit
Chris@16:       , Attribute const& attr)
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(sink_);
Chris@16:         return karma::generate_delimited(sink, expr, delimiter, pre_delimit, attr);
Chris@16:     }
Chris@16: 
Chris@16:     template <typename OutputIterator, typename Expr, typename Delimiter
Chris@16:       , typename Attribute>
Chris@16:     inline bool
Chris@16:     generate_delimited(
Chris@16:         OutputIterator const& sink_
Chris@16:       , Expr const& expr
Chris@16:       , Delimiter const& delimiter
Chris@16:       , BOOST_SCOPED_ENUM(delimit_flag) pre_delimit
Chris@16:       , Attribute const& attr)
Chris@16:     {
Chris@16:         OutputIterator sink = sink_;
Chris@16:         return karma::generate_delimited(sink, expr, delimiter, pre_delimit, attr);
Chris@16:     }
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename OutputIterator, typename Expr, typename Delimiter
Chris@16:       , typename Attribute>
Chris@16:     inline bool
Chris@16:     generate_delimited(
Chris@16:         OutputIterator& sink
Chris@16:       , Expr const& expr
Chris@16:       , Delimiter const& delimiter
Chris@16:       , Attribute const& attr)
Chris@16:     {
Chris@16:         return karma::generate_delimited(sink, expr, delimiter
Chris@16:           , delimit_flag::dont_predelimit, attr);
Chris@16:     }
Chris@16: 
Chris@16:     template <typename OutputIterator, typename Expr, typename Delimiter
Chris@16:       , typename Attribute>
Chris@16:     inline bool
Chris@16:     generate_delimited(
Chris@16:         OutputIterator const& sink_
Chris@16:       , Expr const& expr
Chris@16:       , Delimiter const& delimiter
Chris@16:       , Attribute const& attr)
Chris@16:     {
Chris@16:         OutputIterator sink = sink_;
Chris@16:         return karma::generate_delimited(sink, expr, delimiter
Chris@16:           , delimit_flag::dont_predelimit, attr);
Chris@16:     }
Chris@16: }}}
Chris@16: 
Chris@16: #endif
Chris@16: