1 ///////////////////////////////////////////////////////////////////////////////
4 // Copyright 2008 Eric Niebler. Distributed under the Boost
5 // Software License, Version 1.0. (See accompanying file
6 // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
8 #ifndef BOOST_XPRESSIVE_DETAIL_UTILITY_TRAITS_UTILS_HPP_EAN_10_04_2005
9 #define BOOST_XPRESSIVE_DETAIL_UTILITY_TRAITS_UTILS_HPP_EAN_10_04_2005
11 // MS compatible compilers support #pragma once
12 #if defined(_MSC_VER) && (_MSC_VER >= 1020)
14 # pragma warning(push)
15 # pragma warning(disable : 4100) // unreferenced formal parameter
19 #include <boost/mpl/bool.hpp>
20 #include <boost/mpl/assert.hpp>
21 #include <boost/utility/enable_if.hpp>
22 #include <boost/type_traits/is_same.hpp>
23 #include <boost/iterator/transform_iterator.hpp>
24 #include <boost/xpressive/detail/utility/algorithm.hpp>
26 namespace boost { namespace xpressive { namespace detail
29 ///////////////////////////////////////////////////////////////////////////////
32 template<typename ToChar, typename FromChar, typename Traits>
34 char_cast(FromChar from, Traits const &, typename enable_if<is_same<ToChar, FromChar> >::type * = 0)
39 template<typename ToChar, typename FromChar, typename Traits>
41 char_cast(FromChar from, Traits const &tr, typename disable_if<is_same<ToChar, FromChar> >::type * = 0)
43 BOOST_MPL_ASSERT((is_same<FromChar, char>));
44 return tr.widen(from);
47 ///////////////////////////////////////////////////////////////////////////////
50 template<typename Traits>
53 typedef typename Traits::char_type result_type;
54 explicit widen_fun(Traits const &tr)
58 result_type operator()(char ch) const
60 return this->traits_.widen(ch);
63 Traits const &traits_;
66 ///////////////////////////////////////////////////////////////////////////////
72 , typename ToChar = typename detail::range_data<To>::type
73 , typename FromChar = typename detail::range_data<From>::type
77 BOOST_MPL_ASSERT((is_same<FromChar, char>));
78 typedef To const result_type;
79 template<typename Traits>
80 result_type operator()(From const &from, Traits const &tr) const
82 widen_fun<Traits> widen(tr);
84 boost::make_transform_iterator(detail::data_begin(from), widen)
85 , boost::make_transform_iterator(detail::data_end(from), widen)
91 template<typename To, typename From, typename Char>
92 struct string_cast_<To, From, Char, Char>
94 typedef To const result_type;
95 template<typename Traits>
96 result_type operator()(From const &from, Traits const &) const
98 To to(detail::data_begin(from), detail::data_end(from));
103 template<typename From, typename Char>
104 struct string_cast_<From, From, Char, Char>
106 typedef From const &result_type;
107 template<typename Traits>
108 result_type operator()(From const &from, Traits const &) const
114 ///////////////////////////////////////////////////////////////////////////////
117 template<typename To, typename From, typename Traits>
118 typename string_cast_<To, From>::result_type
119 string_cast(From const &from, Traits const &tr)
121 return string_cast_<To, From>()(from, tr);
124 ///////////////////////////////////////////////////////////////////////////////
127 template<typename Char, typename Traits>
128 inline Char translate(Char ch, Traits const &tr, mpl::false_) // case-sensitive
130 return tr.translate(ch);
133 template<typename Char, typename Traits>
134 inline Char translate(Char ch, Traits const &tr, mpl::true_) // case-insensitive
136 return tr.translate_nocase(ch);
139 }}} // namespace boost::xpressive::detail
141 #if defined(_MSC_VER) && (_MSC_VER >= 1020)
142 # pragma warning(pop)