summaryrefslogtreecommitdiff
path: root/test/packrat-parsers-debug.ads
diff options
context:
space:
mode:
Diffstat (limited to 'test/packrat-parsers-debug.ads')
-rw-r--r--test/packrat-parsers-debug.ads76
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;
+
+