Re: generic Integer for modular type bound

Re: generic Integer for modular type bound

[Björn Persson]

Stany Marcel wrote:

> I tried to something like this:
> 
> generic
>     Size : Integer;
> 
> package MyGenPack
>     type MyType_T is mod Size;
> 
> but It doesn't works because Size is not static, so is there an other nice
> way to do this in Ada.

Maybe you can pass the type to the package?

generic
     type MyType_T is mod <>;
package MyGenPack

-- 
Björn Persson                              PGP key A88682FD
                    omb jor ers @sv ge.
                    r o.b n.p son eri nu

Re: generic Integer for modular type bound

[Jim Rogers]

Stany Marcel <marcel_s@epita.fr> wrote in message news:<416fd34a$0$29515$636a15ce@news.free.fr>...
> Hi,
> 
> I tried to something like this:
> 
> generic
>     Size : Integer;
> 
> package MyGenPack
>     type MyType_T is mod Size;
> 
> but It doesn't works because Size is not static, so is there an other nice
> way to do this in Ada.

Try the following:

generic
   MyType_T is mod <>;
package MyGenPack
 ....
end MyGenPack;

In other words, use a modular generic parameter rather than specifying
a size. You might want to study the different kinds of generic parameters
allowed by Ada. They are clearly defined in section 12.5 of the Ada
Reference Manual.

Jim Rogers