Re: Help needed: Access type to functions in generic package

["Matthew Heaney" <matthew_heaney@acm.org>]

In article <37DBFEBF.B74D1958@deathsdoor.com> , Zeiram 
<zeiram@deathsdoor.com>  wrote:

>> Why is this package generic?  Why don't you declare your array type this
>> way:
>>
>
> In fact, this was just a part of the definitions of my package.
> In reality, my type T_Maze is declared as private.

Then why not declare T_Maze as private, but with discriminants?

  package Maze is

    type T_Maze (X, Y, Z : Positive) is private;

  private

    type T_Maze_Array is
      array (Positive range <>, Positive range <>, Positive range <>) of
      T_Cell;

    type T_Maze (X, Y, Z : Positive) is
      record
        Items : T_Maze_Array (1 .. X, 1 .. Y, 1 .. Z);
      end record;

  end Maze;



> This is due
> to the fact that I also need to realize a dynamic implementation
> of my software (yes, this a project from my CS course :-) )

I don't know what you mean by "realize a dynamic implementation."

> It consequently seemed logical to create this package as a
> generic one.

I'm still not convinced you need a generic.


> If I decide to use a non private type and do only a static
> implementation, I know for sure your solution will work
> perfect. (It was, in fact, the way I ran my first tests)

I don't know what you mean by "static implementation."

Does the private type above meet your needs?  If not, why not?