Re: Enumeration representation clause surprise.

[Markus Schoepflin <nospam@no.spam>]

christoph.grein@eurocopter.com wrote:

> What you request for A1 seems impossible: Store value 2 = 2#01# in one
> bit.

This is exactly my point. I would have expected a compile time error for 
this impossible request.

Representation clauses are (amongst other) meant to specify specific binary 
layouts for interfacing with the external world. Or am I mistaken here?

> An illustrating example:
> 
> type My_Int is range 10_000 .. 10_001;
> 
> type My_Record is record
>   I: My_Int;
> end record;
> 
> for My_Record use record
>   I at 0 range 0 .. 0;
> end record;
> 
> This is allowed. My_Record holds only two values, so one bit is
> enough. The compiler uses a so-called biased representation with
> 10_000 as bias, which need not be stored.

Yes, I am aware that this feature exists, I am just unhappy that it is also 
allowed for enumerations.

Is there another Ada mechanism for specifying external interfaces like this 
one? One that does not have the same subtle maintenance trap?

> Hope this helps.

Thanks,
Markus