From 87667886ee386edb89dc18b0bddcf94675c57a00 Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Fri, 4 Dec 2020 12:35:50 +1100
Subject: Added redirects for self-referential combinators

---
 src/packrat-parsers.adb | 27 +++++++++++++++++++++++++++
 src/packrat-parsers.ads | 21 +++++++++++++++++++++
 2 files changed, 48 insertions(+)

(limited to 'src')

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
@@ -113,6 +113,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
-- 
cgit