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_DELIMIT_MAR_02_2007_0217PM)
Chris@16: #define BOOST_SPIRIT_KARMA_DELIMIT_MAR_02_2007_0217PM
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/generator.hpp>
Chris@16: #include <boost/spirit/home/karma/domain.hpp>
Chris@16: #include <boost/spirit/home/karma/detail/unused_delimiter.hpp>
Chris@16: #include <boost/spirit/home/karma/delimit_out.hpp>
Chris@16: #include <boost/spirit/home/karma/auxiliary/lazy.hpp>
Chris@16: #include <boost/spirit/home/support/unused.hpp>
Chris@16: #include <boost/spirit/home/support/common_terminals.hpp>
Chris@16: #include <boost/spirit/home/support/has_semantic_action.hpp>
Chris@16: #include <boost/spirit/home/support/handles_container.hpp>
Chris@16: #include <boost/spirit/home/karma/detail/attributes.hpp>
Chris@16: #include <boost/spirit/home/support/info.hpp>
Chris@16: #include <boost/fusion/include/at.hpp>
Chris@16: #include <boost/fusion/include/vector.hpp>
Chris@16: 
Chris@16: namespace boost { namespace spirit
Chris@16: {
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // Enablers
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <>
Chris@16:     struct use_directive<karma::domain, tag::delimit>   // enables delimit[]
Chris@16:       : mpl::true_ {};
Chris@16: 
Chris@16:     // enables delimit(d)[g], where d is a generator
Chris@16:     template <typename T>
Chris@16:     struct use_directive<karma::domain
Chris@16:           , terminal_ex<tag::delimit, fusion::vector1<T> > > 
Chris@16:       : boost::spirit::traits::matches<karma::domain, T> {};
Chris@16: 
Chris@16:     // enables *lazy* delimit(d)[g]
Chris@16:     template <>
Chris@16:     struct use_lazy_directive<karma::domain, tag::delimit, 1> 
Chris@16:       : mpl::true_ {};
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::delimit;
Chris@16: #endif
Chris@16:     using spirit::delimit_type;
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     //  The redelimit_generator generator is used for delimit[...] directives.
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Subject>
Chris@16:     struct redelimit_generator : unary_generator<redelimit_generator<Subject> >
Chris@16:     {
Chris@16:         typedef Subject subject_type;
Chris@16: 
Chris@16:         typedef typename subject_type::properties properties;
Chris@16: 
Chris@16:         template <typename Context, typename Iterator>
Chris@16:         struct attribute
Chris@16:           : traits::attribute_of<subject_type, Context, Iterator>
Chris@16:         {};
Chris@16: 
Chris@16:         redelimit_generator(Subject const& subject)
Chris@16:           : subject(subject) {}
Chris@16: 
Chris@16:         template <typename OutputIterator, typename Context, typename Delimiter
Chris@16:           , typename Attribute>
Chris@16:         bool generate(OutputIterator& sink, Context& ctx, Delimiter const& d
Chris@16:           , Attribute const& attr) const
Chris@16:         {
Chris@16:             //  The delimit_space generator simply dispatches to the embedded
Chris@16:             //  generator while supplying either the delimiter which has been 
Chris@16:             //  used before a surrounding verbatim[] directive or a single 
Chris@16:             //  space as the new delimiter to use (if no surrounding verbatim[]
Chris@16:             //  was specified).
Chris@16:             return subject.generate(sink, ctx
Chris@16:               , detail::get_delimiter(d, compile<karma::domain>(' ')), attr);
Chris@16:         }
Chris@16: 
Chris@16:         template <typename Context>
Chris@16:         info what(Context& context) const
Chris@16:         {
Chris@16:             return info("delimit", subject.what(context));
Chris@16:         }
Chris@16: 
Chris@16:         Subject subject;
Chris@16:     };
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     //  The delimit_generator is used for delimit(d)[...] directives.
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Subject, typename Delimiter>
Chris@16:     struct delimit_generator 
Chris@16:       : unary_generator<delimit_generator<Subject, Delimiter> >
Chris@16:     {
Chris@16:         typedef Subject subject_type;
Chris@16:         typedef Delimiter delimiter_type;
Chris@16: 
Chris@16:         typedef typename subject_type::properties properties;
Chris@16: 
Chris@16:         template <typename Context, typename Iterator>
Chris@16:         struct attribute
Chris@16:           : traits::attribute_of<subject_type, Context, Iterator>
Chris@16:         {};
Chris@16: 
Chris@16:         delimit_generator(Subject const& subject, Delimiter const& delimiter)
Chris@16:           : subject(subject), delimiter(delimiter) {}
Chris@16: 
Chris@16:         template <typename OutputIterator, typename Context
Chris@16:           , typename Delimiter_, typename Attribute>
Chris@16:         bool generate(OutputIterator& sink, Context& ctx, Delimiter_ const&
Chris@16:           , Attribute const& attr) const
Chris@16:         {
Chris@16:             //  the delimit generator simply dispatches to the embedded
Chris@16:             //  generator while supplying it's argument as the new delimiter
Chris@16:             //  to use
Chris@16:             return subject.generate(sink, ctx, delimiter, attr);
Chris@16:         }
Chris@16: 
Chris@16:         template <typename Context>
Chris@16:         info what(Context& context) const
Chris@16:         {
Chris@16:             return info("delimit", subject.what(context));
Chris@16:         }
Chris@16: 
Chris@16:         Subject subject;
Chris@16:         Delimiter delimiter;
Chris@16:     };
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // Generator generators: make_xxx function (objects)
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Subject, typename Modifiers>
Chris@16:     struct make_directive<tag::delimit, Subject, Modifiers>
Chris@16:     {
Chris@16:         typedef redelimit_generator<Subject> result_type;
Chris@16:         result_type operator()(unused_type, Subject const& subject
Chris@16:           , unused_type) const
Chris@16:         {
Chris@16:             return result_type(subject);
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     template <typename Delimiter, typename Subject, typename Modifiers>
Chris@16:     struct make_directive<
Chris@16:         terminal_ex<tag::delimit, fusion::vector1<Delimiter> >
Chris@16:       , Subject, Modifiers>
Chris@16:     {
Chris@16:         typedef typename
Chris@16:             result_of::compile<karma::domain, Delimiter, Modifiers>::type
Chris@16:         delimiter_type;
Chris@16: 
Chris@16:         typedef delimit_generator<Subject, delimiter_type> result_type;
Chris@16: 
Chris@16:         template <typename Terminal>
Chris@16:         result_type operator()(Terminal const& term, Subject const& subject
Chris@16:           , unused_type) const
Chris@16:         {
Chris@16:             return result_type(subject
Chris@16:               , compile<karma::domain>(fusion::at_c<0>(term.args)));
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16: }}}
Chris@16: 
Chris@16: namespace boost { namespace spirit { namespace traits
Chris@16: {
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Subject>
Chris@16:     struct has_semantic_action<karma::redelimit_generator<Subject> >
Chris@16:       : unary_has_semantic_action<Subject> {};
Chris@16: 
Chris@16:     template <typename Subject, typename Delimiter>
Chris@16:     struct has_semantic_action<karma::delimit_generator<Subject, Delimiter> >
Chris@16:       : unary_has_semantic_action<Subject> {};
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Subject, typename Attribute
Chris@16:             , typename Context, typename Iterator>
Chris@16:     struct handles_container<karma::redelimit_generator<Subject>, Attribute
Chris@16:       , Context, Iterator>
Chris@16:       : unary_handles_container<Subject, Attribute, Context, Iterator> {};
Chris@16: 
Chris@16:     template <typename Subject, typename Delimiter, typename Attribute
Chris@16:             , typename Context, typename Iterator>
Chris@16:     struct handles_container<karma::delimit_generator<Subject, Delimiter>
Chris@16:       , Attribute, Context, Iterator>
Chris@16:       : unary_handles_container<Subject, Attribute, Context, Iterator> {};
Chris@16: }}}
Chris@16: 
Chris@16: #endif