diff options
| author | Matthew Hall <hallmatthew314@gmail.com> | 2023-03-11 00:02:12 +1300 |
|---|---|---|
| committer | Matthew Hall <hallmatthew314@gmail.com> | 2023-03-11 00:02:12 +1300 |
| commit | 60be5fc8a6be8f60ed37af30ef18f02639259774 (patch) | |
| tree | edcc91e1cb0cadd35c2fe9003300ccc085ec2c02 /src | |
| parent | 46943966888b5ed9db2e0a454754b0f8f9947c48 (diff) | |
Implement FirstOf
Diffstat (limited to 'src')
| -rw-r--r-- | src/parcom.cr | 26 |
1 files changed, 25 insertions, 1 deletions
diff --git a/src/parcom.cr b/src/parcom.cr index cb3408a..2a61c2d 100644 --- a/src/parcom.cr +++ b/src/parcom.cr @@ -405,7 +405,31 @@ module Parcom class StopIf end - class FirstOf + class FirstOf(T, V) < Parser(T, V) + @p : Parser(T, V) + + def initialize(ps : Iterable(Parser(T, V))) + ps_iter = ps.each + p = ps_iter.next + + if p.is_a?(Iterator::Stop) + raise ArgumentError.new("FirstOf requires atleast one parser, got none") + end + + @p = p + p = ps_iter.next + + until p.is_a?(Iterator::Stop) + @p = @p | p + p = ps_iter.next + end + end + + def parse(tokens : TokenStream(T)) : Result(T, V) + @p.parse(tokens) + rescue ex : ParserException + raise ParserException.new("FirstOf: #{ex.message}") + end end class SepBy |
