private with Ada.Containers.Vectors; generic type Label_Enum is (<>); type Element is private; type Element_Array is array (Positive range <>) of Element; with package Gen_Tokens is new Tokens (Label_Enum, Element, Element_Array); package Packrat.Lexer is type Combinator_Result is new Ada.Finalization.Controlled with private; type Combinator is access function (Input : in Element_Array; Start : in Positive) return Combinator_Result; type Combinator_Array is array (Positive range <>) of Combinator; function "=" (Left, Right : in Combinator_Result) return Boolean; type Lexer_Context is new Ada.Finalization.Controlled with private; Empty_Context : constant Lexer_Context; type Lexer_Component is access procedure (Input : in Element_Array; Context : in out Lexer_Context); type Component_Array is array (Positive range <>) of Lexer_Component; generic Label : in Label_Enum; with function Combo (Input : in Element_Array; Start : in Positive) return Combinator_Result; procedure Stamp (Input : in Element_Array; Context : in out Lexer_Context); generic with function Combo (Input : in Element_Array; Start : in Positive) return Combinator_Result; procedure Ignore (Input : in Element_Array; Context : in out Lexer_Context); generic Components : in Component_Array; function Scan (Input : in Element_Array; Context : in out Lexer_Context) return Gen_Tokens.Token_Array; generic Components : in Component_Array; Padding : in Gen_Tokens.Token; procedure Scan_Set (Input : in Element_Array; Context : in out Lexer_Context; Output : out Gen_Tokens.Token_Array); generic Components : in Component_Array; function Scan_Only (Input : in Element_Array; Context : in out Lexer_Context) return Gen_Tokens.Token_Array; generic Gomponents : in Component_Array; Padding : in Gen_Tokens.Token; procedure Scan_Set_Only (Input : in Element_Array; Context : in out Lexer_Context; Output : out Gen_Tokens.Token_Array); generic Components : in Component_Array; with function More return Element_Array; function Scan_With (Input : in Element_Array; Context : in out Lexer_Context) return Gen_Tokens.Token_Array; generic Components : in Component_Array; Padding : in Gen_Tokens.Token; with function More return Element_Array; procedure Scan_Set_With (Input : in Element_Array; Context : in out Lexer_Context; Output : out Gen_Tokens.Token_Array); generic Params : in Combinator_Array; function Sequence (Input : in Element_Array; Start : in Positive) return Combinator_Result; generic with function Param (Input : in Element_Array; Start : in Positive) return Combinator_Result; Number : in Positive; function Count (Input : in Element_Array; Start : in Positive) return Combinator_Result; generic with function Param (Input : in Element_Array; Start : in Positive) return Combinator_Result; Minimum : in Natural := 0; function Many (Input : in Element_Array; Start : in Positive) return Combinator_Result; generic with function Param (Input : in Element_Array; Start : in Positive) return Combinator_Result; with function Test (Item : in Element) return Boolean; Minimum : in Natural := 0; function Many_Until (Input : in Element_Array; Start : in Positive) return Combinator_Result; generic with function Test (Item : in Element) return Boolean; function Satisfy (Input : in Element_Array; Start : in Positive) return Combinator_Result; generic with function Test (Item : in Element) return Boolean; with function Change (From : in Element) return Element; function Satisfy_With (Input : in Element_Array; Start : in Positive) return Combinator_Result; generic Item : in Element; function Match (Input : in Element_Array; Start : in Positive) return Combinator_Result; generic Item : in Element; with function Change (From : in Element) return Element; function Match_With (Input : in Element_Array; Start : in Positive) return Combinator_Result; generic Items : in Element_Array; function Multimatch (Input : in Element_Array; Start : in Positive) return Combinator_Result; generic Number : in Positive := 1; function Take (Input : in Element_Array; Start : in Positive) return Combinator_Result; generic with function Test (Item : in Element) return Boolean; function Take_While (Input : in Element_Array; Start : in Positive) return Combinator_Result; generic with function Test (Item : in Element) return Boolean; function Take_Until (Input : in Element_Array; Start : in Positive) return Combinator_Result; generic EOL_Item : in Element; function Line_End (Input : in Element_Array; Start : in Positive) return Combinator_Result; generic EOF_Item : in Element; function Input_End (Input : in Element_Array; Start : in Positive) return Combinator_Result; private type Element_Array_Access is access Element_Array; Empty_Array : Element_Array (1 .. 0); type Combinator_Result is new Ada.Finalization.Controlled with record Length : Natural; Status : Result_Status; Value : Element_Array_Access; end record; overriding procedure Initialize (This : in out Combinator_Result); overriding procedure Adjust (This : in out Combinator_Result); overriding procedure Finalize (This : in out Combinator_Result); Empty_Fail : constant Combinator_Result := (Ada.Finalization.Controlled with Length => 0, Status => Failure, Value => null); package Token_Vectors is new Ada.Containers.Vectors (Index_Type => Positive, Element_Type => Gen_Tokens.Token, "=" => Gen_Tokens."="); type Lexer_Context is new Ada.Finalization.Controlled with record Result_So_Far : Token_Vectors.Vector; Position : Positive; Status : Result_Status; Pass_Forward : Element_Array_Access; end record; Empty_Context : constant Lexer_Context := (Ada.Finalization.Controlled with Result_So_Far => Token_Vectors.Empty_Vector, Position => 1, Status => Success, Pass_Forward => null); end Packrat.Lexer;