diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2019-01-10 00:11:30 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2019-01-10 00:11:30 +1100 |
| commit | 7009e51c15ed51d716102540d5914e3d14a8a128 (patch) | |
| tree | 6a271a11429758c4364e79a9d7b42a6feca44f8e /src/packrat.ads | |
| parent | 81f7e19f212f9d1ac75e04e62933e6c918219cfc (diff) | |
Debug_String functions added to Packrat.Errors and Packrat.Tokens
Diffstat (limited to 'src/packrat.ads')
| -rw-r--r-- | src/packrat.ads | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/packrat.ads b/src/packrat.ads index c60b798..a17e499 100644 --- a/src/packrat.ads +++ b/src/packrat.ads @@ -53,6 +53,10 @@ package Packrat is (Check : in String) return Boolean; + function Debug_String + (This : in Error_Message) + return String; + function Join (Left, Right : in Error_Message) @@ -118,6 +122,10 @@ package Packrat is (This : in Token) return Boolean; + function Debug_String + (This : in Token) + return String; + function Label (This : in Token) |