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_COLUMNS_DEC_03_2009_0736AM)
Chris@16: #define BOOST_SPIRIT_KARMA_COLUMNS_DEC_03_2009_0736AM
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/delimit_out.hpp>
Chris@16: #include <boost/spirit/home/karma/detail/default_width.hpp>
Chris@16: #include <boost/spirit/home/karma/auxiliary/eol.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@101: #include <boost/integer_traits.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::columns>   // enables columns[]
Chris@16:       : mpl::true_ {};
Chris@16: 
Chris@16:     // enables columns(c)[g], where c provides the number of require columns
Chris@16:     template <typename T>
Chris@16:     struct use_directive<karma::domain
Chris@16:           , terminal_ex<tag::columns, fusion::vector1<T> > > 
Chris@16:       : mpl::true_ {};
Chris@16: 
Chris@16:     // enables *lazy* columns(c)[g]
Chris@16:     template <>
Chris@16:     struct use_lazy_directive<karma::domain, tag::columns, 1> 
Chris@16:       : mpl::true_ {};
Chris@16: 
Chris@16:     // enables columns(c, d)[g], where c provides the number of require columns
Chris@16:     // and d is the custom column-delimiter (default is karma::endl)
Chris@16:     template <typename T1, typename T2>
Chris@16:     struct use_directive<karma::domain
Chris@16:           , terminal_ex<tag::columns, fusion::vector2<T1, T2> > > 
Chris@16:       : boost::spirit::traits::matches<karma::domain, T2> {};
Chris@16: 
Chris@16:     // enables *lazy* columns(c, d)[g]
Chris@16:     template <>
Chris@16:     struct use_lazy_directive<karma::domain, tag::columns, 2> 
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::columns;
Chris@16: #endif
Chris@16:     using spirit::columns_type;
Chris@16: 
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         template <typename Delimiter, typename ColumnDelimiter>
Chris@16:         struct columns_delimiter 
Chris@16:         {
Chris@16:             columns_delimiter(Delimiter const& delim
Chris@16:                   , ColumnDelimiter const& cdelim, unsigned int const numcols)
Chris@16:               : delimiter(delim), column_delimiter(cdelim)
Chris@16:               , numcolumns(numcols), count(0) {}
Chris@16: 
Chris@16:             template <typename OutputIterator, typename Context
Chris@16:               , typename Delimiter_, typename Attribute>
Chris@16:             bool generate(OutputIterator& sink, Context&, Delimiter_ const&
Chris@16:               , Attribute const&) const
Chris@16:             {
Chris@16:                 // first invoke the embedded delimiter
Chris@16:                 if (!karma::delimit_out(sink, delimiter))
Chris@16:                     return false;
Chris@16: 
Chris@16:                 // now we count the number of invocations and emit the column 
Chris@16:                 // delimiter if needed
Chris@16:                 if ((++count % numcolumns) == 0)
Chris@16:                     return karma::delimit_out(sink, column_delimiter);
Chris@16:                 return true;
Chris@16:             }
Chris@16: 
Chris@16:             // generate a final column delimiter if the last invocation didn't 
Chris@16:             // emit one
Chris@16:             template <typename OutputIterator>
Chris@16:             bool delimit_out(OutputIterator& sink) const
Chris@16:             {
Chris@16:                 if (count % numcolumns)
Chris@16:                     return karma::delimit_out(sink, column_delimiter);
Chris@16:                 return true;
Chris@16:             }
Chris@16: 
Chris@16:             Delimiter const& delimiter;
Chris@16:             ColumnDelimiter const& column_delimiter;
Chris@16:             unsigned int const numcolumns;
Chris@16:             mutable unsigned int count;
Chris@16: 
Chris@16:         private:
Chris@16:             // silence MSVC warning C4512: assignment operator could not be generated
Chris@16:             columns_delimiter& operator= (columns_delimiter const&);
Chris@16:         };
Chris@16:     }
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     //  The columns_generator is used for columns(c, d)[...] directives.
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Subject, typename NumColumns, typename ColumnsDelimiter>
Chris@16:     struct columns_generator 
Chris@16:       : unary_generator<columns_generator<Subject, NumColumns, ColumnsDelimiter> >
Chris@16:     {
Chris@16:         typedef Subject subject_type;
Chris@16:         typedef ColumnsDelimiter delimiter_type;
Chris@16: 
Chris@16:         typedef mpl::int_<
Chris@16:             subject_type::properties::value | delimiter_type::properties::value 
Chris@16:         > 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:         columns_generator(Subject const& subject, NumColumns const& cols
Chris@16:               , ColumnsDelimiter const& cdelimiter)
Chris@16:           : subject(subject), numcolumns(cols), column_delimiter(cdelimiter) 
Chris@16:         {
Chris@16:             // having zero number of columns doesn't make any sense
Chris@16:             BOOST_ASSERT(numcolumns > 0);
Chris@16:         }
Chris@16: 
Chris@16:         template <typename OutputIterator, typename Context
Chris@16:           , typename Delimiter, typename Attribute>
Chris@16:         bool generate(OutputIterator& sink, Context& ctx
Chris@16:           , Delimiter const& delimiter, Attribute const& attr) const
Chris@16:         {
Chris@16:             //  The columns generator dispatches to the embedded generator 
Chris@16:             //  while supplying a new delimiter to use, wrapping the outer 
Chris@16:             //  delimiter.
Chris@16:             typedef detail::columns_delimiter<
Chris@16:                 Delimiter, ColumnsDelimiter
Chris@16:             > columns_delimiter_type;
Chris@16: 
Chris@16:             columns_delimiter_type d(delimiter, column_delimiter, numcolumns);
Chris@16:             return subject.generate(sink, ctx, d, attr) && d.delimit_out(sink);
Chris@16:         }
Chris@16: 
Chris@16:         template <typename Context>
Chris@16:         info what(Context& context) const
Chris@16:         {
Chris@16:             return info("columns", subject.what(context));
Chris@16:         }
Chris@16: 
Chris@16:         Subject subject;
Chris@16:         NumColumns numcolumns;
Chris@16:         ColumnsDelimiter column_delimiter;
Chris@16:     };
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // Generator generators: make_xxx function (objects)
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16: 
Chris@16:     // creates columns[] directive
Chris@16:     template <typename Subject, typename Modifiers>
Chris@16:     struct make_directive<tag::columns, Subject, Modifiers>
Chris@16:     {
Chris@16:         typedef typename
Chris@16:             result_of::compile<karma::domain, eol_type, Modifiers>::type
Chris@16:         columns_delimiter_type;
Chris@16:         typedef columns_generator<
Chris@16:             Subject, detail::default_columns, columns_delimiter_type> 
Chris@16:         result_type;
Chris@16: 
Chris@16:         result_type operator()(unused_type, Subject const& subject
Chris@16:           , unused_type) const
Chris@16:         {
Chris@16: #if defined(BOOST_SPIRIT_NO_PREDEFINED_TERMINALS)
Chris@16:             eol_type const eol = eol_type();
Chris@16: #endif
Chris@16:             return result_type(subject, detail::default_columns()
Chris@16:               , compile<karma::domain>(eol));
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     // creates columns(c)[] directive generator (c is the number of columns)
Chris@16:     template <typename T, typename Subject, typename Modifiers>
Chris@16:     struct make_directive<
Chris@16:         terminal_ex<tag::columns, fusion::vector1<T> >
Chris@16:       , Subject, Modifiers
Chris@16:       , typename enable_if_c<integer_traits<T>::is_integral>::type>
Chris@16:     {
Chris@16:         typedef typename
Chris@16:             result_of::compile<karma::domain, eol_type, Modifiers>::type
Chris@16:         columns_delimiter_type;
Chris@16:         typedef columns_generator<
Chris@16:             Subject, T, columns_delimiter_type
Chris@16:         > 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: #if defined(BOOST_SPIRIT_NO_PREDEFINED_TERMINALS)
Chris@16:             eol_type const eol = eol_type();
Chris@16: #endif
Chris@16:             return result_type(subject, fusion::at_c<0>(term.args)
Chris@16:               , compile<karma::domain>(eol));
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     // creates columns(d)[] directive generator (d is the column delimiter)
Chris@16:     template <typename T, typename Subject, typename Modifiers>
Chris@16:     struct make_directive<
Chris@16:         terminal_ex<tag::columns, fusion::vector1<T> >
Chris@16:       , Subject, Modifiers
Chris@16:       , typename enable_if<
Chris@16:             mpl::and_<
Chris@16:                 spirit::traits::matches<karma::domain, T>,
Chris@16:                 mpl::not_<mpl::bool_<integer_traits<T>::is_integral> >
Chris@16:             >
Chris@16:         >::type>
Chris@16:     {
Chris@16:         typedef typename
Chris@16:             result_of::compile<karma::domain, T, Modifiers>::type
Chris@16:         columns_delimiter_type;
Chris@16:         typedef columns_generator<
Chris@16:             Subject, detail::default_columns, columns_delimiter_type
Chris@16:         > 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, detail::default_columns()
Chris@16:               , compile<karma::domain>(fusion::at_c<0>(term.args)));
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     // creates columns(c, d)[] directive generator (c is the number of columns
Chris@16:     // and d is the column delimiter)
Chris@16:     template <typename T1, typename T2, typename Subject, typename Modifiers>
Chris@16:     struct make_directive<
Chris@16:         terminal_ex<tag::columns, fusion::vector2<T1, T2> >
Chris@16:       , Subject, Modifiers>
Chris@16:     {
Chris@16:         typedef typename
Chris@16:             result_of::compile<karma::domain, T2, Modifiers>::type
Chris@16:         columns_delimiter_type;
Chris@16:         typedef columns_generator<
Chris@16:             Subject, T1, columns_delimiter_type
Chris@16:         > 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, fusion::at_c<0>(term.args)
Chris@16:               , compile<karma::domain>(fusion::at_c<1>(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, typename T1, typename T2>
Chris@16:     struct has_semantic_action<karma::columns_generator<Subject, T1, T2> >
Chris@16:       : unary_has_semantic_action<Subject> {};
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Subject, typename T1, typename T2, typename Attribute
Chris@16:       , typename Context, typename Iterator>
Chris@16:     struct handles_container<
Chris@16:             karma::columns_generator<Subject, T1, T2>, Attribute
Chris@16:           , Context, Iterator>
Chris@16:       : unary_handles_container<Subject, Attribute, Context, Iterator> {};
Chris@16: }}}
Chris@16: 
Chris@16: #endif