1 files changed, 106 insertions, 0 deletions
diff --git a/boost/spirit/home/x3/numeric/bool.hpp b/boost/spirit/home/x3/numeric/bool.hpp
new file mode 100644
index 0000000000..1fb21c16fe
--- /dev/null
+++ b/boost/spirit/home/x3/numeric/bool.hpp
@@ -0,0 +1,106 @@
+/*=============================================================================
+    Copyright (c) 2009  Hartmut Kaiser
+    Copyright (c) 2014  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(SPIRIT_X3_BOOL_SEP_29_2009_0709AM)
+#define SPIRIT_X3_BOOL_SEP_29_2009_0709AM
+
+#include <boost/spirit/home/x3/core/parser.hpp>
+#include <boost/spirit/home/x3/core/skip_over.hpp>
+#include <boost/spirit/home/x3/numeric/bool_policies.hpp>
+
+namespace boost { namespace spirit { namespace x3
+{
+    template <typename T, typename BoolPolicies = bool_policies<T>>
+    struct bool_parser : parser<bool_parser<T, BoolPolicies>>
+    {
+        typedef T attribute_type;
+        static bool const has_attribute = true;
+
+        bool_parser()
+        	: policies() {}
+
+        bool_parser(BoolPolicies const& policies)
+        	: policies(policies) {}
+
+        template <typename Iterator, typename Context>
+        bool parse(Iterator& first, Iterator const& last
+          , Context& context, unused_type, T& attr) const
+        {
+            x3::skip_over(first, last, context);
+            return policies.parse_true(first, last, attr)
+                || policies.parse_false(first, last, attr);
+        }
+
+        template <typename Iterator, typename Context, typename Attribute>
+        bool parse(Iterator& first, Iterator const& last
+          , Context& context, unused_type, Attribute& attr_param) const
+        {
+            // this case is called when Attribute is not T
+            T attr_;
+            if (parse(first, last, context, unused, attr_))
+            {
+                traits::move_to(attr_, attr_param);
+                return true;
+            }
+            return false;
+        }
+
+        BoolPolicies policies;
+    };
+
+    template <typename T, typename BoolPolicies = bool_policies<T>>
+    struct literal_bool_parser : parser<bool_parser<T, BoolPolicies>>
+    {
+        typedef T attribute_type;
+        static bool const has_attribute = true;
+
+        template <typename Value>
+        literal_bool_parser(Value const& n)
+        	: policies(), n_(n) {}
+
+        template <typename Value>
+        literal_bool_parser(Value const& n, BoolPolicies const& policies)
+        	: policies(policies), n_(n) {}
+
+        template <typename Iterator, typename Context>
+        bool parse(Iterator& first, Iterator const& last
+          , Context& context, unused_type, T& attr) const
+        {
+            x3::skip_over(first, last, context);
+            return (n_ && policies.parse_true(first, last, attr))
+                || (!n_ && policies.parse_false(first, last, attr));
+        }
+
+        template <typename Iterator, typename Context, typename Attribute>
+        bool parse(Iterator& first, Iterator const& last
+          , Context& context, unused_type, Attribute& attr_param) const
+        {
+            // this case is called when Attribute is not T
+            T attr_;
+            if (parse(first, last, context, unused, attr_))
+            {
+                traits::move_to(attr_, attr_param);
+                return true;
+            }
+            return false;
+        }
+
+        BoolPolicies policies;
+        T n_;
+    };
+
+    typedef bool_parser<bool> bool_type;
+    bool_type const bool_ = {};
+
+    typedef literal_bool_parser<bool> true_type;
+    true_type const true_ = { true };
+
+    typedef literal_bool_parser<bool> false_type;
+    false_type const false_ = { false };
+}}}
+
+#endif