diff options
author | Jed Barber <jjbarber@y7mail.com> | 2020-11-28 14:24:02 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2020-11-28 14:24:02 +1100 |
commit | 6c296b5615699eac0fb569b5cfe29e96986904a5 (patch) | |
tree | 757659eb8504e0f85012dc652f5ea697aa35f7e8 /src/packrat-tokens.ads | |
parent | b2bcd79d78276289fab3406280c787277476b357 (diff) |
Skeleton of Packrat.Parsers
Diffstat (limited to 'src/packrat-tokens.ads')
-rw-r--r-- | src/packrat-tokens.ads | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/packrat-tokens.ads b/src/packrat-tokens.ads index bfb70ac..cd691b5 100644 --- a/src/packrat-tokens.ads +++ b/src/packrat-tokens.ads @@ -12,6 +12,7 @@ generic type Element_Array is array (Positive range <>) of Element_Type; with function "<" (Left, Right : in Element_Type) return Boolean is <>; + with function "<" (Left, Right : in Element_Array) return Boolean is <>; package Packrat.Tokens is @@ -24,6 +25,10 @@ package Packrat.Tokens is (Left, Right : in Token) return Boolean; + function "<" + (Left, Right : in Token_Array) + return Boolean; + function Create (Ident : in Label_Enum; @@ -61,6 +66,11 @@ private package Value_Holders is new Ada.Containers.Indefinite_Holders (Element_Array); + function "<" + (Left, Right : in Value_Holders.Holder) + return Boolean; + + type Token is record Identifier : Label_Enum; Start_At : Positive; |