/*=============================================================================
  Copyright (c) 2011-2019 Bolero MURAKAMI
  https://github.com/bolero-MURAKAMI/Sprout

  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 SPROUT_WEED_PARSER_LIM_HPP
#define SPROUT_WEED_PARSER_LIM_HPP

#include <sprout/config.hpp>
#include <sprout/workaround/std/cstddef.hpp>
#include <sprout/type_traits/integral_constant.hpp>
#include <sprout/type_traits/identity.hpp>
#include <sprout/weed/parser_result.hpp>
#include <sprout/weed/limited.hpp>
#include <sprout/weed/expr/make_terminal_or_expr.hpp>
#include <sprout/weed/expr/eval.hpp>
#include <sprout/weed/parser/parser_base.hpp>
#include <sprout/weed/traits/expr/terminal_or_expr_of.hpp>
#include <sprout/weed/traits/parser/attribute_of.hpp>
#include <sprout/weed/traits/parser/limit_of.hpp>

namespace sprout {
	namespace weed {
		//
		// limit_p
		//
		template<typename Parser, std::size_t Limit>
		struct limit_p
			: public sprout::weed::parser_base
		{
		public:
			SPROUT_STATIC_CONSTEXPR std::size_t limit = Limit;
		public:
			template<typename Context, typename Iterator>
			struct attribute
				: public sprout::weed::traits::attribute_of<Parser, Iterator, Context>
			{};
			template<typename Context, typename Iterator>
			struct result
				: public sprout::identity<sprout::weed::parser_result<Iterator, typename attribute<Context, Iterator>::type> >
			{};
		private:
			typedef typename sprout::weed::traits::terminal_or_expr_of<Parser>::type expr_type;
		private:
			expr_type expr_;
			sprout::weed::limited::category limited_category_;
		public:
			SPROUT_CONSTEXPR limit_p() SPROUT_DEFAULTED_DEFAULT_CONSTRUCTOR_DECL
			explicit SPROUT_CONSTEXPR limit_p(
				Parser const& p,
				sprout::weed::limited::category limited_category = sprout::weed::limited::discard
				)
				: expr_(sprout::weed::make_terminal_or_expr(p))
				, limited_category_(limited_category)
			{}
			SPROUT_CONSTEXPR sprout::weed::limited::category limited_category() const {
				return limited_category_;
			}
			template<typename Context, typename Iterator>
			SPROUT_CONSTEXPR typename result<Context, Iterator>::type operator()(
				Iterator, Iterator,
				Context const& ctx
				) const
			{
				return sprout::weed::eval(expr_, ctx).presult();
			}
		};
		template<typename Parser, std::size_t Limit>
		SPROUT_CONSTEXPR_OR_CONST std::size_t limit_p<Parser, Limit>::limit;

		//
		// lim
		//
		template<std::size_t Limit, typename Parser>
		SPROUT_CONSTEXPR sprout::weed::limit_p<Parser, Limit> lim(Parser const& p) {
			return sprout::weed::limit_p<Parser, Limit>(p);
		}
		template<std::size_t Limit, typename Parser>
		SPROUT_CONSTEXPR sprout::weed::limit_p<Parser, Limit> lim(
			Parser const& p,
			sprout::weed::limited::category limited_category
			)
		{
			return sprout::weed::limit_p<Parser, Limit>(p, limited_category);
		}

		namespace traits {
			//
			// limit_of
			//
			template<typename Parser, std::size_t Limit, typename Iterator, typename Context>
			struct limit_of<sprout::weed::limit_p<Parser, Limit>, Iterator, Context>
				: public sprout::integral_constant<std::size_t, Limit>
			{};
		}	// namespace traits
	}	// namespace weed
}	// namespace sprout

#endif	// #ifndef SPROUT_WEED_PARSER_LIM_HPP