Re: Concatenate enumeration

["Jeffrey R. Carter" <spam.jrcarter.not@spam.acm.org>]

Pablo wrote:
> type Enumerate_Type is
>   (
>    NONE,
>    READY
>   );
> for Enumerate_Type use
>   (
>    NONE  => 0,
>    READY=> 1
>   );
> for Enumerate_Type'Size use 1;
> 
> and I want to create a new type Enumerate2_Type which could be the
> form
> type Enumerate_Type is
>   (
>    NONE,
>    READY,
>    OFF
>   );
> for Enumerate_Type use
>   (
>    NONE  => 0,
>    READY=> 1,
>    OFF     => 2
>   );
> for Enumerate_Type'Size use 2;
> 
> How to I do this without having to explicit clone the first one?

You can't. Enumeration types are not extensible.

You can do something similar in the reverse direction:

type Big is (None, Ready, Off);

subtype Small is Big range None .. Ready;

or

type Small is new Big range None .. Ready;

-- 
Jeff Carter
"Monsieur Arthur King, who has the brain of a duck, you know."
Monty Python & the Holy Grail
09