From 81c4526fa275a256bfefe0f8a7cd638369ea1252 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sat, 28 Nov 2020 16:24:04 +1100 Subject: Cleaned up Lexer, Util package names --- test/packrat-lexers-debug.ads | 89 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 89 insertions(+) create mode 100644 test/packrat-lexers-debug.ads (limited to 'test/packrat-lexers-debug.ads') diff --git a/test/packrat-lexers-debug.ads b/test/packrat-lexers-debug.ads new file mode 100644 index 0000000..5c5320a --- /dev/null +++ b/test/packrat-lexers-debug.ads @@ -0,0 +1,89 @@ + + +with + + Ada.Containers.Vectors; + + +generic +package Packrat.Lexers.Debug is + + + Empty_Fail : constant Combinator_Result; + + + function Create_Result + (Finish : in Natural; + Status : in Result_Status) + return Combinator_Result; + + function Join + (Left, Right : in Combinator_Result) + return Combinator_Result; + + function Status + (This : in Combinator_Result) + return Result_Status; + + function Debug_String + (This : in Combinator_Result) + return String; + + + + + type Token_Vector is tagged private; + + function So_Far + (This : in Lexer_Context) + return Token_Vector; + + function Position + (This : in Lexer_Context) + return Positive; + + function Status + (This : in Lexer_Context) + return Result_Status; + + function Has_Pass + (This : in Lexer_Context) + return Boolean; + + function Pass + (This : in Lexer_Context) + return Traits.Element_Array; + + function Length + (Vec : in Token_Vector) + return Natural; + + function Element + (Vec : in Token_Vector; + Dex : in Positive) + return Traits.Tokens.Token; + + + + + function Is_Failure + (Result : in Component_Result) + return Boolean; + + function Is_Success + (Result : in Component_Result) + return Boolean; + + +private + + + Empty_Fail : constant Combinator_Result := Packrat.Lexers.Empty_Fail; + + + type Token_Vector is new Token_Vectors.Vector with null record; + + +end Packrat.Lexers.Debug; + + -- cgit