123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100 |
- ///////////////////////////////////////////////////////////////////////////////
- // set.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_SET_HPP_EAN_10_04_2005
- #define BOOST_XPRESSIVE_DETAIL_SET_HPP_EAN_10_04_2005
- // MS compatible compilers support #pragma once
- #if defined(_MSC_VER)
- # pragma once
- # pragma warning(push)
- # pragma warning(disable : 4127) // conditional expression constant
- # pragma warning(disable : 4100) // unreferenced formal parameter
- # pragma warning(disable : 4351) // vc8 new behavior: elements of array 'foo' will be default initialized
- #endif
- #include <algorithm>
- #include <boost/mpl/assert.hpp>
- #include <boost/type_traits/same_traits.hpp>
- #include <boost/xpressive/detail/detail_fwd.hpp>
- #include <boost/xpressive/detail/core/quant_style.hpp>
- #include <boost/xpressive/detail/core/state.hpp>
- namespace boost { namespace xpressive { namespace detail
- {
- ///////////////////////////////////////////////////////////////////////////////
- // set_matcher
- //
- template<typename Traits, typename Size>
- struct set_matcher
- : quant_style_fixed_width<1>
- {
- typedef typename Traits::char_type char_type;
- char_type set_[ Size::value ];
- bool not_;
- bool icase_;
- set_matcher()
- : set_()
- , not_(false)
- , icase_(false)
- {
- }
- void inverse()
- {
- this->not_ = !this->not_;
- }
- void nocase(Traits const &tr)
- {
- this->icase_ = true;
- for(int i = 0; i < Size::value; ++i)
- {
- this->set_[i] = tr.translate_nocase(this->set_[i]);
- }
- }
- bool in_set(Traits const &tr, char_type ch) const
- {
- char_type const *begin = &this->set_[0], *end = begin + Size::value;
- ch = this->icase_ ? tr.translate_nocase(ch) : tr.translate(ch);
- return end != std::find(begin, end, ch);
- }
- template<typename BidiIter, typename Next>
- bool match(match_state<BidiIter> &state, Next const &next) const
- {
- if(state.eos() || this->not_ == this->in_set(traits_cast<Traits>(state), *state.cur_))
- {
- return false;
- }
- if(++state.cur_, next.match(state))
- {
- return true;
- }
- return --state.cur_, false;
- }
- };
- ///////////////////////////////////////////////////////////////////////////////
- // set_initializer
- struct set_initializer
- {
- };
- #if defined(_MSC_VER)
- # pragma warning(pop)
- #endif
- }}} // namespace boost::xpressive::detail
- #endif
|