/*=============================================================================
|
Copyright (c) 2001-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(BOOST_SPIRIT_X3_CHAR_SET_OCT_12_2014_1051AM)
|
#define BOOST_SPIRIT_X3_CHAR_SET_OCT_12_2014_1051AM
|
|
#include <boost/spirit/home/x3/char/char_parser.hpp>
|
#include <boost/spirit/home/x3/char/detail/cast_char.hpp>
|
#include <boost/spirit/home/x3/support/traits/string_traits.hpp>
|
#include <boost/spirit/home/x3/support/utility/utf8.hpp>
|
#include <boost/spirit/home/x3/support/no_case.hpp>
|
#include <boost/spirit/home/support/char_set/basic_chset.hpp>
|
|
#include <boost/type_traits/is_same.hpp>
|
|
namespace boost { namespace spirit { namespace x3
|
{
|
///////////////////////////////////////////////////////////////////////////
|
// Parser for a character range
|
///////////////////////////////////////////////////////////////////////////
|
template <typename Encoding, typename Attribute = typename Encoding::char_type>
|
struct char_range
|
: char_parser< char_range<Encoding, Attribute> >
|
{
|
|
typedef typename Encoding::char_type char_type;
|
typedef Encoding encoding;
|
typedef Attribute attribute_type;
|
static bool const has_attribute =
|
!is_same<unused_type, attribute_type>::value;
|
|
|
constexpr char_range(char_type from_, char_type to_)
|
: from(from_), to(to_) {}
|
|
template <typename Char, typename Context>
|
bool test(Char ch_, Context const& context) const
|
{
|
|
char_type ch = char_type(ch_); // optimize for token based parsing
|
return (get_case_compare<encoding>(context)(ch, from) >= 0)
|
&& (get_case_compare<encoding>(context)(ch , to) <= 0);
|
}
|
|
char_type from, to;
|
};
|
|
|
///////////////////////////////////////////////////////////////////////////
|
// Parser for a character set
|
///////////////////////////////////////////////////////////////////////////
|
template <typename Encoding, typename Attribute = typename Encoding::char_type>
|
struct char_set : char_parser<char_set<Encoding, Attribute>>
|
{
|
typedef typename Encoding::char_type char_type;
|
typedef Encoding encoding;
|
typedef Attribute attribute_type;
|
static bool const has_attribute =
|
!is_same<unused_type, attribute_type>::value;
|
|
template <typename String>
|
char_set(String const& str)
|
{
|
using spirit::x3::detail::cast_char;
|
|
auto* definition = traits::get_c_string(str);
|
auto ch = *definition++;
|
while (ch)
|
{
|
auto next = *definition++;
|
if (next == '-')
|
{
|
next = *definition++;
|
if (next == 0)
|
{
|
chset.set(cast_char<char_type>(ch));
|
chset.set('-');
|
break;
|
}
|
chset.set(
|
cast_char<char_type>(ch),
|
cast_char<char_type>(next)
|
);
|
}
|
else
|
{
|
chset.set(cast_char<char_type>(ch));
|
}
|
ch = next;
|
}
|
}
|
|
template <typename Char, typename Context>
|
bool test(Char ch_, Context const& context) const
|
{
|
return get_case_compare<encoding>(context).in_set(ch_, chset);
|
}
|
|
support::detail::basic_chset<char_type> chset;
|
};
|
|
template <typename Encoding, typename Attribute>
|
struct get_info<char_set<Encoding, Attribute>>
|
{
|
typedef std::string result_type;
|
std::string operator()(char_set<Encoding, Attribute> const& /* p */) const
|
{
|
return "char-set";
|
}
|
};
|
|
template <typename Encoding, typename Attribute>
|
struct get_info<char_range<Encoding, Attribute>>
|
{
|
typedef std::string result_type;
|
std::string operator()(char_range<Encoding, Attribute> const& p) const
|
{
|
return "char_range \"" + to_utf8(Encoding::toucs4(p.from)) + '-' + to_utf8(Encoding::toucs4(p.to))+ '"';
|
}
|
};
|
|
}}}
|
|
#endif
|
