diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/packrat-parsers.adb | 27 | ||||
| -rw-r--r-- | src/packrat-parsers.ads | 21 |
2 files changed, 48 insertions, 0 deletions
diff --git a/src/packrat-parsers.adb b/src/packrat-parsers.adb index f639195..df88e71 100644 --- a/src/packrat-parsers.adb +++ b/src/packrat-parsers.adb @@ -582,6 +582,33 @@ package body Packrat.Parsers is + package body Redirect is + + procedure Set + (Target : in Combinator) is + begin + Combo := Target; + end Set; + + function Call + (Input : in Traits.Element_Array; + Context : in out Parser_Context; + Start : in Positive) + return Combinator_Result is + begin + if Combo = null then + raise Parser_Error; + else + return Combo (Input, Context, Start); + end if; + end Call; + + end Redirect; + + + + + function Sequence (Input : in Traits.Element_Array; Context : in out Parser_Context; diff --git a/src/packrat-parsers.ads b/src/packrat-parsers.ads index 99dbee7..8d0ba68 100644 --- a/src/packrat-parsers.ads +++ b/src/packrat-parsers.ads @@ -114,6 +114,27 @@ package Packrat.Parsers is generic + package Redirect is + + procedure Set + (Target : in Combinator); + + function Call + (Input : in Traits.Element_Array; + Context : in out Parser_Context; + Start : in Positive) + return Combinator_Result; + + private + + Combo : Combinator := null; + + end Redirect; + + + + + generic Params : in Combinator_Array; function Sequence (Input : in Traits.Element_Array; |