From: "Rick Santa-Cruz" <rick_santa_cruz75@msn.com>
Subject: Re: Integer'Class
Date: Tue, 5 Oct 2004 03:00:49 +0200
Date: 2004-10-05T03:00:49+02:00 [thread overview]
Message-ID: <cjsro2$6ft$02$1@news.t-online.com> (raw)
In-Reply-To: hfm8d.2844$UP1.1203@newsread1.news.pas.earthlink.net
"Jeffrey Carter" <spam@spam.com> schrieb im Newsbeitrag
news:hfm8d.2844$UP1.1203@newsread1.news.pas.earthlink.net...
> Rick Santa-Cruz wrote:
>
>> Why can't I use: Integer'Class, but I can derive a new class from
>> Integer in writing:
>> type New_Int is new Integer range 1..100;
>>
>> Isn't this unlogical? Or have I missunderstand something completly?
>
> It is inconsistent. 'Class only applies to tagged types.
>
> This is compounded further by the discussion of type classes, such as the
> class of integer types, floating-point types, and so on. 'Class was
> introduced in Ada 95 to allow OOP; type classes existed in Ada 83.
So, it's only a notation-problem and I am not only using "new" to derive (in
the conext of OOP) from a type? If this is the case, I can use the
new-keyword always and not only in cases of tagged types... is this true?
Bye,
Rick
next prev parent reply other threads:[~2004-10-05 1:00 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-10-05 0:10 Integer'Class Rick Santa-Cruz
2004-10-05 0:52 ` Integer'Class Jeffrey Carter
2004-10-05 1:00 ` Rick Santa-Cruz [this message]
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
-- strict thread matches above, loose matches on Subject: below --
2004-10-05 7:35 Integer'Class Christoph Karl Walter Grein
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox