boost/spirit/home/karma/generate.hpp
// Copyright (c) 2001-2009 Hartmut Kaiser // // Distributed under the Boost Software License, Version 1.0. (See accompanying // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) #if !defined(BOOST_SPIRIT_KARMA_GENERATE_FEB_20_2007_0959AM) #define BOOST_SPIRIT_KARMA_GENERATE_FEB_20_2007_0959AM #if defined(_MSC_VER) #pragma once #endif #include <boost/spirit/home/karma/meta_compiler.hpp> #include <boost/spirit/home/karma/delimit_out.hpp> #include <boost/spirit/home/karma/detail/output_iterator.hpp> #include <boost/spirit/home/support/unused.hpp> #include <boost/spirit/home/support/detail/scoped_enum_emulation.hpp> #include <boost/mpl/assert.hpp> #include <boost/mpl/bool.hpp> namespace boost { namespace spirit { namespace karma { /////////////////////////////////////////////////////////////////////////// BOOST_SCOPED_ENUM_START(delimit_flag) { predelimit, // force predelimiting in generate_delimited() dont_predelimit // inhibit predelimiting in generate_delimited() }; BOOST_SCOPED_ENUM_END /////////////////////////////////////////////////////////////////////////// template <typename OutputIterator, typename Expr> inline bool generate( OutputIterator& target_sink , Expr const& expr) { // Report invalid expression error as early as possible. // If you got an error_invalid_expression error message here, // then the expression (expr) is not a valid spirit karma expression. BOOST_SPIRIT_ASSERT_MATCH(karma::domain, Expr); typedef traits::properties_of< typename result_of::compile<karma::domain, Expr>::type > properties; // wrap user supplied iterator into our own output iterator detail::output_iterator<OutputIterator , mpl::int_<properties::value> > sink(target_sink); return compile<karma::domain>(expr).generate(sink, unused, unused, unused); } template <typename OutputIterator, typename Properties, typename Expr> inline bool generate( detail::output_iterator<OutputIterator, Properties>& sink , Expr const& expr) { // Report invalid expression error as early as possible. // If you got an error_invalid_expression error message here, // then the expression (expr) is not a valid spirit karma expression. BOOST_SPIRIT_ASSERT_MATCH(karma::domain, Expr); return compile<karma::domain>(expr).generate(sink, unused, unused, unused); } /////////////////////////////////////////////////////////////////////////// template <typename OutputIterator, typename Expr, typename Attr> inline bool generate( OutputIterator& target_sink , Expr const& expr , Attr const& attr) { // Report invalid expression error as early as possible. // If you got an error_invalid_expression error message here, // then the expression (expr) is not a valid spirit karma expression. BOOST_SPIRIT_ASSERT_MATCH(karma::domain, Expr); typedef traits::properties_of< typename result_of::compile<karma::domain, Expr>::type > properties; // wrap user supplied iterator into our own output iterator detail::output_iterator<OutputIterator , mpl::int_<properties::value> > sink(target_sink); return compile<karma::domain>(expr).generate(sink, unused, unused, attr); } template <typename OutputIterator, typename Properties, typename Expr , typename Attr> inline bool generate( detail::output_iterator<OutputIterator, Properties>& sink , Expr const& expr , Attr const& attr) { // Report invalid expression error as early as possible. // If you got an error_invalid_expression error message here, // then the expression (expr) is not a valid spirit karma expression. BOOST_SPIRIT_ASSERT_MATCH(karma::domain, Expr); return compile<karma::domain>(expr).generate(sink, unused, unused, attr); } /////////////////////////////////////////////////////////////////////////// template <typename OutputIterator, typename Properties, typename Expr , typename Delimiter> inline bool generate_delimited( detail::output_iterator<OutputIterator, Properties>& sink , Expr const& expr , Delimiter const& delimiter , BOOST_SCOPED_ENUM(delimit_flag) pre_delimit = delimit_flag::dont_predelimit) { // Report invalid expression error as early as possible. // If you got an error_invalid_expression error message here, // then either the expression (expr) or skipper is not a valid // spirit karma expression. BOOST_SPIRIT_ASSERT_MATCH(karma::domain, Expr); BOOST_SPIRIT_ASSERT_MATCH(karma::domain, Delimiter); typename result_of::compile<karma::domain, Delimiter>::type const delimiter_ = compile<karma::domain>(delimiter); if (pre_delimit == delimit_flag::predelimit && !karma::delimit_out(sink, delimiter_)) { return false; } return compile<karma::domain>(expr). generate(sink, unused, delimiter_, unused); } template <typename OutputIterator, typename Expr, typename Delimiter> inline bool generate_delimited( OutputIterator& target_sink , Expr const& expr , Delimiter const& delimiter , BOOST_SCOPED_ENUM(delimit_flag) pre_delimit = delimit_flag::dont_predelimit) { typedef traits::properties_of< typename result_of::compile<karma::domain, Expr>::type > properties; typedef traits::properties_of< typename result_of::compile<karma::domain, Delimiter>::type > delimiter_properties; // wrap user supplied iterator into our own output iterator detail::output_iterator<OutputIterator , mpl::int_<properties::value | delimiter_properties::value> > sink(target_sink); return generate_delimited(sink, expr, delimiter, pre_delimit); } /////////////////////////////////////////////////////////////////////////// template <typename OutputIterator, typename Properties, typename Expr , typename Delimiter, typename Attribute> inline bool generate_delimited( detail::output_iterator<OutputIterator, Properties>& sink , Expr const& expr , Delimiter const& delimiter , BOOST_SCOPED_ENUM(delimit_flag) pre_delimit , Attribute const& attr) { // Report invalid expression error as early as possible. // If you got an error_invalid_expression error message here, // then either the expression (expr) or skipper is not a valid // spirit karma expression. BOOST_SPIRIT_ASSERT_MATCH(karma::domain, Expr); BOOST_SPIRIT_ASSERT_MATCH(karma::domain, Delimiter); typename result_of::compile<karma::domain, Delimiter>::type const delimiter_ = compile<karma::domain>(delimiter); if (pre_delimit == delimit_flag::predelimit && !karma::delimit_out(sink, delimiter_)) { return false; } return compile<karma::domain>(expr). generate(sink, unused, delimiter_, attr); } /////////////////////////////////////////////////////////////////////////// template <typename OutputIterator, typename Expr, typename Delimiter , typename Attribute> inline bool generate_delimited( OutputIterator& target_sink , Expr const& expr , Delimiter const& delimiter , BOOST_SCOPED_ENUM(delimit_flag) pre_delimit , Attribute const& attr) { typedef traits::properties_of< typename result_of::compile<karma::domain, Expr>::type > properties; typedef traits::properties_of< typename result_of::compile<karma::domain, Delimiter>::type > delimiter_properties; // wrap user supplied iterator into our own output iterator detail::output_iterator<OutputIterator , mpl::int_<properties::value | delimiter_properties::value> > sink(target_sink); return generate_delimited(sink, expr, delimiter, pre_delimit, attr); } template <typename OutputIterator, typename Expr, typename Attribute , typename Delimiter> inline bool generate_delimited( OutputIterator& sink , Expr const& expr , Delimiter const& delimiter , Attribute const& attr) { return generate_delimited(sink, expr, delimiter , delimit_flag::dont_predelimit, attr); } }}} #endif