| /*============================================================================= |
| 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) |
| ==============================================================================*/ |
| #ifndef BOOST_SPIRIT_X3_NUMERIC_BOOL_HPP |
| #define BOOST_SPIRIT_X3_NUMERIC_BOOL_HPP |
| |
| #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 Encoding, typename BoolPolicies = bool_policies<T>> |
| struct bool_parser : parser<bool_parser<T, Encoding, BoolPolicies>> |
| { |
| typedef Encoding encoding; |
| typedef T attribute_type; |
| static bool const has_attribute = true; |
| |
| constexpr bool_parser() |
| : policies() {} |
| |
| constexpr bool_parser(BoolPolicies const& policies) |
| : policies(policies) {} |
| |
| template <typename Iterator, typename Context> |
| bool parse(Iterator& first, Iterator const& last |
| , Context const& context, unused_type, T& attr) const |
| { |
| x3::skip_over(first, last, context); |
| return policies.parse_true(first, last, attr, get_case_compare<encoding>(context)) |
| || policies.parse_false(first, last, attr, get_case_compare<encoding>(context)); |
| } |
| |
| template <typename Iterator, typename Context, typename Attribute> |
| bool parse(Iterator& first, Iterator const& last |
| , Context const& 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 Encoding, typename BoolPolicies = bool_policies<T>> |
| struct literal_bool_parser : parser<bool_parser<T, Encoding, BoolPolicies>> |
| { |
| typedef Encoding encoding; |
| typedef T attribute_type; |
| static bool const has_attribute = true; |
| |
| template <typename Value> |
| constexpr literal_bool_parser(Value const& n) |
| : policies(), n_(n) {} |
| |
| template <typename Value> |
| constexpr literal_bool_parser(Value const& n, BoolPolicies const& policies) |
| : policies(policies), n_(n) {} |
| |
| template <typename Iterator, typename Context> |
| bool parse_main(Iterator& first, Iterator const& last |
| , Context const& context, T& attr) const |
| { |
| x3::skip_over(first, last, context); |
| return (n_ && policies.parse_true(first, last, attr, get_case_compare<encoding>(context))) |
| || (!n_ && policies.parse_false(first, last, attr, get_case_compare<encoding>(context))); |
| } |
| |
| template <typename Iterator, typename Context> |
| bool parse(Iterator& first, Iterator const& last |
| , Context const& context, unused_type, T& attr) const |
| { |
| return parse_main(first, last, context, attr); |
| } |
| |
| template <typename Iterator, typename Context, typename Attribute> |
| bool parse(Iterator& first, Iterator const& last |
| , Context const& context, unused_type, Attribute& attr_param) const |
| { |
| // this case is called when Attribute is not T |
| T attr_; |
| if (parse_main(first, last, context, attr_)) |
| { |
| traits::move_to(attr_, attr_param); |
| return true; |
| } |
| return false; |
| } |
| |
| BoolPolicies policies; |
| T n_; |
| }; |
| |
| namespace standard |
| { |
| typedef bool_parser<bool, char_encoding::standard> bool_type; |
| constexpr bool_type bool_ = {}; |
| |
| typedef literal_bool_parser<bool, char_encoding::standard> true_type; |
| constexpr true_type true_ = { true }; |
| |
| typedef literal_bool_parser<bool, char_encoding::standard> false_type; |
| constexpr false_type false_ = { false }; |
| } |
| |
| #ifndef BOOST_SPIRIT_NO_STANDARD_WIDE |
| namespace standard_wide |
| { |
| typedef bool_parser<bool, char_encoding::standard_wide> bool_type; |
| constexpr bool_type bool_ = {}; |
| |
| typedef literal_bool_parser<bool, char_encoding::standard_wide> true_type; |
| constexpr true_type true_ = { true }; |
| |
| typedef literal_bool_parser<bool, char_encoding::standard_wide> false_type; |
| constexpr false_type false_ = { false }; |
| } |
| #endif |
| |
| namespace ascii |
| { |
| typedef bool_parser<bool, char_encoding::ascii> bool_type; |
| constexpr bool_type bool_ = {}; |
| |
| typedef literal_bool_parser<bool, char_encoding::ascii> true_type; |
| constexpr true_type true_ = { true }; |
| |
| typedef literal_bool_parser<bool, char_encoding::ascii> false_type; |
| constexpr false_type false_ = { false }; |
| } |
| |
| namespace iso8859_1 |
| { |
| typedef bool_parser<bool, char_encoding::iso8859_1> bool_type; |
| constexpr bool_type bool_ = {}; |
| |
| typedef literal_bool_parser<bool, char_encoding::iso8859_1> true_type; |
| constexpr true_type true_ = { true }; |
| |
| typedef literal_bool_parser<bool, char_encoding::iso8859_1> false_type; |
| constexpr false_type false_ = { false }; |
| } |
| |
| using standard::bool_; |
| using standard::true_; |
| using standard::false_; |
| |
| }}} |
| |
| #endif |