mirror of
https://github.com/bolero-MURAKAMI/Sprout.git
synced 2024-11-16 10:49:05 +00:00
75 lines
2.3 KiB
C++
75 lines
2.3 KiB
C++
#ifndef SPROUT_WEED_CONTEXT_PARSE_CONTEXT_TERMINAL_STRING_HPP
|
|
#define SPROUT_WEED_CONTEXT_PARSE_CONTEXT_TERMINAL_STRING_HPP
|
|
|
|
#include <type_traits>
|
|
#include <sprout/config.hpp>
|
|
#include <sprout/container/begin.hpp>
|
|
#include <sprout/container/end.hpp>
|
|
#include <sprout/container/size.hpp>
|
|
#include <sprout/iterator/next.hpp>
|
|
#include <sprout/tuple/tuple.hpp>
|
|
#include <sprout/weed/eval_result.hpp>
|
|
#include <sprout/weed/expr/tag.hpp>
|
|
#include <sprout/weed/traits/type/is_string.hpp>
|
|
#include <sprout/weed/traits/expr/tag_of.hpp>
|
|
#include <sprout/weed/traits/parser/attribute_of.hpp>
|
|
#include <sprout/weed/context/parse_context_fwd.hpp>
|
|
#include HDR_ALGORITHM_SSCRISK_CEL_OR_SPROUT
|
|
#include <sprout/iterator/operation.hpp>
|
|
|
|
namespace sprout {
|
|
namespace weed {
|
|
//
|
|
// parse_context::eval
|
|
//
|
|
template<typename Iterator>
|
|
template<typename Expr>
|
|
struct parse_context<Iterator>::eval<
|
|
Expr,
|
|
typename std::enable_if<
|
|
std::is_same<
|
|
typename sprout::weed::traits::tag_of<Expr>::type,
|
|
sprout::weed::tag::terminal
|
|
>::value
|
|
&& sprout::weed::traits::is_string<
|
|
typename sprout::tuples::tuple_element<0, typename Expr::args_type>::type
|
|
>::value
|
|
>::type
|
|
> {
|
|
private:
|
|
typedef sprout::weed::parse_context<Iterator> context_type;
|
|
public:
|
|
typedef sprout::weed::unused attribute_type;
|
|
typedef sprout::weed::eval_result<context_type, Iterator, attribute_type> result_type;
|
|
private:
|
|
template<typename Arg>
|
|
SPROUT_CONSTEXPR result_type call(
|
|
Arg const& arg,
|
|
context_type const& ctx
|
|
) const
|
|
{
|
|
return sprout::distance(ctx.begin(), ctx.end()) >= sprout::size(arg)
|
|
&&NS_SSCRISK_CEL_OR_SPROUT::equal(sprout::begin(arg), sprout::end(arg), ctx.begin())
|
|
? result_type(
|
|
true,
|
|
sprout::next(ctx.begin(),
|
|
sprout::size(arg)),
|
|
attribute_type(),
|
|
context_type(ctx, sprout::next(ctx.begin(), sprout::size(arg)))
|
|
)
|
|
: result_type(false, ctx.begin(), attribute_type(), ctx)
|
|
;
|
|
}
|
|
public:
|
|
SPROUT_CONSTEXPR result_type operator()(
|
|
Expr const& expr,
|
|
context_type const& ctx
|
|
) const
|
|
{
|
|
return call(sprout::tuples::get<0>(expr.args()), ctx);
|
|
}
|
|
};
|
|
} // namespace weed
|
|
} // namespace sprout
|
|
|
|
#endif // #ifndef SPROUT_WEED_CONTEXT_PARSE_CONTEXT_TERMINAL_STRING_HPP
|