Re: Accessing the underlying rep for enumerated types?

[Dale Stanbrough <MrNoSpam@bigpoop.net.au>]

Jeffrey Carter wrote:

> Dale Stanbrough wrote:
> 
> > An enumeration type can have a representation clause applied to it
> > allowing you to specify a underlying integer representation for
> > each value.
> > 
> > 'Pos tells you the position within the enumeration, not it's
> > underlying value. Is there any way to get access to this value
> > other than using Unchecked_Conversion?
> 
> Sure:
> 
> type Enum is (One, Two, Three);
> for Enum use (One => 1, Two => 2, Three => 4);
> 
> type Rep_List is array (Enum) of Positive;
> 
> Get_Rep : constant Rep_List := (One => 1, Two => 2, Three => 4);
> 
> E   : Enum     := Enum'First;
> Rep : Positive := Get_Rep (E);
> 
> If you mean a way built into the language, that's called 
> Unchecked_Conversion.

<sigh>....

Obviously I have to phrase this much more pedantically.

Is there any feature in the language that allows me to get access
to the underlying enumeration values other than using Unchecked
Conversion?

Dale

-- 
dstanbro@spam.o.matic.bigpond.net.au