123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392 |
- // 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_STREAM_MAY_01_2007_0310PM)
- #define BOOST_SPIRIT_KARMA_STREAM_MAY_01_2007_0310PM
- #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/detail/hold_any.hpp>
- #include <boost/spirit/home/support/detail/get_encoding.hpp>
- #include <boost/spirit/home/support/detail/is_spirit_tag.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/auxiliary/lazy.hpp>
- #include <boost/spirit/home/karma/stream/detail/format_manip.hpp>
- #include <boost/spirit/home/karma/detail/get_casetag.hpp>
- #include <boost/spirit/home/karma/detail/extract_from.hpp>
- #include <boost/fusion/include/at.hpp>
- #include <boost/fusion/include/vector.hpp>
- #include <boost/fusion/include/cons.hpp>
- #include <boost/utility/enable_if.hpp>
- #include <boost/type_traits/is_same.hpp>
- #include <ostream>
- ///////////////////////////////////////////////////////////////////////////////
- namespace boost { namespace spirit
- {
- namespace tag
- {
- template <typename Char = char>
- struct stream_tag
- {
- BOOST_SPIRIT_IS_TAG()
- };
- }
- namespace karma
- {
- ///////////////////////////////////////////////////////////////////////
- // This one is the class that the user can instantiate directly in
- // order to create a customized int generator
- template <typename Char = char>
- struct stream_generator
- : spirit::terminal<tag::stream_tag<Char> >
- {};
- }
- ///////////////////////////////////////////////////////////////////////////
- // Enablers
- ///////////////////////////////////////////////////////////////////////////
- template <>
- struct use_terminal<karma::domain, tag::stream> // enables stream
- : mpl::true_ {};
- template <>
- struct use_terminal<karma::domain, tag::wstream> // enables wstream
- : mpl::true_ {};
- template <typename A0>
- struct use_terminal<karma::domain // enables stream(...)
- , terminal_ex<tag::stream, fusion::vector1<A0> >
- > : mpl::true_ {};
- template <typename A0>
- struct use_terminal<karma::domain // enables wstream(...)
- , terminal_ex<tag::wstream, fusion::vector1<A0> >
- > : mpl::true_ {};
- template <> // enables stream(f)
- struct use_lazy_terminal<
- karma::domain, tag::stream, 1 /*arity*/
- > : mpl::true_ {};
- template <> // enables wstream(f)
- struct use_lazy_terminal<
- karma::domain, tag::wstream, 1 /*arity*/
- > : mpl::true_ {};
- // enables stream_generator<char_type>
- template <typename Char>
- struct use_terminal<karma::domain, tag::stream_tag<Char> >
- : mpl::true_ {};
- template <typename Char, typename A0>
- struct use_terminal<karma::domain
- , terminal_ex<tag::stream_tag<Char>, fusion::vector1<A0> >
- > : mpl::true_ {};
- template <typename Char>
- struct use_lazy_terminal<
- karma::domain, tag::stream_tag<Char>, 1 /*arity*/
- > : mpl::true_ {};
- }}
- ///////////////////////////////////////////////////////////////////////////////
- namespace boost { namespace spirit { namespace karma
- {
- #ifndef BOOST_SPIRIT_NO_PREDEFINED_TERMINALS
- using spirit::stream;
- using spirit::wstream;
- #endif
- using spirit::stream_type;
- using spirit::wstream_type;
- namespace detail
- {
- template <typename OutputIterator, typename Char, typename CharEncoding
- , typename Tag>
- struct psbuf : std::basic_streambuf<Char>
- {
- psbuf(OutputIterator& sink) : sink_(sink) {}
- // silence MSVC warning C4512: assignment operator could not be generated
- BOOST_DELETED_FUNCTION(psbuf& operator=(psbuf const&))
- protected:
- typename psbuf::int_type overflow(typename psbuf::int_type ch) BOOST_OVERRIDE
- {
- if (psbuf::traits_type::eq_int_type(ch, psbuf::traits_type::eof()))
- return psbuf::traits_type::not_eof(ch);
- return detail::generate_to(sink_, psbuf::traits_type::to_char_type(ch),
- CharEncoding(), Tag()) ? ch : psbuf::traits_type::eof();
- }
- private:
- OutputIterator& sink_;
- };
- }
- ///////////////////////////////////////////////////////////////////////////
- template <typename Char, typename CharEncoding, typename Tag>
- struct any_stream_generator
- : primitive_generator<any_stream_generator<Char, CharEncoding, Tag> >
- {
- template <typename Context, typename Unused = unused_type>
- struct attribute
- {
- typedef spirit::basic_hold_any<Char> type;
- };
- // any_stream_generator has an attached attribute
- template <
- typename OutputIterator, typename Context, typename Delimiter
- , typename Attribute
- >
- static bool generate(OutputIterator& sink, Context& context
- , Delimiter const& d, Attribute const& attr)
- {
- if (!traits::has_optional_value(attr))
- return false;
- // use existing operator<<()
- typedef typename attribute<Context>::type attribute_type;
- {
- detail::psbuf<OutputIterator, Char, CharEncoding, Tag> pseudobuf(sink);
- std::basic_ostream<Char> ostr(&pseudobuf);
- ostr << traits::extract_from<attribute_type>(attr, context) << std::flush;
- if (!ostr.good())
- return false;
- }
- return karma::delimit_out(sink, d); // always do post-delimiting
- }
- // this is a special overload to detect if the output iterator has been
- // generated by a format_manip object.
- template <
- typename T, typename Traits, typename Properties, typename Context
- , typename Delimiter, typename Attribute
- >
- static bool generate(
- karma::detail::output_iterator<
- karma::ostream_iterator<T, Char, Traits>, Properties
- >& sink, Context& context, Delimiter const& d
- , Attribute const& attr)
- {
- typedef karma::detail::output_iterator<
- karma::ostream_iterator<T, Char, Traits>, Properties
- > output_iterator;
- if (!traits::has_optional_value(attr))
- return false;
- // use existing operator<<()
- typedef typename attribute<Context>::type attribute_type;
- {
- detail::psbuf<output_iterator, Char, CharEncoding, Tag> pseudobuf(sink);
- std::basic_ostream<Char> ostr(&pseudobuf);
- ostr.imbue(sink.get_ostream().getloc());
- ostr << traits::extract_from<attribute_type>(attr, context)
- << std::flush;
- if (!ostr.good())
- return false;
- }
- return karma::delimit_out(sink, d); // always do post-delimiting
- }
- // this any_stream has no parameter 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 stream 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_FAIL(OutputIterator, stream_not_usable_without_attribute, ());
- return false;
- }
- template <typename Context>
- info what(Context& /*context*/) const
- {
- return info("stream");
- }
- };
- template <typename T, typename Char, typename CharEncoding, typename Tag>
- struct lit_stream_generator
- : primitive_generator<lit_stream_generator<T, Char, CharEncoding, Tag> >
- {
- template <typename Context, typename Unused>
- struct attribute
- {
- typedef unused_type type;
- };
- lit_stream_generator(typename add_reference<T>::type t)
- : t_(t)
- {}
- // lit_stream_generator has an attached parameter
- // this overload will be used in the normal case (not called from
- // format_manip).
- template <
- typename OutputIterator, typename Context, typename Delimiter
- , typename Attribute>
- bool generate(OutputIterator& sink, Context&, Delimiter const& d
- , Attribute const&) const
- {
- detail::psbuf<OutputIterator, Char, CharEncoding, Tag> pseudobuf(sink);
- std::basic_ostream<Char> ostr(&pseudobuf);
- ostr << t_ << std::flush; // use existing operator<<()
- if (ostr.good())
- return karma::delimit_out(sink, d); // always do post-delimiting
- return false;
- }
- // this is a special overload to detect if the output iterator has been
- // generated by a format_manip object.
- template <
- typename T1, typename Traits, typename Properties
- , typename Context, typename Delimiter, typename Attribute>
- bool generate(
- karma::detail::output_iterator<
- karma::ostream_iterator<T1, Char, Traits>, Properties
- >& sink, Context&, Delimiter const& d, Attribute const&) const
- {
- typedef karma::detail::output_iterator<
- karma::ostream_iterator<T1, Char, Traits>, Properties
- > output_iterator;
- {
- detail::psbuf<output_iterator, Char, CharEncoding, Tag> pseudobuf(sink);
- std::basic_ostream<Char> ostr(&pseudobuf);
- ostr.imbue(sink.get_ostream().getloc());
- ostr << t_ << std::flush; // use existing operator<<()
- if (!ostr.good())
- return false;
- }
- return karma::delimit_out(sink, d); // always do post-delimiting
- }
- template <typename Context>
- info what(Context& /*context*/) const
- {
- return info("any-stream");
- }
- T t_;
- // silence MSVC warning C4512: assignment operator could not be generated
- BOOST_DELETED_FUNCTION(lit_stream_generator& operator= (lit_stream_generator const&))
- };
- ///////////////////////////////////////////////////////////////////////////
- // Generator generators: make_xxx function (objects)
- ///////////////////////////////////////////////////////////////////////////
- template <typename Char, typename Modifiers>
- struct make_stream
- {
- static bool const lower =
- has_modifier<Modifiers, tag::char_code_base<tag::lower> >::value;
- static bool const upper =
- has_modifier<Modifiers, tag::char_code_base<tag::upper> >::value;
- typedef any_stream_generator<
- Char
- , typename spirit::detail::get_encoding_with_case<
- Modifiers, unused_type, lower || upper>::type
- , typename detail::get_casetag<Modifiers, lower || upper>::type
- > result_type;
- result_type operator()(unused_type, unused_type) const
- {
- return result_type();
- }
- };
- // stream
- template <typename Modifiers>
- struct make_primitive<tag::stream, Modifiers>
- : make_stream<char, Modifiers> {};
- // wstream
- template <typename Modifiers>
- struct make_primitive<tag::wstream, Modifiers>
- : make_stream<wchar_t, Modifiers> {};
- // any_stream_generator<char_type>
- template <typename Char, typename Modifiers>
- struct make_primitive<tag::stream_tag<Char>, Modifiers>
- : make_stream<Char, Modifiers> {};
- ///////////////////////////////////////////////////////////////////////////
- template <typename Char, typename A0, typename Modifiers>
- struct make_any_stream
- {
- static bool const lower =
- has_modifier<Modifiers, tag::char_code_base<tag::lower> >::value;
- static bool const upper =
- has_modifier<Modifiers, tag::char_code_base<tag::upper> >::value;
- typedef typename add_const<A0>::type const_attribute;
- typedef lit_stream_generator<
- const_attribute, Char
- , typename spirit::detail::get_encoding_with_case<
- Modifiers, unused_type, lower || upper>::type
- , typename detail::get_casetag<Modifiers, lower || upper>::type
- > result_type;
- template <typename Terminal>
- result_type operator()(Terminal const& term, unused_type) const
- {
- return result_type(fusion::at_c<0>(term.args));
- }
- };
- // stream(...)
- template <typename Modifiers, typename A0>
- struct make_primitive<
- terminal_ex<tag::stream, fusion::vector1<A0> >, Modifiers>
- : make_any_stream<char, A0, Modifiers> {};
- // wstream(...)
- template <typename Modifiers, typename A0>
- struct make_primitive<
- terminal_ex<tag::wstream, fusion::vector1<A0> >, Modifiers>
- : make_any_stream<wchar_t, A0, Modifiers> {};
- // any_stream_generator<char_type>(...)
- template <typename Char, typename Modifiers, typename A0>
- struct make_primitive<
- terminal_ex<tag::stream_tag<Char>, fusion::vector1<A0> >
- , Modifiers>
- : make_any_stream<Char, A0, Modifiers> {};
- }}}
- #endif
|