mirror of
https://github.com/bolero-MURAKAMI/Sprout.git
synced 2024-12-23 21:25:49 +00:00
sprout/weed/parser/directive/as_array.hpp 追加
sprout/weed/parser/directive/as_tuple.hpp 追加
This commit is contained in:
parent
a110b0ad0f
commit
e731c3caf4
4 changed files with 200 additions and 2 deletions
|
@ -13,15 +13,29 @@ namespace sprout {
|
|||
//
|
||||
namespace detail {
|
||||
template<std::size_t N, typename Head, typename... Tail>
|
||||
struct tppack_at_impl {
|
||||
struct tppack_at_impl_1 {
|
||||
public:
|
||||
typedef typename sprout::detail::tppack_at_impl<N - 1, Tail...>::type type;
|
||||
};
|
||||
template<typename Head, typename... Tail>
|
||||
struct tppack_at_impl<0, Head, Tail...> {
|
||||
struct tppack_at_impl_1<0, Head, Tail...> {
|
||||
public:
|
||||
typedef Head type;
|
||||
};
|
||||
template<
|
||||
std::size_t N,
|
||||
typename... Args,
|
||||
typename std::enable_if<(N < sizeof...(Args))>::type*& = sprout::enabler
|
||||
>
|
||||
struct tppack_at_impl
|
||||
: public sprout::detail::tppack_at_impl_1<N, Args...>
|
||||
{};
|
||||
template<
|
||||
std::size_t N,
|
||||
typename... Args,
|
||||
typename std::enable_if<(N >= sizeof...(Args))>::type*& = sprout::enabler
|
||||
>
|
||||
struct tppack_at_impl {};
|
||||
} // namespace detail
|
||||
template<std::size_t N, typename... Args>
|
||||
struct tppack_at
|
||||
|
|
|
@ -4,5 +4,7 @@
|
|||
#include <sprout/config.hpp>
|
||||
#include <sprout/weed/parser/directive/omit.hpp>
|
||||
#include <sprout/weed/parser/directive/repeat.hpp>
|
||||
#include <sprout/weed/parser/directive/as_array.hpp>
|
||||
#include <sprout/weed/parser/directive/as_tuple.hpp>
|
||||
|
||||
#endif // #ifndef SPROUT_WEED_PARSER_DIRECTIVE_HPP
|
||||
|
|
91
sprout/weed/parser/directive/as_array.hpp
Normal file
91
sprout/weed/parser/directive/as_array.hpp
Normal file
|
@ -0,0 +1,91 @@
|
|||
#ifndef SPROUT_WEED_PARSER_DIRECTIVE_AS_ARRAY_HPP
|
||||
#define SPROUT_WEED_PARSER_DIRECTIVE_AS_ARRAY_HPP
|
||||
|
||||
#include <cstddef>
|
||||
#include <sprout/config.hpp>
|
||||
#include <sprout/array.hpp>
|
||||
#include <sprout/weed/parser_result.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/type/is_unused.hpp>
|
||||
#include <sprout/weed/traits/expr/terminal_or_expr_of.hpp>
|
||||
#include <sprout/weed/traits/parser/attribute_of.hpp>
|
||||
|
||||
namespace sprout {
|
||||
namespace weed {
|
||||
//
|
||||
// as_array_p
|
||||
//
|
||||
template<typename Parser>
|
||||
struct as_array_p
|
||||
: public sprout::weed::parser_base
|
||||
{
|
||||
public:
|
||||
template<typename Context, typename Iterator>
|
||||
struct attribute {
|
||||
private:
|
||||
typedef typename sprout::weed::traits::attribute_of<Parser, Iterator, Context>::type attr_type;
|
||||
private:
|
||||
static_assert(!sprout::weed::traits::is_unused<attr_type>::value, "invalid attribute : unused");
|
||||
public:
|
||||
typedef sprout::array<attr_type, 1> type;
|
||||
};
|
||||
template<typename Context, typename Iterator>
|
||||
struct result {
|
||||
public:
|
||||
typedef sprout::weed::parser_result<Iterator, typename attribute<Context, Iterator>::type> type;
|
||||
};
|
||||
private:
|
||||
typedef typename sprout::weed::traits::terminal_or_expr_of<Parser>::type expr_type;
|
||||
private:
|
||||
expr_type expr_;
|
||||
private:
|
||||
template<typename Context, typename Iterator, typename Result>
|
||||
SPROUT_CONSTEXPR typename result<Context, Iterator>::type call(
|
||||
Iterator first,
|
||||
Result const& res
|
||||
) const
|
||||
{
|
||||
typedef typename result<Context, Iterator>::type result_type;
|
||||
typedef typename attribute<Context, Iterator>::type attribute_type;
|
||||
return res.success()
|
||||
? result_type(true, res.current(), attribute_type{res.attr()})
|
||||
: result_type(false, first, attribute_type())
|
||||
;
|
||||
}
|
||||
public:
|
||||
as_array_p() = default;
|
||||
SPROUT_CONSTEXPR explicit as_array_p(
|
||||
Parser const& p
|
||||
)
|
||||
: expr_(sprout::weed::make_terminal_or_expr(p))
|
||||
{}
|
||||
template<typename Context, typename Iterator>
|
||||
SPROUT_CONSTEXPR typename result<Context, Iterator>::type operator()(
|
||||
Iterator first,
|
||||
Iterator last,
|
||||
Context const& ctx
|
||||
) const
|
||||
{
|
||||
return call<Context>(first, sprout::weed::eval(expr_, ctx));
|
||||
}
|
||||
};
|
||||
//
|
||||
// as_array_d
|
||||
//
|
||||
struct as_array_d {
|
||||
public:
|
||||
template<typename Parser>
|
||||
SPROUT_CONSTEXPR sprout::weed::as_array_p<Parser> operator[](Parser const& p) const {
|
||||
return sprout::weed::as_array_p<Parser>(p);
|
||||
}
|
||||
};
|
||||
//
|
||||
// as_array
|
||||
//
|
||||
SPROUT_CONSTEXPR sprout::weed::as_array_d as_array = sprout::weed::as_array_d();
|
||||
} // namespace weed
|
||||
} // namespace sprout
|
||||
|
||||
#endif // #ifndef SPROUT_WEED_PARSER_DIRECTIVE_AS_ARRAY_HPP
|
91
sprout/weed/parser/directive/as_tuple.hpp
Normal file
91
sprout/weed/parser/directive/as_tuple.hpp
Normal file
|
@ -0,0 +1,91 @@
|
|||
#ifndef SPROUT_WEED_PARSER_DIRECTIVE_AS_TUPLE_HPP
|
||||
#define SPROUT_WEED_PARSER_DIRECTIVE_AS_TUPLE_HPP
|
||||
|
||||
#include <cstddef>
|
||||
#include <sprout/config.hpp>
|
||||
#include <sprout/tuple/tuple.hpp>
|
||||
#include <sprout/weed/parser_result.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/type/is_unused.hpp>
|
||||
#include <sprout/weed/traits/expr/terminal_or_expr_of.hpp>
|
||||
#include <sprout/weed/traits/parser/attribute_of.hpp>
|
||||
|
||||
namespace sprout {
|
||||
namespace weed {
|
||||
//
|
||||
// as_tuple_p
|
||||
//
|
||||
template<typename Parser>
|
||||
struct as_tuple_p
|
||||
: public sprout::weed::parser_base
|
||||
{
|
||||
public:
|
||||
template<typename Context, typename Iterator>
|
||||
struct attribute {
|
||||
private:
|
||||
typedef typename sprout::weed::traits::attribute_of<Parser, Iterator, Context>::type attr_type;
|
||||
private:
|
||||
static_assert(!sprout::weed::traits::is_unused<attr_type>::value, "invalid attribute : unused");
|
||||
public:
|
||||
typedef sprout::tuples::tuple<attr_type> type;
|
||||
};
|
||||
template<typename Context, typename Iterator>
|
||||
struct result {
|
||||
public:
|
||||
typedef sprout::weed::parser_result<Iterator, typename attribute<Context, Iterator>::type> type;
|
||||
};
|
||||
private:
|
||||
typedef typename sprout::weed::traits::terminal_or_expr_of<Parser>::type expr_type;
|
||||
private:
|
||||
expr_type expr_;
|
||||
private:
|
||||
template<typename Context, typename Iterator, typename Result>
|
||||
SPROUT_CONSTEXPR typename result<Context, Iterator>::type call(
|
||||
Iterator first,
|
||||
Result const& res
|
||||
) const
|
||||
{
|
||||
typedef typename result<Context, Iterator>::type result_type;
|
||||
typedef typename attribute<Context, Iterator>::type attribute_type;
|
||||
return res.success()
|
||||
? result_type(true, res.current(), attribute_type(res.attr()))
|
||||
: result_type(false, first, attribute_type())
|
||||
;
|
||||
}
|
||||
public:
|
||||
as_tuple_p() = default;
|
||||
SPROUT_CONSTEXPR explicit as_tuple_p(
|
||||
Parser const& p
|
||||
)
|
||||
: expr_(sprout::weed::make_terminal_or_expr(p))
|
||||
{}
|
||||
template<typename Context, typename Iterator>
|
||||
SPROUT_CONSTEXPR typename result<Context, Iterator>::type operator()(
|
||||
Iterator first,
|
||||
Iterator last,
|
||||
Context const& ctx
|
||||
) const
|
||||
{
|
||||
return call<Context>(first, sprout::weed::eval(expr_, ctx));
|
||||
}
|
||||
};
|
||||
//
|
||||
// as_tuple_d
|
||||
//
|
||||
struct as_tuple_d {
|
||||
public:
|
||||
template<typename Parser>
|
||||
SPROUT_CONSTEXPR sprout::weed::as_tuple_p<Parser> operator[](Parser const& p) const {
|
||||
return sprout::weed::as_tuple_p<Parser>(p);
|
||||
}
|
||||
};
|
||||
//
|
||||
// as_tuple
|
||||
//
|
||||
SPROUT_CONSTEXPR sprout::weed::as_tuple_d as_tuple = sprout::weed::as_tuple_d();
|
||||
} // namespace weed
|
||||
} // namespace sprout
|
||||
|
||||
#endif // #ifndef SPROUT_WEED_PARSER_DIRECTIVE_AS_TUPLE_HPP
|
Loading…
Reference in a new issue