diff options
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; + + |