From: "Christoph Karl Walter Grein" <AdaMagica@web.de>
To: comp.lang.ada@ada-france.org
Subject: Re: Integer'Class
Date: Tue, 05 Oct 2004 09:35:29 +0200
Date: 2004-10-05T09:35:29+02:00 [thread overview]
Message-ID: <mailman.192.1096961743.390.comp.lang.ada@ada-france.org> (raw)
There are several mistakes in the post:
> The parent for simple types is 'Base. The 'Base of Integer is
> universal_integer - a compiler internal type which cannot be used directly.
>
> Saying that, I now start to wonder what 'Base of a tagged type is...
'Base is defined for scalar subtypes only. So there is no such thing for tagged types.
Integer is the "first subtype" (constrained) of an anomymous unconstrained base type
accessible via the 'Base attribute.
The parent of all integer types is root integer, which again is anonymous. All integer
literals are of this type; they are implicitly converted to the correct target type.
You may informally think of root integer as Integer'Class.
__________________________________________________________
Mit WEB.DE FreePhone mit hoechster Qualitaet ab 0 Ct./Min.
weltweit telefonieren! http://freephone.web.de/?mc=021201
next reply other threads:[~2004-10-05 7:35 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-10-05 7:35 Christoph Karl Walter Grein [this message]
-- strict thread matches above, loose matches on Subject: below --
2004-10-05 0:10 Integer'Class Rick Santa-Cruz
2004-10-05 0:52 ` Integer'Class Jeffrey Carter
2004-10-05 1:00 ` Integer'Class Rick Santa-Cruz
2004-10-05 19:45 ` Integer'Class Jeffrey Carter
2004-10-05 7:16 ` Integer'Class Martin Krischik
2004-10-05 19:49 ` Integer'Class Jeffrey Carter
2004-10-05 8:45 ` Integer'Class Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox