| // 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_AUTO_NOV_29_2009_0339PM) |
| #define BOOST_SPIRIT_KARMA_AUTO_NOV_29_2009_0339PM |
| |
| #if defined(_MSC_VER) |
| #pragma once |
| #endif |
| |
| #include <boost/spirit/home/support/common_terminals.hpp> |
| #include <boost/spirit/home/support/info.hpp> |
| #include <boost/spirit/home/support/container.hpp> |
| #include <boost/spirit/home/support/assert_msg.hpp> |
| #include <boost/spirit/home/support/detail/hold_any.hpp> |
| #include <boost/spirit/home/karma/domain.hpp> |
| #include <boost/spirit/home/karma/meta_compiler.hpp> |
| #include <boost/spirit/home/karma/delimit_out.hpp> |
| #include <boost/spirit/home/karma/generator.hpp> |
| #include <boost/spirit/home/karma/auto/create_generator.hpp> |
| #include <boost/mpl/bool.hpp> |
| |
| /////////////////////////////////////////////////////////////////////////////// |
| namespace boost { namespace spirit |
| { |
| /////////////////////////////////////////////////////////////////////////// |
| // Enablers |
| /////////////////////////////////////////////////////////////////////////// |
| template <> |
| struct use_terminal<karma::domain, tag::auto_> // enables auto_ |
| : mpl::true_ {}; |
| |
| template <typename A0> |
| struct use_terminal<karma::domain // enables auto_(...) |
| , terminal_ex<tag::auto_, fusion::vector1<A0> > |
| > : mpl::true_ {}; |
| |
| template <> // enables auto_(f) |
| struct use_lazy_terminal< |
| karma::domain, tag::auto_, 1 /*arity*/ |
| > : mpl::true_ {}; |
| |
| }} |
| |
| /////////////////////////////////////////////////////////////////////////////// |
| namespace boost { namespace spirit { namespace karma |
| { |
| using spirit::auto_; |
| using spirit::auto__type; |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename Modifiers> |
| struct auto_generator |
| : generator<auto_generator<Modifiers> > |
| { |
| typedef mpl::int_<generator_properties::all_properties> properties; |
| |
| template <typename Context, typename Unused> |
| struct attribute |
| { |
| typedef spirit::hold_any type; |
| }; |
| |
| auto_generator(Modifiers const& modifiers) |
| : modifiers_(modifiers) {} |
| |
| // auto_generator has an attached attribute |
| template < |
| typename OutputIterator, typename Context, typename Delimiter |
| , typename Attribute> |
| bool generate(OutputIterator& sink, Context& context |
| , Delimiter const& d, Attribute const& attr) const |
| { |
| return compile<karma::domain>(create_generator<Attribute>(), modifiers_) |
| .generate(sink, context, d, attr); |
| } |
| |
| // this auto_generator has no attribute attached, it needs to have been |
| // initialized from a value/variable |
| template <typename OutputIterator, typename Context |
| , typename Delimiter> |
| static bool |
| generate(OutputIterator&, Context&, Delimiter const&, unused_type) |
| { |
| // It is not possible (doesn't make sense) to use auto_ generators |
| // without providing any attribute, as the generator doesn't 'know' |
| // what to output. The following assertion fires if this situation |
| // is detected in your code. |
| BOOST_SPIRIT_ASSERT_MSG(false, auto_not_usable_without_attribute, ()); |
| return false; |
| } |
| |
| template <typename Context> |
| info what(Context& /*context*/) const |
| { |
| return info("auto_"); |
| } |
| |
| Modifiers modifiers_; |
| }; |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename T, typename Modifiers> |
| struct lit_auto_generator |
| : generator<lit_auto_generator<T, Modifiers> > |
| { |
| typedef mpl::int_<generator_properties::all_properties> properties; |
| |
| template <typename Context, typename Unused> |
| struct attribute |
| { |
| typedef unused_type type; |
| }; |
| |
| lit_auto_generator(typename add_reference<T>::type t, Modifiers const& modifiers) |
| : t_(t) |
| , generator_(compile<karma::domain>(create_generator<T>(), modifiers)) |
| {} |
| |
| // auto_generator has an attached attribute |
| template < |
| typename OutputIterator, typename Context, typename Delimiter |
| , typename Attribute> |
| bool generate(OutputIterator& sink, Context& context |
| , Delimiter const& d, Attribute const&) const |
| { |
| return generator_.generate(sink, context, d, t_); |
| } |
| |
| template <typename Context> |
| info what(Context& /*context*/) const |
| { |
| return info("auto_"); |
| } |
| |
| typedef typename spirit::result_of::create_generator<T>::type |
| generator_type; |
| |
| typedef typename spirit::result_of::compile< |
| karma::domain, generator_type, Modifiers>::type generator_impl_type; |
| |
| T t_; |
| generator_impl_type generator_; |
| |
| private: |
| // silence MSVC warning C4512: assignment operator could not be generated |
| lit_auto_generator& operator= (lit_auto_generator const&); |
| }; |
| |
| /////////////////////////////////////////////////////////////////////////// |
| // Generator generators: make_xxx function (objects) |
| /////////////////////////////////////////////////////////////////////////// |
| |
| // auto_ |
| template <typename Modifiers> |
| struct make_primitive<tag::auto_, Modifiers> |
| { |
| typedef auto_generator<Modifiers> result_type; |
| |
| result_type operator()(unused_type, Modifiers const& modifiers) const |
| { |
| return result_type(modifiers); |
| } |
| }; |
| |
| // auto_(...) |
| template <typename Modifiers, typename A0> |
| struct make_primitive< |
| terminal_ex<tag::auto_, fusion::vector1<A0> >, Modifiers> |
| { |
| typedef typename add_const<A0>::type const_attribute; |
| |
| typedef lit_auto_generator<const_attribute, Modifiers> result_type; |
| |
| template <typename Terminal> |
| result_type operator()(Terminal const& term, Modifiers const& modifiers) const |
| { |
| return result_type(fusion::at_c<0>(term.args), modifiers); |
| } |
| }; |
| |
| }}} |
| |
| #endif |