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