Re: Getting modular type size in bits

[Jano <402450@cepsz.unizar.es>]

Robert A Duff (bobduff@shell01.TheWorld.com) dice...
> Jano <402450@cepsz.unizar.es> writes:
> 
> > type Number is Mod 2**32;
> > 
> > I want to know that the type size is 5. I'm aware of the 'modulus 
> > attribute, and 'size. If I understand correctly, 'size returns the size 
> > allocated by the compiler for the type (normally 8 in this case), not 
> > the _minimum_ size to allocate it (which is what I would need in that 
> > case).
> 
> 'Size returns the minimum -- i.e. how big it would be if it were a
> component of a packed record.  That's 32 in this case.  If it were
> "mod 2**5", then Number'Size would be 5, not 8.

Sorry about the typo. Really, the declaration should be, as you 
correctly note,

type Number is mod 2 ** 5;

<minutes later>

Argh, and testing now 'size, I see it returns 5. Mind you, to that I was 
refering with "silly thing". Because I tested it previously and made the 
same mistake, using the modulus in place of the size!!!!!! Silly me, 
silly me, silly me... now I should be happy because my problem is solved  
:) but anyways...

In regard to Lutz post, is fine for me to obtain size 8 if you force the 
size explicitely.

Many thanks,

-- 
-------------------------
Jano
402450[at]cepsz.unizar.es
-------------------------