Re: Beware: Rep spec on an enumeration type causes code explosion

["Jean-Pierre Rosen" <rosen.adalog@wanadoo.fr>]

Tucker Taft wrote...
>So in retrospect, I believe enumeration representation
>clauses in Ada are a mistake.  If a user wants to name
>particular values, they should simply use named integer
>constants, or perhaps better, named private-type constants.  They can build
>up various maps of their own if they want to translate to/from some kind
>of "holey" representation from/to a contiguous representation.
>
An important issue is why is a representation clause necessary at all ?
In general, it is because of some interfaces to hardware or other
programming language. In this case, you can use an efficient representation
for internal use, and use a representation clause only for interfaces:

type Efficient_Enumeration is (...);
type External_Enumeration is new Efficient_Enumeration;
for External_Enumeration use (...);

You would convert to External_Enumeration (and incur some overhead) only
when needed.