From: Jeffrey Carter <spam@spam.com>
Subject: Re: Why can't you create a out of order subtype?
Date: Wed, 02 Feb 2005 00:24:45 GMT
Date: 2005-02-02T00:24:45+00:00 [thread overview]
Message-ID: <h5VLd.4199$cl1.3735@newsread3.news.pas.earthlink.net> (raw)
In-Reply-To: <1107301914.648240.237290@g14g2000cwa.googlegroups.com>
brett_gengler@yahoo.com wrote:
> I created a type whose order can not be rearranged and I want to create
> a subtype of that type. So,
>
> type msg is ( msg_a, msg_b, msg_c, msg_d, msg_e);
>
> subtype vowel_msg is msg (msg_a, msg_e); --wrong, but why?
Ada only allows subrange subtypes of enumeration types. Sure, there are
a lot of things it would be nice to be able to do, but the language only
allows certain things.
> Is it true that I can't define a a subtype that's not a ordered
> subrange of a type? My issue is that I want to enforce the subtype at
> compile time instead of creating an array of booleans and doing a run
> time check. (This is for an interface and I don't trust people to send
> me the right types).
It's true for elementary types.
> Another option that I think is much, much worse then the boolean array
> would be create an overloaded type...
>
> type msg is ( msg_a, msg_b, msg_c, msg_d, msg_e);
> type vowelmsg ( msg_a, msg_e);
>
> But as you know, msg.msg_e = 4 and vowelmsg.msg_e = 1 so an unchecked
> conversion is wrong on so many levels.
Yes, this may be worse, but you can at least get Unchecked_Conversion to
work:
for Vowelmsg use (Msg_A => 0, Msg_E => 4);
for Vowelmsg'Size use Msg'Size;
This would still be a run-time check:
function To_Vowel is new Ada.Unchecked_Conversion
(Source => Msg, Target => Vowelmsg);
It_Is_A_Vowel : constant Vowelmsg := To_Vowel (Any_Msg);
if It_Is_A_Vowel'Valid then -- It's a vowel!
--
Jeff Carter
"You cheesy lot of second-hand electric donkey-bottom biters."
Monty Python & the Holy Grail
14
next prev parent reply other threads:[~2005-02-02 0:24 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-02-01 23:51 Why can't you create a out of order subtype? brett_gengler
2005-02-02 0:24 ` Jeffrey Carter [this message]
2005-02-02 17:55 ` Marius Amado Alves
2005-02-02 18:50 ` Pascal Obry
2005-02-02 20:22 ` Marius Amado Alves
2005-02-03 4:36 ` Wes Groleau
2005-02-03 12:59 ` Marius Amado Alves
2005-02-04 3:42 ` Wes Groleau
2005-02-02 19:35 ` Martin Dowie
2005-02-02 20:35 ` Marius Amado Alves
2005-02-02 21:18 ` Martin Dowie
2005-02-03 19:40 ` Robert A Duff
2005-02-03 20:22 ` Marius Amado Alves
2005-02-03 22:05 ` Robert A Duff
2005-02-04 6:49 ` Martin Dowie
2005-02-02 22:26 ` Georg Bauhaus
2005-02-03 23:09 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox