Re: passing parametars as determinants

[mockturtle <framefritti@gmail.com>]

On Wednesday, October 22, 2014 7:12:56 AM UTC+2, comp...@gmail.com wrote:
> 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?

As far as I know, not directly.  You have two alternatives:

  1.  Pass c as an access to string. 

  2.  Give to the task an entry point Init (or something similar) and use it to pass c.  Something like

    task body myTaskType is
       local_copy : myOtherType;
    begin
      accept Init(c: myOtherType) do
         local_copy := c;
      end Init;

      -- Back to serious work
    end myTaskType;

Why are not we allowed to use generic types as discriminants?  Honestly, I do not know, I have always been curious...  Note, however, that the task "parameters" are actually called "discriminants," so I guess they are closer (in some sense) to the record discriminants.

Riccardo