chilon Code

#ifndef CHILON_PARSER_TREE_JOINED_HPP
#define CHILON_PARSER_TREE_JOINED_HPP

#include <chilon/parser/tree.hpp>
#include <chilon/parser/sequence.hpp>

#include <chilon/parser/detail/tree_joined.hpp>

namespace chilon { namespace parser {

/**
 * Implements T |% J in TBPEG notation.
 * Stores flatten_variant< stored<T>::type, vector< stored<T>::type > >::type
 * @tparam J Join expression.
 * @tparam T Expression to match.
 */
template <class J, class... T>
struct tree_joined : tree_joined<J, sequence<T...> > {};

template <class J, class T>
struct tree_joined<J, T>
  : tree,
    parse_base<detail::parse_tree_joined<
        J, T, self, typename stored<joined_plus<J, T>>::type>>
{
    template <class M, class N>
    struct parser_type_node : detail::parse_tree_joined<J, T, M, N> {};
};

/**
 * Implements T |^% J in TBPEG notation.
 * Same as T |% J but no whitespace permitted around the join expression
 */
template <class J, class... T>
struct tree_joined_lexeme : tree_joined_lexeme<J, sequence<T...> > {};

template <class J, class T>
struct tree_joined_lexeme<J, T>
  : tree,
    parse_base<detail::parse_tree_joined<
        J, T, self, typename stored<joined_plus<J, T>>::type, false>>
{
    template <class M, class N>
    struct parser_type_node : detail::parse_tree_joined<J, T, M, N, false> {};
};

template <class J, class T, class M, class N, bool Skip_whitespace>
struct parse< detail::parse_tree_joined<J, T, M, N, Skip_whitespace> >
  : detail::parse_tree_joined<J, T, M, N, Skip_whitespace> {};

} }
#endif