Re: passing parametars as determinants

[Simon Wright <simon@pushface.org>]

compguy45@gmail.com writes:

> I have task type such as...
>
> task type myTaskType (a: Integer; b: Integer);
>
> I have type.....
>
> type myOtherType is array (1 ..N-1) of String (1..N);
>
> I would like to pass array of myOtherType into my task type
> declaration like this...
>
> task type myTaskType (a: Integer; b: Integer; c : myOtherType); ??
>
> Is there way to do this?

ARM 3.7(1)[1] says "A discriminant of an object is a component of the
object, and is either of a discrete type or an access type."

An array is not a discrete type: but you can use an access-to-array,

   task type myTaskType (a: Integer; b: Integer; c : access myOtherType);

[1] http://www.ada-auth.org/standards/12rm/html/RM-3-7.html#p1