Re: Accessing the underlying rep for enumerated types?

[Jeffrey Carter <spam@spam.com>]

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.

-- 
Jeff Carter
"My legs are gray, my ears are gnarled, my eyes are old and bent."
Monty Python's Life of Brian
81