aboutsummaryrefslogtreecommitdiff
path: root/src/packrat-lexer.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/packrat-lexer.ads')
-rw-r--r--src/packrat-lexer.ads327
1 files changed, 0 insertions, 327 deletions
diff --git a/src/packrat-lexer.ads b/src/packrat-lexer.ads
deleted file mode 100644
index b8090c9..0000000
--- a/src/packrat-lexer.ads
+++ /dev/null
@@ -1,327 +0,0 @@
-
-
-with
-
- Packrat.Traits;
-
-private with
-
- Ada.Containers.Vectors,
- Ada.Containers.Ordered_Sets;
-
-
-generic
-
- with package Traits is new Packrat.Traits (<>);
-
-package Packrat.Lexer is
-
-
- type Combinator_Result is private;
-
- type Combinator is access function
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
-
- type Combinator_Array is array (Positive range <>) of Combinator;
-
-
-
-
- type Lexer_Context is private;
-
- Empty_Context : constant Lexer_Context;
-
-
-
-
- type Component_Result is private;
-
- type Component is access function
- (Input : in Traits.Element_Array;
- Context : in out Lexer_Context)
- return Component_Result;
-
- type Component_Array is array (Positive range <>) of Component;
-
-
-
-
- type With_Input is access function
- return Traits.Element_Array;
-
-
-
-
- generic
- Label : in Traits.Label_Enum;
- with function Combo
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
- function Stamp
- (Input : in Traits.Element_Array;
- Context : in out Lexer_Context)
- return Component_Result;
-
- generic
- Label : in Traits.Label_Enum;
- with function Combo
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
- function Ignore
- (Input : in Traits.Element_Array;
- Context : in out Lexer_Context)
- return Component_Result;
-
-
-
-
- generic
- Components : in Component_Array;
- function Scan
- (Input : in Traits.Element_Array;
- Context : in out Lexer_Context)
- return Traits.Tokens.Token_Array;
-
- generic
- Components : in Component_Array;
- function Scan_Only
- (Input : in Traits.Element_Array;
- Context : in out Lexer_Context)
- return Traits.Tokens.Token_Array;
-
- generic
- Components : in Component_Array;
- function Scan_With
- (Input : in With_Input;
- Context : in out Lexer_Context)
- return Traits.Tokens.Token_Array;
-
- generic
- Components : in Component_Array;
- Pad_In : in Traits.Element_Type;
- Pad_Out : in Traits.Tokens.Token;
- procedure Scan_Set
- (Input : in Traits.Element_Array;
- Context : in out Lexer_Context;
- Output : out Traits.Tokens.Token_Array);
-
- generic
- Components : in Component_Array;
- Pad_In : in Traits.Element_Type;
- Pad_Out : in Traits.Tokens.Token;
- procedure Scan_Set_With
- (Input : in With_Input;
- Context : in out Lexer_Context;
- Output : out Traits.Tokens.Token_Array);
-
-
-
-
- generic
- Params : in Combinator_Array;
- function Sequence
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
-
- generic
- with function Param
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
- Number : in Positive;
- function Count
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
-
- generic
- with function Param
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
- Minimum : in Natural := 0;
- function Many
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
-
- generic
- with function Param
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
- with function Test
- (Item : in Traits.Element_Type)
- return Boolean;
- Minimum : in Natural := 0;
- function Many_Until
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
-
-
-
-
- generic
- with function Test
- (Item : in Traits.Element_Type)
- return Boolean;
- function Satisfy
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
-
- generic
- with function Test
- (Item : in Traits.Element_Type)
- return Boolean;
- with function Change
- (From : in Traits.Element_Type)
- return Traits.Element_Type;
- function Satisfy_With
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
-
- generic
- Item : in Traits.Element_Type;
- function Match
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
-
- generic
- Item : in Traits.Element_Type;
- with function Change
- (From : in Traits.Element_Type)
- return Traits.Element_Type;
- function Match_With
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
-
- generic
- Items : in Traits.Element_Array;
- function Multimatch
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
-
- generic
- Number : in Positive := 1;
- function Take
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
-
- generic
- with function Test
- (Item : in Traits.Element_Type)
- return Boolean;
- function Take_While
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
-
- generic
- with function Test
- (Item : in Traits.Element_Type)
- return Boolean;
- function Take_Until
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
-
-
-
-
- generic
- EOL_Item : in Traits.Element_Type;
- function Line_End
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
-
- generic
- EOF_Item : in Traits.Element_Type;
- function Input_End
- (Input : in Traits.Element_Array;
- Start : in Positive)
- return Combinator_Result;
-
-
-private
-
-
- use type Traits.Label_Enum;
- use type Traits.Element_Type;
- use type Traits.Element_Array;
-
-
-
-
- package Token_Vectors is new Ada.Containers.Vectors
- (Index_Type => Positive,
- Element_Type => Traits.Tokens.Token,
- "=" => Traits.Tokens."=");
-
- package Label_Vectors is new Ada.Containers.Vectors
- (Index_Type => Positive,
- Element_Type => Traits.Label_Enum);
-
- package Label_Sets is new Ada.Containers.Ordered_Sets
- (Element_Type => Traits.Label_Enum);
-
- package Input_Holders is new Ada.Containers.Indefinite_Holders
- (Element_Type => Traits.Element_Array);
-
-
-
-
- type Combinator_Result is record
- Finish : Natural;
- Status : Result_Status;
- end record;
-
- Empty_Fail : constant Combinator_Result :=
- (Finish => 0,
- Status => Failure);
-
-
-
-
- type Component_Result is (Component_Failure, Component_Success);
-
-
-
-
- type Lexer_Context is record
- Result_So_Far : Token_Vectors.Vector;
- Position : Positive := 1;
- Offset : Natural := 0;
- Status : Result_Status := Success;
- Pass_Forward : Input_Holders.Holder;
- Empty_Labels : Label_Sets.Set;
- Error_Labels : Label_Vectors.Vector;
- Allow_Incomplete : Boolean := True;
- end record;
-
- Empty_Context : constant Lexer_Context :=
- (Result_So_Far => Token_Vectors.Empty_Vector,
- Position => 1,
- Offset => 0,
- Status => Success,
- Pass_Forward => Input_Holders.Empty_Holder,
- Empty_Labels => Label_Sets.Empty_Set,
- Error_Labels => Label_Vectors.Empty_Vector,
- Allow_Incomplete => True);
-
-
-end Packrat.Lexer;
-
-
generated by cgit (git 2.30.0) at 2025-09-09 16:34:50 +0000