comp.lang.ada
 help / color / mirror / Atom feed
From: lutz@iks-jena.de (Lutz Donnerhacke)
Subject: Re: Ada 0x: Re: Representation clause
Date: 23 Feb 2001 09:01:48 GMT
Date: 2001-02-23T09:01:48+00:00	[thread overview]
Message-ID: <slrn99c9ij.ju.lutz@taranis.iks-jena.de> (raw)
In-Reply-To: 3a9621eb$1@pull.gecm.com

* Martin Dowie wrote:
>James Rogers <jimmaureenrogers@worldnet.att.net> quote the RM:
>> Unchecked_Conversion may be used to query the internal codes
>> used for an enumeration type. The attributes of the type, such as Succ,
>> Pred, and Pos, are unaffected by the enumeration_representation_clause.
>> For example, Pos always returns the position number, not the internal
>> integer code that might have been specified in a
>> enumeration_representation_clause.

>Do I spot a possible language extension here?
>How about a 'Underlying_Value attribute?

That would only syntactic shugar, why burden this into the language?



  reply	other threads:[~2001-02-23  9:01 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-02-23  2:39 Representation clause Anatoly Chernyshev
2001-02-23  3:59 ` James Rogers
2001-02-23  8:46   ` Ada 0x: " Martin Dowie
2001-02-23  9:01     ` Lutz Donnerhacke [this message]
2001-02-23 10:22       ` David C. Hoos, Sr.
2001-02-23 13:56         ` Florian Weimer
2001-02-23 14:57           ` David C. Hoos, Sr.
2001-02-23 21:38             ` Florian Weimer
2001-02-23 21:12     ` Randy Brukardt
2001-02-24  5:44       ` James Rogers
2001-02-24 10:43         ` Florian Weimer
2001-02-24 17:47           ` James Rogers
2001-02-26 19:51             ` Randy Brukardt
2001-02-26 20:20               ` James Rogers
     [not found]                 ` <WURm6.3437$7e6.1392211@homer.alpha.net>
2001-02-28  2:32                   ` James Rogers
2001-02-23 13:25 ` Marc A. Criley
2001-02-23 14:08 ` Des Walker
2001-02-24 13:26 ` David C. Hoos, Sr.
2001-02-24 14:45   ` Ken Garlington
2001-02-25 20:22     ` David C. Hoos, Sr.
2001-02-26  0:53       ` Ken Garlington
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox