Re: Private discrete type as index

[tmoran@acm.org]

>   type x is limited private;
>   type test is array(x) of boolean;
  The "array" abstraction has certain characteristics, among them
sequential indexing.  The object being implemented here is not an array.
If read-only, perhaps it's a function.  For read/write, perhaps a
function returning a pointer would be the syntactically simplest
approach.
  test_object(x).all := not test_object(y).all;
To allow multiple objects, of course, will require an additional
parameter, hidden or not, to distinguish which one.