kleene.hpp 2.1 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859
  1. /*=============================================================================
  2. Copyright (c) 2001-2014 Joel de Guzman
  3. Copyright (c) 2001-2011 Hartmut Kaiser
  4. Copyright (c) 2017 wanghan02
  5. Copyright (c) 2024 Nana Sakisaka
  6. Distributed under the Boost Software License, Version 1.0. (See accompanying
  7. file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  8. =============================================================================*/
  9. #if !defined(BOOST_SPIRIT_X3_KLEENE_JANUARY_07_2007_0818AM)
  10. #define BOOST_SPIRIT_X3_KLEENE_JANUARY_07_2007_0818AM
  11. #include <boost/spirit/home/x3/core/parser.hpp>
  12. #include <boost/spirit/home/x3/support/traits/container_traits.hpp>
  13. #include <boost/spirit/home/x3/support/traits/attribute_of.hpp>
  14. #include <boost/spirit/home/x3/support/expectation.hpp>
  15. #include <boost/spirit/home/x3/core/detail/parse_into_container.hpp>
  16. namespace boost { namespace spirit { namespace x3
  17. {
  18. template <typename Subject>
  19. struct kleene : unary_parser<Subject, kleene<Subject>>
  20. {
  21. typedef unary_parser<Subject, kleene<Subject>> base_type;
  22. static bool const handles_container = true;
  23. constexpr kleene(Subject const& subject)
  24. : base_type(subject) {}
  25. template <typename Iterator, typename Context
  26. , typename RContext, typename Attribute>
  27. bool parse(Iterator& first, Iterator const& last
  28. , Context const& context, RContext& rcontext, Attribute& attr) const
  29. {
  30. while (detail::parse_into_container(
  31. this->subject, first, last, context, rcontext, attr))
  32. ;
  33. return !has_expectation_failure(context);
  34. }
  35. };
  36. template <typename Subject>
  37. constexpr kleene<typename extension::as_parser<Subject>::value_type>
  38. operator*(Subject const& subject)
  39. {
  40. return { as_parser(subject) };
  41. }
  42. }}}
  43. namespace boost { namespace spirit { namespace x3 { namespace traits
  44. {
  45. template <typename Subject, typename Context>
  46. struct attribute_of<x3::kleene<Subject>, Context>
  47. : build_container<
  48. typename attribute_of<Subject, Context>::type> {};
  49. }}}}
  50. #endif