ceph/src/boost/libs/xpressive/include/boost/xpressive/detail/static/transforms/as_inverse.hpp

   1 ///////////////////////////////////////////////////////////////////////////////
   2 // as_inverse.hpp
   3 //
   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)
   7
   8 #ifndef BOOST_XPRESSIVE_DETAIL_STATIC_TRANSFORMS_AS_INVERSE_HPP_EAN_04_05_2007
   9 #define BOOST_XPRESSIVE_DETAIL_STATIC_TRANSFORMS_AS_INVERSE_HPP_EAN_04_05_2007
  10
  11 // MS compatible compilers support #pragma once
  12 #if defined(_MSC_VER)
  13 # pragma once
  14 #endif
  15
  16 #include <boost/mpl/sizeof.hpp>
  17 #include <boost/mpl/not.hpp>
  18 #include <boost/xpressive/detail/detail_fwd.hpp>
  19 #include <boost/xpressive/detail/static/static.hpp>
  20 #include <boost/proto/core.hpp>
  21
  22 #define UNCV(x) typename remove_const<x>::type
  23 #define UNREF(x) typename remove_reference<x>::type
  24 #define UNCVREF(x) UNCV(UNREF(x))
  25
  26 namespace boost { namespace xpressive { namespace grammar_detail
  27 {
  28
  29     template<typename T>
  30     struct inverter
  31     {
  32         typedef T type;
  33         static T call(T t)
  34         {
  35             t.inverse();
  36             return t;
  37         }
  38     };
  39
  40     template<typename Traits, typename ICase, typename Not>
  41     struct inverter<detail::literal_matcher<Traits, ICase, Not> >
  42     {
  43         typedef detail::literal_matcher<Traits, ICase, typename mpl::not_<Not>::type> type;
  44         static type call(detail::literal_matcher<Traits, ICase, Not> t)
  45         {
  46             return type(t.ch_);
  47         }
  48     };
  49
  50     template<typename Traits>
  51     struct inverter<detail::logical_newline_matcher<Traits> >
  52     {
  53         // ~_ln matches any one character that is not in the "newline" character class
  54         typedef detail::posix_charset_matcher<Traits> type;
  55         static type call(detail::logical_newline_matcher<Traits> t)
  56         {
  57             return type(t.newline(), true);
  58         }
  59     };
  60
  61     template<typename Traits>
  62     struct inverter<detail::assert_word_matcher<detail::word_boundary<mpl::true_>, Traits> >
  63     {
  64         typedef detail::assert_word_matcher<detail::word_boundary<mpl::false_>, Traits> type;
  65         static type call(detail::assert_word_matcher<detail::word_boundary<mpl::true_>, Traits> t)
  66         {
  67             return type(t.word());
  68         }
  69     };
  70
  71     struct as_inverse : proto::callable
  72     {
  73         template<typename Sig>
  74         struct result;
  75
  76         template<typename This, typename Matcher>
  77         struct result<This(Matcher)>
  78           : inverter<UNCVREF(Matcher)>
  79         {};
  80
  81         template<typename Matcher>
  82         typename inverter<Matcher>::type operator ()(Matcher const &matcher) const
  83         {
  84             return inverter<Matcher>::call(matcher);
  85         }
  86     };
  87
  88 }}}
  89
  90 #undef UNCV
  91 #undef UNREF
  92 #undef UNCVREF
  93
  94 #endif