Re: Private discrete type as index

["AG" <ang@xtra.co.nz>]

"James S. Rogers" <jimmaureenrogers@worldnet.att.net> wrote in message
news:8pLT9.105190$hK4.8530896@bgtnsc05-news.ops.worldnet.att.net...

> At the point of declaration of the array type the index type
> is not specified as a discrete type. The array type is not private.
> The nature of the index type must be visible within the scope of
> the declaration of the array type.

True, and the example you give below is fine *if* you want
to hide from the user the fact that the construct is an array
(that's what I meant by "iterator").

However, what if you want to let your clients know that
that the structure is indeed an array and provide appropriate
operations on the index but prevent them from directly
manipulating it?

>
> You can try an approach like the following, which does compile:
>
> package Type_Definition is
>    type Index_Type is limited private;
> private
>    type Index_Type is new Integer range 1..10;
> end Type_Definition;
>
> package Type_Definition.Collection is
>    type Collection is limited private;
> private
>    type Collection is array(Index_Type) of Boolean;
> end Type_Definition.Collection;