123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129 |
- /*=============================================================================
- Copyright (c) 2001-2011 Hartmut Kaiser
- Copyright (c) 2001-2014 Joel de Guzman
- Copyright (c) 2013 Agustin Berge
- 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)
- ==============================================================================*/
- #ifndef BOOST_SPIRIT_X3_ATTR_JUL_23_2008_0956AM
- #define BOOST_SPIRIT_X3_ATTR_JUL_23_2008_0956AM
- #include <boost/spirit/home/x3/core/parser.hpp>
- #include <boost/spirit/home/x3/support/unused.hpp>
- #include <boost/spirit/home/x3/support/traits/container_traits.hpp>
- #include <boost/spirit/home/x3/support/traits/move_to.hpp>
- #include <boost/type_traits/is_same.hpp>
- #include <boost/type_traits/remove_cv.hpp>
- #include <boost/type_traits/remove_reference.hpp>
- #include <algorithm>
- #include <cstddef>
- #include <string>
- #include <utility>
- namespace boost { namespace spirit { namespace x3
- {
- template <typename Value>
- struct attr_parser : parser<attr_parser<Value>>
- {
- typedef Value attribute_type;
- static bool const has_attribute =
- !is_same<unused_type, attribute_type>::value;
- static bool const handles_container =
- traits::is_container<attribute_type>::value;
-
- attr_parser(Value const& value)
- : value_(value) {}
- attr_parser(Value&& value)
- : value_(std::move(value)) {}
- template <typename Iterator, typename Context
- , typename RuleContext, typename Attribute>
- bool parse(Iterator& /* first */, Iterator const& /* last */
- , Context const& /* context */, RuleContext&, Attribute& attr_) const
- {
- // $$$ Change to copy_to once we have it $$$
- traits::move_to(value_, attr_);
- return true;
- }
- Value value_;
- // silence MSVC warning C4512: assignment operator could not be generated
- attr_parser& operator= (attr_parser const&) = delete;
- };
-
- template <typename Value, std::size_t N>
- struct attr_parser<Value[N]> : parser<attr_parser<Value[N]>>
- {
- typedef Value attribute_type[N];
- static bool const has_attribute =
- !is_same<unused_type, attribute_type>::value;
- static bool const handles_container = true;
-
- attr_parser(Value const (&value)[N])
- {
- std::copy(value + 0, value + N, value_ + 0);
- }
- attr_parser(Value (&&value)[N])
- {
- std::move(value + 0, value + N, value_ + 0);
- }
- template <typename Iterator, typename Context
- , typename RuleContext, typename Attribute>
- bool parse(Iterator& /* first */, Iterator const& /* last */
- , Context const& /* context */, RuleContext&, Attribute& attr_) const
- {
- // $$$ Change to copy_to once we have it $$$
- traits::move_to(value_ + 0, value_ + N, attr_);
- return true;
- }
- Value value_[N];
- // silence MSVC warning C4512: assignment operator could not be generated
- attr_parser& operator= (attr_parser const&) = delete;
- };
-
- template <typename Value>
- struct get_info<attr_parser<Value>>
- {
- typedef std::string result_type;
- std::string operator()(attr_parser<Value> const& /*p*/) const
- {
- return "attr";
- }
- };
- struct attr_gen
- {
- template <typename Value>
- attr_parser<typename remove_cv<
- typename remove_reference<Value>::type>::type>
- operator()(Value&& value) const
- {
- return { std::forward<Value>(value) };
- }
-
- template <typename Value, std::size_t N>
- attr_parser<typename remove_cv<Value>::type[N]>
- operator()(Value (&value)[N]) const
- {
- return { value };
- }
- template <typename Value, std::size_t N>
- attr_parser<typename remove_cv<Value>::type[N]>
- operator()(Value (&&value)[N]) const
- {
- return { value };
- }
- };
- auto const attr = attr_gen{};
- }}}
- #endif
|