/////////////////////////////////////////////////////////////////////////////// | |
// transmogrify.hpp | |
// | |
// Copyright 2008 Eric Niebler. 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_XPRESSIVE_DETAIL_STATIC_TRANSMOGRIFY_HPP_EAN_10_04_2005 | |
#define BOOST_XPRESSIVE_DETAIL_STATIC_TRANSMOGRIFY_HPP_EAN_10_04_2005 | |
// MS compatible compilers support #pragma once | |
#if defined(_MSC_VER) && (_MSC_VER >= 1020) | |
# pragma once | |
#endif | |
#include <cstring> // for std::strlen | |
#include <boost/mpl/if.hpp> | |
#include <boost/mpl/or.hpp> | |
#include <boost/mpl/bool.hpp> | |
#include <boost/mpl/assert.hpp> | |
#include <boost/type_traits/is_same.hpp> | |
#include <boost/xpressive/detail/detail_fwd.hpp> | |
#include <boost/xpressive/detail/core/matchers.hpp> | |
#include <boost/xpressive/detail/static/placeholders.hpp> | |
#include <boost/xpressive/detail/utility/dont_care.hpp> | |
#include <boost/xpressive/detail/utility/traits_utils.hpp> | |
namespace boost { namespace xpressive { namespace detail | |
{ | |
template<typename T, typename Char> | |
struct is_char_literal | |
: mpl::or_<is_same<T, Char>, is_same<T, char> > | |
{}; | |
/////////////////////////////////////////////////////////////////////////////// | |
// transmogrify | |
// | |
template<typename BidiIter, typename ICase, typename Traits, typename Matcher, typename EnableIf = void> | |
struct default_transmogrify | |
{ | |
typedef typename Traits::char_type char_type; | |
typedef typename Traits::string_type string_type; | |
typedef typename mpl::if_c | |
< | |
is_char_literal<Matcher, char_type>::value | |
, literal_matcher<Traits, ICase, mpl::false_> | |
, string_matcher<Traits, ICase> | |
>::type type; | |
template<typename Matcher2, typename Visitor> | |
static type call(Matcher2 const &m, Visitor &visitor) | |
{ | |
return default_transmogrify::call_(m, visitor, is_char_literal<Matcher2, char_type>()); | |
} | |
template<typename Matcher2, typename Visitor> | |
static type call_(Matcher2 const &m, Visitor &visitor, mpl::true_) | |
{ | |
char_type ch = char_cast<char_type>(m, visitor.traits()); | |
return type(ch, visitor.traits()); | |
} | |
template<typename Matcher2, typename Visitor> | |
static type call_(Matcher2 const &m, Visitor &visitor, mpl::false_) | |
{ | |
string_type str = string_cast<string_type>(m, visitor.traits()); | |
return type(str, visitor.traits()); | |
} | |
}; | |
template<typename BidiIter, typename ICase, typename Traits, typename Matcher> | |
struct default_transmogrify<BidiIter, ICase, Traits, Matcher, typename Matcher::is_boost_xpressive_xpression_> | |
{ | |
typedef Matcher type; | |
template<typename Matcher2> | |
static Matcher2 const &call(Matcher2 const &m, dont_care) | |
{ | |
return m; | |
} | |
}; | |
template<typename BidiIter, typename ICase, typename Traits, typename Matcher> | |
struct transmogrify | |
: default_transmogrify<BidiIter, ICase, Traits, Matcher> | |
{}; | |
template<typename BidiIter, typename ICase, typename Traits> | |
struct transmogrify<BidiIter, ICase, Traits, assert_bol_placeholder > | |
{ | |
typedef assert_bol_matcher<Traits> type; | |
template<typename Matcher2, typename Visitor> | |
static type call(Matcher2, Visitor &visitor) | |
{ | |
return type(visitor.traits()); | |
} | |
}; | |
template<typename BidiIter, typename ICase, typename Traits> | |
struct transmogrify<BidiIter, ICase, Traits, assert_eol_placeholder > | |
{ | |
typedef assert_eol_matcher<Traits> type; | |
template<typename Matcher2, typename Visitor> | |
static type call(Matcher2, Visitor &visitor) | |
{ | |
return type(visitor.traits()); | |
} | |
}; | |
template<typename BidiIter, typename ICase, typename Traits> | |
struct transmogrify<BidiIter, ICase, Traits, logical_newline_placeholder > | |
{ | |
typedef logical_newline_matcher<Traits> type; | |
template<typename Matcher2, typename Visitor> | |
static type call(Matcher2, Visitor &visitor) | |
{ | |
return type(visitor.traits()); | |
} | |
}; | |
template<typename BidiIter, typename ICase, typename Traits, typename Char> | |
struct transmogrify<BidiIter, ICase, Traits, range_placeholder<Char> > | |
{ | |
// By design, we don't widen character ranges. | |
typedef typename iterator_value<BidiIter>::type char_type; | |
BOOST_MPL_ASSERT((is_same<Char, char_type>)); | |
typedef range_matcher<Traits, ICase> type; | |
template<typename Matcher2, typename Visitor> | |
static type call(Matcher2 const &m, Visitor &visitor) | |
{ | |
return type(m.ch_min_, m.ch_max_, m.not_, visitor.traits()); | |
} | |
}; | |
template<typename BidiIter, typename ICase, typename Traits> | |
struct transmogrify<BidiIter, ICase, Traits, mark_placeholder > | |
{ | |
typedef mark_matcher<Traits, ICase> type; | |
template<typename Matcher2, typename Visitor> | |
static type call(Matcher2 const &m, Visitor &visitor) | |
{ | |
return type(m.mark_number_, visitor.traits()); | |
} | |
}; | |
template<typename BidiIter, typename ICase, typename Traits> | |
struct transmogrify<BidiIter, ICase, Traits, posix_charset_placeholder > | |
{ | |
typedef posix_charset_matcher<Traits> type; | |
template<typename Matcher2, typename Visitor> | |
static type call(Matcher2 const &m, Visitor &visitor) | |
{ | |
char const *name_end = m.name_ + std::strlen(m.name_); | |
return type(visitor.traits().lookup_classname(m.name_, name_end, ICase::value), m.not_); | |
} | |
}; | |
template<typename BidiIter, typename Traits, typename Size> | |
struct transmogrify<BidiIter, mpl::true_, Traits, set_matcher<Traits, Size> > | |
{ | |
typedef set_matcher<Traits, Size> type; | |
template<typename Matcher2, typename Visitor> | |
static type call(Matcher2 m, Visitor &visitor) | |
{ | |
m.nocase(visitor.traits()); | |
return m; | |
} | |
}; | |
template<typename BidiIter, typename ICase, typename Traits, typename Cond> | |
struct transmogrify<BidiIter, ICase, Traits, assert_word_placeholder<Cond> > | |
{ | |
typedef assert_word_matcher<Cond, Traits> type; | |
template<typename Visitor> | |
static type call(dont_care, Visitor &visitor) | |
{ | |
return type(visitor.traits()); | |
} | |
}; | |
template<typename BidiIter, typename ICase, typename Traits> | |
struct transmogrify<BidiIter, ICase, Traits, reference_wrapper<basic_regex<BidiIter> > > | |
{ | |
typedef regex_byref_matcher<BidiIter> type; | |
template<typename Matcher2> | |
static type call(Matcher2 const &m, dont_care) | |
{ | |
return type(detail::core_access<BidiIter>::get_regex_impl(m.get())); | |
} | |
}; | |
template<typename BidiIter, typename ICase, typename Traits> | |
struct transmogrify<BidiIter, ICase, Traits, reference_wrapper<basic_regex<BidiIter> const> > | |
{ | |
typedef regex_byref_matcher<BidiIter> type; | |
template<typename Matcher2> | |
static type call(Matcher2 const &m, dont_care) | |
{ | |
return type(detail::core_access<BidiIter>::get_regex_impl(m.get())); | |
} | |
}; | |
template<typename BidiIter, typename ICase, typename Traits> | |
struct transmogrify<BidiIter, ICase, Traits, tracking_ptr<regex_impl<BidiIter> > > | |
{ | |
typedef regex_matcher<BidiIter> type; | |
template<typename Matcher2> | |
static type call(Matcher2 const &m, dont_care) | |
{ | |
return type(m.get()); | |
} | |
}; | |
template<typename BidiIter, typename ICase, typename Traits> | |
struct transmogrify<BidiIter, ICase, Traits, self_placeholder > | |
{ | |
typedef regex_byref_matcher<BidiIter> type; | |
template<typename Matcher2, typename Visitor> | |
static type call(Matcher2, Visitor &visitor) | |
{ | |
return type(visitor.self()); | |
} | |
}; | |
}}} | |
#endif |