diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2020-11-07 01:21:54 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2020-11-07 01:21:54 +1100 |
| commit | 8828e68cb86c865d625961c07c7ce2eb4ae191bc (patch) | |
| tree | a90555326581688a32cf38fef15d0893e3df1f3d /src/packrat.ads | |
| parent | 731e861f233ab90078c00b3dad5ace4eaed45e95 (diff) | |
Parse_Graphs complete aside from isomorphism and testing
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. |