diff options
Diffstat (limited to 'test/packrat-parsers-debug.ads')
-rw-r--r-- | test/packrat-parsers-debug.ads | 76 |
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; + + |