summaryrefslogtreecommitdiff
path: root/boost/metaparse/v1/keyword.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'boost/metaparse/v1/keyword.hpp')
-rw-r--r--boost/metaparse/v1/keyword.hpp82
1 files changed, 82 insertions, 0 deletions
diff --git a/boost/metaparse/v1/keyword.hpp b/boost/metaparse/v1/keyword.hpp
new file mode 100644
index 0000000000..c5a9f60622
--- /dev/null
+++ b/boost/metaparse/v1/keyword.hpp
@@ -0,0 +1,82 @@
+#ifndef BOOST_METAPARSE_V1_KEYWORD_HPP
+#define BOOST_METAPARSE_V1_KEYWORD_HPP
+
+// Copyright Abel Sinkovics (abel@sinkovics.hu) 2009 - 2010.
+// 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)
+
+#include <boost/metaparse/v1/impl/void_.hpp>
+#include <boost/metaparse/v1/lit.hpp>
+#include <boost/metaparse/v1/return_.hpp>
+#include <boost/metaparse/v1/is_error.hpp>
+#include <boost/metaparse/v1/get_remaining.hpp>
+#include <boost/metaparse/v1/get_position.hpp>
+
+#include <boost/mpl/if.hpp>
+#include <boost/mpl/eval_if.hpp>
+#include <boost/mpl/empty.hpp>
+#include <boost/mpl/pop_front.hpp>
+#include <boost/mpl/front.hpp>
+
+namespace boost
+{
+ namespace metaparse
+ {
+ namespace v1
+ {
+ // Does not consume/check anything after the keyword
+ template <class Kw, class ResultType = impl::void_>
+ struct keyword
+ {
+ private:
+ struct nonempty
+ {
+ private:
+ typedef lit<typename boost::mpl::front<Kw>::type> next_char_parser;
+
+ typedef
+ keyword<typename boost::mpl::pop_front<Kw>::type, ResultType>
+ rest_parser;
+
+ template <class S, class Pos>
+ struct apply_unchecked :
+ rest_parser::template apply<
+ typename get_remaining<
+ typename next_char_parser::template apply<S, Pos>
+ >::type,
+ typename get_position<
+ typename next_char_parser::template apply<S, Pos>
+ >::type
+ >
+ {};
+ public:
+ template <class S, class Pos>
+ struct apply :
+ boost::mpl::eval_if<
+ typename is_error<
+ typename next_char_parser::template apply<S, Pos>
+ >::type,
+ typename next_char_parser::template apply<S, Pos>,
+ apply_unchecked<S, Pos>
+ >
+ {};
+ };
+ public:
+ typedef keyword type;
+
+ template <class S, class Pos>
+ struct apply :
+ boost::mpl::if_<
+ boost::mpl::empty<Kw>,
+ return_<ResultType>,
+ nonempty
+ >::type::template apply<S, Pos>
+ {};
+ };
+ }
+ }
+}
+
+#endif
+