Some unit tests for Packrat.Parsers

1 files changed, 76 insertions, 0 deletions

diff --git a/test/packrat-parsers-debug.ads b/test/packrat-parsers-debug.ads
new file mode 100644
index 0000000..7fd425b
--- /dev/null
+++ b/test/packrat-parsers-debug.ads
@@ -0,0 +1,76 @@
+
+
+generic
+package Packrat.Parsers.Debug is
+
+
+    type Result_Part is private;
+    type Result_Part_Array is array (Positive range <>) of Result_Part;
+
+    type Curtail_Map is private;
+
+
+
+
+    Empty_Context : constant Parser_Context;
+    Empty_Fail : constant Combinator_Result;
+
+
+
+
+    function Parts
+           (This : in Combinator_Result)
+        return Result_Part_Array;
+
+    function Curtails
+           (This : in Combinator_Result)
+        return Curtail_Map;
+
+    function Status
+           (This : in Combinator_Result)
+        return Result_Status;
+
+
+
+
+    function Finish
+           (Part : in Result_Part)
+        return Traits.Tokens.Finish_Type;
+
+    function Value
+           (Part : in Result_Part)
+        return Traits.Element_Array;
+
+    function Tokens
+           (Part : in Result_Part)
+        return Traits.Tokens.Finished_Token_Array;
+
+
+
+
+    function Is_Empty
+           (Curt : in Curtail_Map)
+        return Boolean;
+
+
+
+
+    function Debug_String
+           (This : in Combinator_Result)
+        return String;
+
+
+private
+
+
+    type Result_Part is new Combo_Result_Part;
+    type Curtail_Map is new Curtail_Maps.Map with null record;
+
+
+    Empty_Context : constant Parser_Context := Packrat.Parsers.Empty_Context;
+    Empty_Fail : constant Combinator_Result := Packrat.Parsers.Empty_Fail;
+
+
+end Packrat.Parsers.Debug;
+
+