diff options
author | Jed Barber <jjbarber@y7mail.com> | 2020-11-13 11:36:41 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2020-11-13 11:36:41 +1100 |
commit | 43eea37daf162473c8c8e8279c9159d8b052ffdf (patch) | |
tree | d3fdd283a9b0d1bc5b0a5cafb6b4c18534eeefe5 /src/packrat-traits.ads | |
parent | 2e075ca317211553a19d7c8706a9d66fabcc9d8d (diff) |
Refactored Tokens, Errors, Traits
Diffstat (limited to 'src/packrat-traits.ads')
-rw-r--r-- | src/packrat-traits.ads | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/src/packrat-traits.ads b/src/packrat-traits.ads new file mode 100644 index 0000000..d14b2fd --- /dev/null +++ b/src/packrat-traits.ads @@ -0,0 +1,24 @@ + + +with + + Packrat.Tokens; + + +generic + + type Label_Enum is (<>); + 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 Packrat.Traits is + + + package Tokens is new Packrat.Tokens (Label_Enum, Element_Type, Element_Array); + + +end Packrat.Traits; + + |