Added redirects for self-referential combinators

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;