| /*============================================================================= |
| Copyright (c) 2001-2010 Joel de Guzman |
| |
| 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) |
| ==============================================================================*/ |
| #if !defined(BOOST_SPIRIT_PARSER_OCTOBER_16_2008_0254PM) |
| #define BOOST_SPIRIT_PARSER_OCTOBER_16_2008_0254PM |
| |
| #if defined(_MSC_VER) |
| #pragma once |
| #endif |
| |
| #include <boost/mpl/has_xxx.hpp> |
| #include <boost/spirit/home/qi/domain.hpp> |
| |
| namespace boost { namespace spirit { namespace qi |
| { |
| |
| //[parser_base_parser |
| template <typename Derived> |
| struct parser |
| { |
| struct parser_id; |
| typedef Derived derived_type; |
| typedef qi::domain domain; |
| |
| // Requirement: p.parse(f, l, context, skip, attr) -> bool |
| // |
| // p: a parser |
| // f, l: first/last iterator pair |
| // context: enclosing rule context (can be unused_type) |
| // skip: skipper (can be unused_type) |
| // attr: attribute (can be unused_type) |
| |
| // Requirement: p.what(context) -> info |
| // |
| // p: a parser |
| // context: enclosing rule context (can be unused_type) |
| |
| // Requirement: P::template attribute<Ctx, Iter>::type |
| // |
| // P: a parser type |
| // Ctx: A context type (can be unused_type) |
| // Iter: An iterator type (can be unused_type) |
| |
| Derived const& derived() const |
| { |
| return *static_cast<Derived const*>(this); |
| } |
| }; |
| //] |
| |
| template <typename Derived> |
| struct primitive_parser : parser<Derived> |
| { |
| struct primitive_parser_id; |
| }; |
| |
| template <typename Derived> |
| struct nary_parser : parser<Derived> |
| { |
| struct nary_parser_id; |
| |
| // Requirement: p.elements -> fusion sequence |
| // |
| // p: a composite parser |
| |
| // Requirement: P::elements_type -> fusion sequence |
| // |
| // P: a composite parser type |
| }; |
| |
| template <typename Derived> |
| struct unary_parser : parser<Derived> |
| { |
| struct unary_parser_id; |
| |
| // Requirement: p.subject -> subject parser |
| // |
| // p: a unary parser |
| |
| // Requirement: P::subject_type -> subject parser type |
| // |
| // P: a unary parser type |
| }; |
| |
| template <typename Derived> |
| struct binary_parser : parser<Derived> |
| { |
| struct binary_parser_id; |
| |
| // Requirement: p.left -> left parser |
| // |
| // p: a binary parser |
| |
| // Requirement: P::left_type -> left parser type |
| // |
| // P: a binary parser type |
| |
| // Requirement: p.right -> right parser |
| // |
| // p: a binary parser |
| |
| // Requirement: P::right_type -> right parser type |
| // |
| // P: a binary parser type |
| }; |
| }}} |
| |
| namespace boost { namespace spirit { namespace traits // classification |
| { |
| namespace detail |
| { |
| BOOST_MPL_HAS_XXX_TRAIT_DEF(parser_id) |
| BOOST_MPL_HAS_XXX_TRAIT_DEF(primitive_parser_id) |
| BOOST_MPL_HAS_XXX_TRAIT_DEF(nary_parser_id) |
| BOOST_MPL_HAS_XXX_TRAIT_DEF(unary_parser_id) |
| BOOST_MPL_HAS_XXX_TRAIT_DEF(binary_parser_id) |
| } |
| |
| // parser type identification |
| template <typename T> |
| struct is_parser : detail::has_parser_id<T> {}; |
| |
| template <typename T> |
| struct is_primitive_parser : detail::has_primitive_parser_id<T> {}; |
| |
| template <typename T> |
| struct is_nary_parser : detail::has_nary_parser_id<T> {}; |
| |
| template <typename T> |
| struct is_unary_parser : detail::has_unary_parser_id<T> {}; |
| |
| template <typename T> |
| struct is_binary_parser : detail::has_binary_parser_id<T> {}; |
| |
| }}} |
| |
| #endif |