Re: subtype of enumeration type

[Maciej Sobczak <no.spam@no.spam.com>]

Larry Kilgallen wrote:

>      type Day is (Mon, Tue, Thu, Fri, Wed, Sat, Sun);
>      subtype Weekday is Day range Mon .. Wed;
>      subtype Schoolday is Day range Mon .. Fri;

First of all, I might need to define the subtypes *after* Day is defined 
and I might not have write access to the module where Day is defined.

Second, let's say that in addition I get the piano lessons all Tuesdays, 
Wednesdays and Thursdays:

    subtype Pianoday is Day <what goes here?>;


> Some additional logic may also be in order if you print some
> some human-readable output based on an iteration

This additional logic would be needed only because you have changed the 
order of elements in the primary type for the purpose of defining the 
subtype, thus introducing the *reverse* source code dependency between 
these types.
In other words, the need for this "additional logic" is exactly the 
indication that this solution is not acceptable.

So - is it at all possible? If yes, how? If not, what is the sense of 
providing these kind of examples even in RM, if the concept simply does 
not work?


-- 
Maciej Sobczak : http://www.msobczak.com/
Programming    : http://www.msobczak.com/prog/