diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2021-01-13 18:31:27 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2021-01-13 18:31:27 +1100 |
| commit | 3fa431a2268a11dec6fd82c8f9b59cc2d0af9a93 (patch) | |
| tree | 509228a90b6fba0daf7d9fb2598132fe64d361fa /src/packrat-parsers.ads | |
| parent | 703a09c135d04b37be34d95915c32d70d730894c (diff) | |
Stamp/Ignore now Stamp/Discard/Ignore
Diffstat (limited to 'src/packrat-parsers.ads')
| -rw-r--r-- | src/packrat-parsers.ads | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/packrat-parsers.ads b/src/packrat-parsers.ads index e11d623..1e058dc 100644 --- a/src/packrat-parsers.ads +++ b/src/packrat-parsers.ads @@ -116,6 +116,19 @@ package Packrat.Parsers is return Combinator_Result; generic + Label : in Traits.Label_Enum; + with function Combo + (Input : in Traits.Element_Array; + Context : in out Parser_Context; + Start : in Positive) + return Combinator_Result; + function Discard + (Input : in Traits.Element_Array; + Context : in out Parser_Context; + Start : in Positive) + return Combinator_Result; + + generic with function Combo (Input : in Traits.Element_Array; Context : in out Parser_Context; |