Re: Size of SET type

[Gaius Mulley]

TELEMAQUE Olivier <olivier.telemaque@alstomgroup.com> writes:

> Hi,
>
>  
>
> I have the code below :
>
>  
>
> MODULE My_Module;
>
>  
>
> FROM SYSTEM IMPORT SIZE;
>
> FROM libc IMPORT printf;
>
>  
>
> TYPE Byte_T = SET OF [0..7];
>
> BEGIN
>
>     printf("SIZE Byte_T = %u\n", SIZE(Byte_T));
>
> END My_Module.
>
>  
>
> I expected to have SIZE Byte_T = 1 but unfortunately SIZE Byte_T = 4. Is it 
> the behavior expected from Gm2 or is it a bug ?
>
>  
>
> Regards,
>
> Olivier

Hi Olivier,

here is a further example using the <* bytealignment(0) *> attribute
(for non SET types):

MODULE setsize ;

FROM SYSTEM IMPORT SIZE;
FROM libc IMPORT printf;

TYPE
    Byte_T = SET OF [0..7];
    Small_Set_T = PACKEDSET OF [0..7] ;
    foo = [0..7] ;
    Small_Set_T2 = SET OF foo ;
    bar = ARRAY [0..7] OF BOOLEAN <* bytealignment(0) *> ;
BEGIN
   printf("SIZE Byte_T = %u\n", SIZE(Byte_T));
   printf("SIZE Small_Set_T = %u\n", SIZE(Small_Set_T));
   printf("SIZE Small_Set_T2 = %u\n", SIZE(Small_Set_T2));
   printf("SIZE bar = %u\n", SIZE(bar));
END setsize.


regards,
Gaius