boost/spirit/home/karma/directive/columns.hpp
// Copyright (c) 2001-2011 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/support/has_semantic_action.hpp> #include <boost/spirit/home/support/handles_container.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 { #ifndef BOOST_SPIRIT_NO_PREDEFINED_TERMINALS using spirit::columns; #endif 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 { #if defined(BOOST_SPIRIT_NO_PREDEFINED_TERMINALS) eol_type const eol = eol_type(); #endif 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 { #if defined(BOOST_SPIRIT_NO_PREDEFINED_TERMINALS) eol_type const eol = eol_type(); #endif 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> {}; /////////////////////////////////////////////////////////////////////////// template <typename Subject, typename T1, typename T2, typename Attribute , typename Context, typename Iterator> struct handles_container< karma::columns_generator<Subject, T1, T2>, Attribute , Context, Iterator> : unary_handles_container<Subject, Attribute, Context, Iterator> {}; }}} #endif