| // Copyright 2020 The Fuchsia Authors. All rights reserved. | |
| // Use of this source code is governed by a BSD-style license that can be | |
| // found in the LICENSE file. | |
| #include "lib/fit/function.h" | |
| #include "src/developer/shell/parser/parse_result.h" | |
| #ifndef SRC_DEVELOPER_SHELL_PARSER_COMBINATORS_H_ | |
| #define SRC_DEVELOPER_SHELL_PARSER_COMBINATORS_H_ | |
| namespace shell::parser { | |
| // Create a parser that runs a sequence of parsers consecutively. | |
| template <typename... Args> | |
| fit::function<ParseResult(ParseResult)> Seq(fit::function<ParseResult(ParseResult)> first, | |
| Args... args) { | |
| return Seq(std::move(first), Seq(std::move(args)...)); | |
| } | |
| fit::function<ParseResult(ParseResult)> Seq(fit::function<ParseResult(ParseResult)> a, | |
| fit::function<ParseResult(ParseResult)> b); | |
| fit::function<ParseResult(ParseResult)> Seq(fit::function<ParseResult(ParseResult)> first); | |
| // Given a list of parsers, produce a parser which tries to parse each of them in sequence and | |
| // returns the first successful result. | |
| template <typename... Args> | |
| fit::function<ParseResult(ParseResult)> Alt(fit::function<ParseResult(ParseResult)> first, | |
| Args... args) { | |
| return Alt(std::move(first), Alt(std::move(args)...)); | |
| } | |
| fit::function<ParseResult(ParseResult)> Alt(fit::function<ParseResult(ParseResult)> a); | |
| fit::function<ParseResult(ParseResult)> Alt(fit::function<ParseResult(ParseResult)> a, | |
| fit::function<ParseResult(ParseResult)> b); | |
| // Parser which always returns success and consumes no output. | |
| ParseResult Empty(ParseResult prefix); | |
| // End Of Stream. Parser which only succeeds if there is no more input. | |
| ParseResult EOS(ParseResult prefix); | |
| // Produce a parser which runs the given parser, and returns its result, unless it fails in which | |
| // case it returns an empty parse. | |
| inline fit::function<ParseResult(ParseResult)> Maybe( | |
| fit::function<ParseResult(ParseResult)> child) { | |
| return Alt(std::move(child), Empty); | |
| } | |
| // Produce a parser which tries to parse the input with the given parser. If the given parser fails, | |
| // the produced parser succeeds, and if the given parser succeeds, the produced parser fails. Either | |
| // way the produced parser does not advance the parse position and produces no nodes on success, and | |
| // one error node on failure. | |
| fit::function<ParseResult(ParseResult)> Not(fit::function<ParseResult(ParseResult)> inv); | |
| // Produce a parser which sequentially repeats a given parser between min and max times. | |
| fit::function<ParseResult(ParseResult)> Multi(size_t min, size_t max, | |
| fit::function<ParseResult(ParseResult)> child); | |
| // Produce a parser which sequentially repeats a given parser exactly count times. | |
| fit::function<ParseResult(ParseResult)> Multi(size_t count, | |
| fit::function<ParseResult(ParseResult)> child); | |
| // Produce a parser which sequentially repeats a given parser zero or more times. | |
| inline fit::function<ParseResult(ParseResult)> ZeroPlus( | |
| fit::function<ParseResult(ParseResult)> child) { | |
| return Multi(0, std::numeric_limits<size_t>::max(), std::move(child)); | |
| } | |
| // Produce a parser which sequentially repeats a given parser one or more times. | |
| inline fit::function<ParseResult(ParseResult)> OnePlus( | |
| fit::function<ParseResult(ParseResult)> child) { | |
| return Multi(1, std::numeric_limits<size_t>::max(), std::move(child)); | |
| } | |
| // Collect the results of the contained parse as a nonterminal and assign a name. | |
| template <typename T> | |
| fit::function<ParseResult(ParseResult)> NT(fit::function<ParseResult(ParseResult)> a) { | |
| return [a = std::move(a)](ParseResult prefix) { return a(std::move(prefix).Mark()).Reduce<T>(); }; | |
| } | |
| // Parse a left-associative sequence of non-terminals. | |
| // | |
| // This is best explained by example. Assume the parser "operand" parses A -> 'a' and the parser | |
| // "continuation" parses B -> 'b'. If we built the parser: | |
| // | |
| // LAssoc<Q>(operand, continuation) | |
| // | |
| // We would expect the following parses: | |
| // | |
| // "a" -> A | |
| // "ab" -> Q(A B) | |
| // "abb" -> Q(Q(A B) B) | |
| // "abbb" -> Q(Q(Q(A B) B) B) | |
| // | |
| // Essentially we are parsing the rule: | |
| // | |
| // Q -> Q B / A | |
| // | |
| // But that rule would break our combinator framework due to left recursion, so we instead parse: | |
| // | |
| // Q -> A B* | |
| // | |
| // but insert some stack cleverness so we get the nonterminal structure we expect. | |
| template <typename T> | |
| fit::function<ParseResult(ParseResult)> LAssoc( | |
| fit::function<ParseResult(ParseResult)> operand, | |
| fit::function<ParseResult(ParseResult)> continuation) { | |
| auto combined = Seq(std::move(operand), ZeroPlus(Seq(std::move(continuation), [](ParseResult p) { | |
| return std::move(p).Reduce<T>(false); | |
| }))); | |
| return [combined = std::move(combined)](ParseResult prefix) { | |
| return combined(std::move(prefix).Mark()).DropMarker(); | |
| }; | |
| } | |
| } // namespace shell::parser | |
| #endif // SRC_DEVELOPER_SHELL_PARSER_COMBINATORS_H_ |