///////////////////////////////////////////////////////////////////////////////

// literal_matcher.hpp

//

//  Copyright 2007 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_CORE_MATCHER_LITERAL_MATCHER_HPP_EAN_10_04_2005

#define BOOST_XPRESSIVE_DETAIL_CORE_MATCHER_LITERAL_MATCHER_HPP_EAN_10_04_2005



// MS compatible compilers support #pragma once

#if defined(_MSC_VER) && (_MSC_VER >= 1020)

# pragma once

#endif



#include <boost/xpressive/detail/detail_fwd.hpp>

#include <boost/xpressive/detail/core/quant_style.hpp>

#include <boost/xpressive/detail/core/state.hpp>

#include <boost/xpressive/detail/utility/traits_utils.hpp>



namespace boost { namespace xpressive { namespace detail

{



    ///////////////////////////////////////////////////////////////////////////////

    // literal_matcher

    //

    template<typename Traits, bool ICase, bool Not>

    struct literal_matcher

      : quant_style_fixed_width<1>

    {

        typedef typename Traits::char_type char_type;

        typedef mpl::bool_<Not> not_type;

        typedef mpl::bool_<ICase> icase_type;

        char_type ch_;



        typedef literal_matcher<Traits, ICase, !Not> inverse_type;

        explicit literal_matcher(inverse_type that)

          : ch_(that.ch_)

        {}



        literal_matcher(char_type ch, Traits const &traits)

          : ch_(detail::translate(ch, traits, icase_type()))

        {}



        template<typename BidiIter, typename Next>

        bool match(match_state<BidiIter> &state, Next const &next) const

        {

            if(state.eos() || Not ==

                (detail::translate(*state.cur_, traits_cast<Traits>(state), icase_type()) == this->ch_))

            {

                return false;

            }



            ++state.cur_;

            if(next.match(state))

            {

                return true;

            }



            --state.cur_;

            return false;

        }

    };



}}}



#endif

