lexer_type.hpp 2.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100
  1. // Copyright (c) 2001-2011 Hartmut Kaiser
  2. // Copyright (c) 2001-2011 Joel de Guzman
  3. //
  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. #if !defined(BOOST_SPIRIT_LEXER_TYPE_APR_20_2009_0759PM)
  7. #define BOOST_SPIRIT_LEXER_TYPE_APR_20_2009_0759PM
  8. #if defined(_MSC_VER)
  9. #pragma once
  10. #endif
  11. #include <boost/mpl/has_xxx.hpp>
  12. #include <boost/spirit/home/lex/domain.hpp>
  13. namespace boost { namespace spirit { namespace lex
  14. {
  15. template <typename Derived>
  16. struct lexer_type
  17. {
  18. struct lexer_id;
  19. typedef Derived derived_type;
  20. typedef lex::domain domain;
  21. // Requirement: l.collect(def, state, targetstate) -> void
  22. //
  23. // l: a lexer component
  24. // def: token definition container
  25. // state: lexer state this token definition needs to be added to
  26. // targetstate: an optional lexer state the lexer should be switched
  27. // into after matching this token
  28. Derived const& derived() const
  29. {
  30. return *static_cast<Derived const*>(this);
  31. }
  32. };
  33. template <typename Derived>
  34. struct primitive_lexer : lexer_type<Derived>
  35. {
  36. struct primitive_lexer_id;
  37. };
  38. template <typename Derived>
  39. struct unary_lexer : lexer_type<Derived>
  40. {
  41. struct unary_lexer_id;
  42. // Requirement: l.subject -> subject lexer component
  43. //
  44. // l: a unary lexer component
  45. // Requirement: L::subject_type -> subject lexer component type
  46. //
  47. // L: a unary lexer component type
  48. };
  49. template <typename Derived>
  50. struct nary_lexer : lexer_type<Derived>
  51. {
  52. struct nary_lexer_id;
  53. // Requirement: l.elements -> fusion sequence
  54. //
  55. // l: a composite lexer component
  56. // Requirement: L::elements_type -> fusion sequence
  57. //
  58. // L: a composite lexer component type
  59. };
  60. }}}
  61. namespace boost { namespace spirit { namespace traits // classification
  62. {
  63. namespace detail
  64. {
  65. BOOST_MPL_HAS_XXX_TRAIT_DEF(lexer_id)
  66. BOOST_MPL_HAS_XXX_TRAIT_DEF(primitive_lexer_id)
  67. BOOST_MPL_HAS_XXX_TRAIT_DEF(unary_lexer_id)
  68. BOOST_MPL_HAS_XXX_TRAIT_DEF(nary_lexer_id)
  69. }
  70. template <typename T>
  71. struct is_lexer : detail::has_lexer_id<T> {};
  72. template <typename T>
  73. struct is_primitive_lexer : detail::has_primitive_lexer_id<T> {};
  74. template <typename T>
  75. struct is_unary_lexer : detail::has_unary_lexer_id<T> {};
  76. template <typename T>
  77. struct is_nary_lexer : detail::has_nary_lexer_id<T> {};
  78. }}}
  79. #endif