Re: User define attributes

[Jeffrey Carter <jrcarter@acm.org>]

"Samuel T. Harris" wrote:
> 
>     generic
>         type Index_Type is (<>);
>         type Component_Type is private;
>         type Array_Type is array (Index_Type range <>) of Component_Type;
>         with function Width (Item : Index_Type) return Natural is <>;
>         with function Image (Item : Index_Type) return String is <>;
>         with function Value (Item : String) return Index_Type is <>;

Note that since Index_Type is a discrete type, the generic can call
Index_Type'Image, Index_Type'Value, and so on directly.

-- 
Jeff Carter
"You couldn't catch clap in a brothel, silly English K...niggets."
Monty Python & the Holy Grail