expect.hpp 3.3 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889
  1. /*=============================================================================
  2. Copyright (c) 2001-2011 Joel de Guzman
  3. Copyright (c) 2001-2011 Hartmut Kaiser
  4. Distributed under the Boost Software License, Version 1.0. (See accompanying
  5. file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  6. =============================================================================*/
  7. #if !defined(SPIRIT_EXPECT_APRIL_29_2007_0445PM)
  8. #define SPIRIT_EXPECT_APRIL_29_2007_0445PM
  9. #if defined(_MSC_VER)
  10. #pragma once
  11. #endif
  12. #include <boost/spirit/home/qi/operator/sequence_base.hpp>
  13. #include <boost/spirit/home/qi/detail/expect_function.hpp>
  14. #include <boost/spirit/home/qi/detail/expectation_failure.hpp>
  15. #include <boost/spirit/home/qi/meta_compiler.hpp>
  16. #include <boost/spirit/home/support/has_semantic_action.hpp>
  17. #include <boost/spirit/home/support/handles_container.hpp>
  18. #include <boost/spirit/home/support/info.hpp>
  19. namespace boost { namespace spirit
  20. {
  21. ///////////////////////////////////////////////////////////////////////////
  22. // Enablers
  23. ///////////////////////////////////////////////////////////////////////////
  24. template <>
  25. struct use_operator<qi::domain, proto::tag::greater> // enables >
  26. : mpl::true_ {};
  27. template <>
  28. struct flatten_tree<qi::domain, proto::tag::greater> // flattens >
  29. : mpl::true_ {};
  30. }}
  31. namespace boost { namespace spirit { namespace qi
  32. {
  33. template <typename Elements>
  34. struct expect_operator : sequence_base<expect_operator<Elements>, Elements>
  35. {
  36. friend struct sequence_base<expect_operator<Elements>, Elements>;
  37. expect_operator(Elements const& elements)
  38. : sequence_base<expect_operator<Elements>, Elements>(elements) {}
  39. private:
  40. template <typename Iterator, typename Context, typename Skipper>
  41. static detail::expect_function<
  42. Iterator, Context, Skipper
  43. , expectation_failure<Iterator> >
  44. fail_function(
  45. Iterator& first, Iterator const& last
  46. , Context& context, Skipper const& skipper)
  47. {
  48. return detail::expect_function<
  49. Iterator, Context, Skipper, expectation_failure<Iterator> >
  50. (first, last, context, skipper);
  51. }
  52. std::string id() const { return "expect_operator"; }
  53. };
  54. ///////////////////////////////////////////////////////////////////////////
  55. // Parser generators: make_xxx function (objects)
  56. ///////////////////////////////////////////////////////////////////////////
  57. template <typename Elements, typename Modifiers>
  58. struct make_composite<proto::tag::greater, Elements, Modifiers>
  59. : make_nary_composite<Elements, expect_operator>
  60. {};
  61. }}}
  62. namespace boost { namespace spirit { namespace traits
  63. {
  64. ///////////////////////////////////////////////////////////////////////////
  65. template <typename Elements>
  66. struct has_semantic_action<qi::expect_operator<Elements> >
  67. : nary_has_semantic_action<Elements> {};
  68. ///////////////////////////////////////////////////////////////////////////
  69. template <typename Elements, typename Attribute, typename Context
  70. , typename Iterator>
  71. struct handles_container<qi::expect_operator<Elements>, Attribute, Context
  72. , Iterator>
  73. : mpl::true_ {};
  74. }}}
  75. #endif