diff options
Diffstat (limited to 'src/packrat.ads')
-rw-r--r-- | src/packrat.ads | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/src/packrat.ads b/src/packrat.ads index 365cce5..6032cb1 100644 --- a/src/packrat.ads +++ b/src/packrat.ads @@ -104,8 +104,9 @@ package Packrat is generic type Label_Enum is (<>); - type Element is private; - type Element_Array is array (Positive range <>) of Element; + type Element_Type is private; + type Element_Array is array (Positive range <>) of Element_Type; + with function "<" (Left, Right : in Element_Type) return Boolean is <>; package Tokens is @@ -113,6 +114,11 @@ package Packrat is type Token_Array is array (Positive range <>) of Token; + function "<" + (Left, Right : in Token) + return Boolean; + + function Create (Ident : in Label_Enum; Start : in Positive; @@ -120,7 +126,7 @@ package Packrat is return Token; - -- Note: The Start index indicate where the token was found + -- Note: The Start index indicates where the token was found -- in whatever array it was lexed from. The Value does *not* -- have to correspond with whatever is found there. |