123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154 |
- /*=============================================================================
- Copyright (c) 2001-2011 Joel de Guzman
- Copyright (c) 2001-2011 Hartmut Kaiser
- Copyright (c) 2014 Thomas Bernard
- 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_DIRECTIVE_REPEAT_HPP
- #define BOOST_SPIRIT_X3_DIRECTIVE_REPEAT_HPP
- #include <boost/spirit/home/x3/core/parser.hpp>
- #include <boost/spirit/home/x3/operator/kleene.hpp>
- namespace boost { namespace spirit { namespace x3 { namespace detail
- {
- template <typename T>
- struct exact_count // handles repeat(exact)[p]
- {
- typedef T type;
- bool got_max(T i) const { return i >= exact_value; }
- bool got_min(T i) const { return i >= exact_value; }
- T const exact_value;
- };
- template <typename T>
- struct finite_count // handles repeat(min, max)[p]
- {
- typedef T type;
- bool got_max(T i) const { return i >= max_value; }
- bool got_min(T i) const { return i >= min_value; }
- T const min_value;
- T const max_value;
- };
- template <typename T>
- struct infinite_count // handles repeat(min, inf)[p]
- {
- typedef T type;
- bool got_max(T /*i*/) const { return false; }
- bool got_min(T i) const { return i >= min_value; }
- T const min_value;
- };
- }}}}
- namespace boost { namespace spirit { namespace x3
- {
- template<typename Subject, typename RepeatCountLimit>
- struct repeat_directive : unary_parser<Subject, repeat_directive<Subject,RepeatCountLimit>>
- {
- typedef unary_parser<Subject, repeat_directive<Subject,RepeatCountLimit>> base_type;
- static bool const is_pass_through_unary = true;
- static bool const handles_container = true;
- constexpr repeat_directive(Subject const& subject, RepeatCountLimit const& repeat_limit_)
- : base_type(subject)
- , repeat_limit(repeat_limit_)
- {}
- template<typename Iterator, typename Context
- , typename RContext, typename Attribute>
- bool parse(
- Iterator& first, Iterator const& last
- , Context const& context, RContext& rcontext, Attribute& attr) const
- {
- Iterator local_iterator = first;
- typename RepeatCountLimit::type i{};
- for (/**/; !repeat_limit.got_min(i); ++i)
- {
- if (!detail::parse_into_container(
- this->subject, local_iterator, last, context, rcontext, attr))
- return false;
- }
- first = local_iterator;
- // parse some more up to the maximum specified
- for (/**/; !repeat_limit.got_max(i); ++i)
- {
- if (!detail::parse_into_container(
- this->subject, first, last, context, rcontext, attr))
- break;
- }
- return true;
- }
- RepeatCountLimit repeat_limit;
- };
- // Infinite loop tag type
- struct inf_type {};
- constexpr inf_type inf = inf_type();
- struct repeat_gen
- {
- template<typename Subject>
- constexpr auto operator[](Subject const& subject) const
- {
- return *as_parser(subject);
- }
- template <typename T>
- struct repeat_gen_lvl1
- {
- constexpr repeat_gen_lvl1(T&& repeat_limit_)
- : repeat_limit(repeat_limit_)
- {}
- template<typename Subject>
- constexpr repeat_directive< typename extension::as_parser<Subject>::value_type, T>
- operator[](Subject const& subject) const
- {
- return { as_parser(subject),repeat_limit };
- }
- T repeat_limit;
- };
- template <typename T>
- constexpr repeat_gen_lvl1<detail::exact_count<T>>
- operator()(T const exact) const
- {
- return { detail::exact_count<T>{exact} };
- }
- template <typename T>
- constexpr repeat_gen_lvl1<detail::finite_count<T>>
- operator()(T const min_val, T const max_val) const
- {
- return { detail::finite_count<T>{min_val,max_val} };
- }
- template <typename T>
- constexpr repeat_gen_lvl1<detail::infinite_count<T>>
- operator()(T const min_val, inf_type const &) const
- {
- return { detail::infinite_count<T>{min_val} };
- }
- };
- constexpr auto repeat = repeat_gen{};
- }}}
- namespace boost { namespace spirit { namespace x3 { namespace traits
- {
- template <typename Subject, typename RepeatCountLimit, typename Context>
- struct attribute_of<x3::repeat_directive<Subject,RepeatCountLimit>, Context>
- : build_container<typename attribute_of<Subject, Context>::type> {};
- }}}}
- #endif
|