123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400 |
- /*=============================================================================
- Copyright (c) 2001-2011 Hartmut Kaiser
- Copyright (c) 2001-2011 Joel de Guzman
- 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_BINARY_MAY_08_2007_0808AM)
- #define BOOST_SPIRIT_BINARY_MAY_08_2007_0808AM
- #if defined(_MSC_VER)
- #pragma once
- #endif
- #include <boost/spirit/home/support/common_terminals.hpp>
- #include <boost/spirit/home/support/detail/endian.hpp>
- #include <boost/spirit/home/qi/detail/attributes.hpp>
- #include <boost/spirit/home/qi/parser.hpp>
- #include <boost/spirit/home/qi/meta_compiler.hpp>
- #include <boost/spirit/home/qi/domain.hpp>
- #include <boost/spirit/home/qi/detail/assign_to.hpp>
- #include <boost/spirit/home/qi/skip_over.hpp>
- #include <boost/spirit/home/support/common_terminals.hpp>
- #include <boost/fusion/include/at.hpp>
- #include <boost/mpl/or.hpp>
- #include <boost/type_traits/is_integral.hpp>
- #include <boost/type_traits/is_enum.hpp>
- #include <boost/type_traits/is_floating_point.hpp>
- #include <boost/config.hpp>
- #define BOOST_SPIRIT_ENABLE_BINARY(name) \
- template <> \
- struct use_terminal<qi::domain, tag::name> \
- : mpl::true_ {}; \
- \
- template <typename A0> \
- struct use_terminal<qi::domain \
- , terminal_ex<tag::name, fusion::vector1<A0> > > \
- : mpl::or_<is_integral<A0>, is_enum<A0> > {}; \
- \
- template <> \
- struct use_lazy_terminal<qi::domain, tag::name, 1> : mpl::true_ {}; \
- \
- /***/
- #define BOOST_SPIRIT_ENABLE_BINARY_IEEE754(name) \
- template<> \
- struct use_terminal<qi::domain, tag::name>: mpl::true_ {}; \
- \
- template<typename A0> \
- struct use_terminal<qi::domain, terminal_ex<tag::name, \
- fusion::vector1<A0> > >: is_floating_point<A0> {}; \
- \
- template<> \
- struct use_lazy_terminal<qi::domain, tag::name, 1>: mpl::true_ {}; \
- \
- /***/
- namespace boost { namespace spirit
- {
- ///////////////////////////////////////////////////////////////////////////
- // Enablers
- ///////////////////////////////////////////////////////////////////////////
- BOOST_SPIRIT_ENABLE_BINARY(byte_) // enables byte_
- BOOST_SPIRIT_ENABLE_BINARY(word) // enables word
- BOOST_SPIRIT_ENABLE_BINARY(big_word) // enables big_word
- BOOST_SPIRIT_ENABLE_BINARY(little_word) // enables little_word
- BOOST_SPIRIT_ENABLE_BINARY(dword) // enables dword
- BOOST_SPIRIT_ENABLE_BINARY(big_dword) // enables big_dword
- BOOST_SPIRIT_ENABLE_BINARY(little_dword) // enables little_dword
- #ifdef BOOST_HAS_LONG_LONG
- BOOST_SPIRIT_ENABLE_BINARY(qword) // enables qword
- BOOST_SPIRIT_ENABLE_BINARY(big_qword) // enables big_qword
- BOOST_SPIRIT_ENABLE_BINARY(little_qword) // enables little_qword
- #endif
- BOOST_SPIRIT_ENABLE_BINARY_IEEE754(bin_float)
- BOOST_SPIRIT_ENABLE_BINARY_IEEE754(big_bin_float)
- BOOST_SPIRIT_ENABLE_BINARY_IEEE754(little_bin_float)
- BOOST_SPIRIT_ENABLE_BINARY_IEEE754(bin_double)
- BOOST_SPIRIT_ENABLE_BINARY_IEEE754(big_bin_double)
- BOOST_SPIRIT_ENABLE_BINARY_IEEE754(little_bin_double)
- }}
- #undef BOOST_SPIRIT_ENABLE_BINARY
- #undef BOOST_SPIRIT_ENABLE_BINARY_IEEE754
- namespace boost { namespace spirit { namespace qi
- {
- #ifndef BOOST_SPIRIT_NO_PREDEFINED_TERMINALS
- using boost::spirit::byte_;
- using boost::spirit::word;
- using boost::spirit::big_word;
- using boost::spirit::little_word;
- using boost::spirit::dword;
- using boost::spirit::big_dword;
- using boost::spirit::little_dword;
- #ifdef BOOST_HAS_LONG_LONG
- using boost::spirit::qword;
- using boost::spirit::big_qword;
- using boost::spirit::little_qword;
- #endif
- using boost::spirit::bin_float;
- using boost::spirit::big_bin_float;
- using boost::spirit::little_bin_float;
- using boost::spirit::bin_double;
- using boost::spirit::big_bin_double;
- using boost::spirit::little_bin_double;
- #endif
- using boost::spirit::byte_type;
- using boost::spirit::word_type;
- using boost::spirit::big_word_type;
- using boost::spirit::little_word_type;
- using boost::spirit::dword_type;
- using boost::spirit::big_dword_type;
- using boost::spirit::little_dword_type;
- #ifdef BOOST_HAS_LONG_LONG
- using boost::spirit::qword_type;
- using boost::spirit::big_qword_type;
- using boost::spirit::little_qword_type;
- #endif
- using boost::spirit::bin_float_type;
- using boost::spirit::big_bin_float_type;
- using boost::spirit::little_bin_float_type;
- using boost::spirit::bin_double_type;
- using boost::spirit::big_bin_double_type;
- using boost::spirit::little_bin_double_type;
- namespace detail
- {
- template <int bits>
- struct integer
- {
- #ifdef BOOST_HAS_LONG_LONG
- BOOST_SPIRIT_ASSERT_MSG(
- bits == 8 || bits == 16 || bits == 32 || bits == 64,
- not_supported_binary_size, ());
- #else
- BOOST_SPIRIT_ASSERT_MSG(
- bits == 8 || bits == 16 || bits == 32,
- not_supported_binary_size, ());
- #endif
- };
- template <>
- struct integer<8>
- {
- enum { size = 1 };
- typedef uint_least8_t type;
- };
- template <>
- struct integer<16>
- {
- enum { size = 2 };
- typedef uint_least16_t type;
- };
- template <>
- struct integer<32>
- {
- enum { size = 4 };
- typedef uint_least32_t type;
- };
- #ifdef BOOST_HAS_LONG_LONG
- template <>
- struct integer<64>
- {
- enum { size = 8 };
- typedef uint_least64_t type;
- };
- #endif
- template <int bits>
- struct floating_point
- {
- BOOST_SPIRIT_ASSERT_MSG(
- bits == 32 || bits == 64,
- not_supported_binary_size, ());
- };
- template <>
- struct floating_point<32>
- {
- enum { size = 4 };
- typedef float type;
- };
- template <>
- struct floating_point<64>
- {
- enum { size = 8 };
- typedef double type;
- };
- ///////////////////////////////////////////////////////////////////////
- template <BOOST_SCOPED_ENUM(boost::endian::order) bits>
- struct what;
- template <>
- struct what<boost::endian::order::little>
- {
- static char const* is()
- {
- return "little-endian binary";
- }
- };
- template <>
- struct what<boost::endian::order::big>
- {
- static char const* is()
- {
- return "big-endian binary";
- }
- };
- }
- ///////////////////////////////////////////////////////////////////////////
- template <typename T, BOOST_SCOPED_ENUM(boost::endian::order) endian, int bits>
- struct any_binary_parser : primitive_parser<any_binary_parser<T, endian, bits> >
- {
- template <typename Context, typename Iterator>
- struct attribute
- {
- typedef boost::endian::endian_arithmetic<endian, typename T::type,
- bits> type;
- };
- template <typename Iterator, typename Context
- , typename Skipper, typename Attribute>
- bool parse(Iterator& first, Iterator const& last
- , Context& /*context*/, Skipper const& skipper
- , Attribute& attr_param) const
- {
- qi::skip_over(first, last, skipper);
- typename attribute<Context, Iterator>::type attr_;
- unsigned char* bytes = attr_.data();
- Iterator it = first;
- for (unsigned int i = 0; i < sizeof(attr_); ++i)
- {
- if (it == last)
- return false;
- *bytes++ = *it++;
- }
- first = it;
- spirit::traits::assign_to(attr_, attr_param);
- return true;
- }
- template <typename Context>
- info what(Context& /*context*/) const
- {
- return info(qi::detail::what<endian>::is());
- }
- };
- ///////////////////////////////////////////////////////////////////////////
- template <typename V, typename T
- , BOOST_SCOPED_ENUM(boost::endian::order) endian, int bits>
- struct binary_lit_parser
- : primitive_parser<binary_lit_parser<V, T, endian, bits> >
- {
- template <typename Context, typename Iterator>
- struct attribute
- {
- typedef unused_type type;
- };
- binary_lit_parser(V n_)
- : n(n_) {}
- template <typename Iterator, typename Context
- , typename Skipper, typename Attribute>
- bool parse(Iterator& first, Iterator const& last
- , Context& /*context*/, Skipper const& skipper
- , Attribute& attr_param) const
- {
- qi::skip_over(first, last, skipper);
- boost::endian::endian_arithmetic<endian, typename T::type, bits> attr_;
- #if defined(BOOST_MSVC)
- // warning C4244: 'argument' : conversion from 'const int' to 'foo', possible loss of data
- #pragma warning(push)
- #pragma warning(disable: 4244)
- #endif
- attr_ = n;
- #if defined(BOOST_MSVC)
- #pragma warning(pop)
- #endif
- unsigned char* bytes = attr_.data();
- Iterator it = first;
- for (unsigned int i = 0; i < sizeof(attr_); ++i)
- {
- if (it == last || *bytes++ != static_cast<unsigned char>(*it++))
- return false;
- }
- first = it;
- spirit::traits::assign_to(attr_, attr_param);
- return true;
- }
- template <typename Context>
- info what(Context& /*context*/) const
- {
- return info(qi::detail::what<endian>::is());
- }
- V n;
- };
- ///////////////////////////////////////////////////////////////////////////
- // Parser generators: make_xxx function (objects)
- ///////////////////////////////////////////////////////////////////////////
- template <typename T, BOOST_SCOPED_ENUM(boost::endian::order) endian, int bits>
- struct make_binary_parser
- {
- typedef any_binary_parser<T, endian, bits> result_type;
- result_type operator()(unused_type, unused_type) const
- {
- return result_type();
- }
- };
- template <typename V, typename T
- , BOOST_SCOPED_ENUM(boost::endian::order) endian, int bits>
- struct make_binary_lit_parser
- {
- typedef binary_lit_parser<V, T, endian, bits> result_type;
- template <typename Terminal>
- result_type operator()(Terminal const& term, unused_type) const
- {
- return result_type(fusion::at_c<0>(term.args));
- }
- };
- #define BOOST_SPIRIT_MAKE_BINARY_PRIMITIVE(name, endiantype, bits) \
- template <typename Modifiers> \
- struct make_primitive<tag::name, Modifiers> \
- : make_binary_parser<detail::integer<bits>, \
- boost::endian::order::endiantype, bits> {}; \
- \
- template <typename Modifiers, typename A0> \
- struct make_primitive< \
- terminal_ex<tag::name, fusion::vector1<A0> > , Modifiers> \
- : make_binary_lit_parser<A0, detail::integer<bits>, \
- boost::endian::order::endiantype, bits> {}; \
- \
- /***/
- BOOST_SPIRIT_MAKE_BINARY_PRIMITIVE(byte_, native, 8)
- BOOST_SPIRIT_MAKE_BINARY_PRIMITIVE(word, native, 16)
- BOOST_SPIRIT_MAKE_BINARY_PRIMITIVE(big_word, big, 16)
- BOOST_SPIRIT_MAKE_BINARY_PRIMITIVE(little_word, little, 16)
- BOOST_SPIRIT_MAKE_BINARY_PRIMITIVE(dword, native, 32)
- BOOST_SPIRIT_MAKE_BINARY_PRIMITIVE(big_dword, big, 32)
- BOOST_SPIRIT_MAKE_BINARY_PRIMITIVE(little_dword, little, 32)
- #ifdef BOOST_HAS_LONG_LONG
- BOOST_SPIRIT_MAKE_BINARY_PRIMITIVE(qword, native, 64)
- BOOST_SPIRIT_MAKE_BINARY_PRIMITIVE(big_qword, big, 64)
- BOOST_SPIRIT_MAKE_BINARY_PRIMITIVE(little_qword, little, 64)
- #endif
- #undef BOOST_SPIRIT_MAKE_BINARY_PRIMITIVE
- #define BOOST_SPIRIT_MAKE_BINARY_IEEE754_PRIMITIVE(name, endiantype, bits) \
- template<typename Modifiers> \
- struct make_primitive<tag::name, Modifiers> \
- : make_binary_parser<detail::floating_point<bits>, \
- boost::endian::order::endiantype, bits> {}; \
- \
- template<typename Modifiers, typename A0> \
- struct make_primitive< \
- terminal_ex<tag::name, fusion::vector1<A0> >, Modifiers> \
- : make_binary_lit_parser<A0, detail::floating_point<bits>, \
- boost::endian::order::endiantype, \
- bits> {}; \
- \
- /***/
- BOOST_SPIRIT_MAKE_BINARY_IEEE754_PRIMITIVE(bin_float, native, 32)
- BOOST_SPIRIT_MAKE_BINARY_IEEE754_PRIMITIVE(big_bin_float, big, 32)
- BOOST_SPIRIT_MAKE_BINARY_IEEE754_PRIMITIVE(little_bin_float, little, 32)
- BOOST_SPIRIT_MAKE_BINARY_IEEE754_PRIMITIVE(bin_double, native, 64)
- BOOST_SPIRIT_MAKE_BINARY_IEEE754_PRIMITIVE(big_bin_double, big, 64)
- BOOST_SPIRIT_MAKE_BINARY_IEEE754_PRIMITIVE(little_bin_double, little, 64)
- #undef BOOST_SPIRIT_MAKE_BINARY_IEEE754_PRIMITIVE
- }}}
- #endif
|