diff options
author | Jed Barber <jjbarber@y7mail.com> | 2019-01-13 00:31:06 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2019-01-13 00:31:06 +1100 |
commit | 6537721f85aa4f0d8607c9df506a343fb0093bef (patch) | |
tree | 1830f29da6dcf449ec994198b14d7055b58a9c9b /src/packrat.ads | |
parent | 3526877189d0787eb16f23fc233c21be3475c9c7 (diff) |
Added equals function overload for Tokens
Diffstat (limited to 'src/packrat.ads')
-rw-r--r-- | src/packrat.ads | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/packrat.ads b/src/packrat.ads index 41035fc..0ee8463 100644 --- a/src/packrat.ads +++ b/src/packrat.ads @@ -9,7 +9,7 @@ with package Packrat is - type Result_Status is (Failure, Partial, Success); + type Result_Status is (Failure, Needs_More, Optional_More, Success); Parser_Error : exception; @@ -117,6 +117,10 @@ package Packrat is Value : in Element_Array) return Token; + function "=" + (Left, Right : in Token) + return Boolean; + -- Note: The Start and Finish indices indicate where the token was found -- in whatever array it was lexed from. The Value does *not* have |