1 // Copyright (c) 2001-2011 Hartmut Kaiser
2 // Copyright (c) 2001-2011 Joel de Guzman
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)
7 #if !defined(BOOST_SPIRIT_LEXER_TYPE_APR_20_2009_0759PM)
8 #define BOOST_SPIRIT_LEXER_TYPE_APR_20_2009_0759PM
14 #include <boost/mpl/has_xxx.hpp>
15 #include <boost/spirit/home/lex/domain.hpp>
17 namespace boost { namespace spirit { namespace lex
19 template <typename Derived>
23 typedef Derived derived_type;
24 typedef lex::domain domain;
26 // Requirement: l.collect(def, state, targetstate) -> void
28 // l: a lexer component
29 // def: token definition container
30 // state: lexer state this token definition needs to be added to
31 // targetstate: an optional lexer state the lexer should be switched
32 // into after matching this token
34 Derived const& derived() const
36 return *static_cast<Derived const*>(this);
40 template <typename Derived>
41 struct primitive_lexer : lexer_type<Derived>
43 struct primitive_lexer_id;
46 template <typename Derived>
47 struct unary_lexer : lexer_type<Derived>
49 struct unary_lexer_id;
51 // Requirement: l.subject -> subject lexer component
53 // l: a unary lexer component
55 // Requirement: L::subject_type -> subject lexer component type
57 // L: a unary lexer component type
60 template <typename Derived>
61 struct nary_lexer : lexer_type<Derived>
65 // Requirement: l.elements -> fusion sequence
67 // l: a composite lexer component
69 // Requirement: L::elements_type -> fusion sequence
71 // L: a composite lexer component type
76 namespace boost { namespace spirit { namespace traits // classification
80 BOOST_MPL_HAS_XXX_TRAIT_DEF(lexer_id)
81 BOOST_MPL_HAS_XXX_TRAIT_DEF(primitive_lexer_id)
82 BOOST_MPL_HAS_XXX_TRAIT_DEF(unary_lexer_id)
83 BOOST_MPL_HAS_XXX_TRAIT_DEF(nary_lexer_id)
87 struct is_lexer : detail::has_lexer_id<T> {};
90 struct is_primitive_lexer : detail::has_primitive_lexer_id<T> {};
93 struct is_unary_lexer : detail::has_unary_lexer_id<T> {};
96 struct is_nary_lexer : detail::has_nary_lexer_id<T> {};