comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Unchecked_Conversion and task pointer.
Date: Fri, 8 Jul 2005 09:48:54 +0200
Date: 2005-07-08T09:48:02+02:00	[thread overview]
Message-ID: <28m5yx3jhzvu$.16u6va8093srl.dlg@40tude.net> (raw)
In-Reply-To: 1PidncjOa5cWA1DfRVn-1Q@megapath.net

On Thu, 7 Jul 2005 16:31:51 -0500, Randy Brukardt wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:1xuh1gs97pwwg$.1v4w9ruw1n2x$.dlg@40tude.net...
> ...
>> Task types are not tagged in Ada (alas).
> 
> Task types that inherit from an interface are tagged in Ada 200Y.

Yes.

>> So if you are trying to have a
>> kind of task types hierarchy you should use mix-in.
> 
> No, you should definitely use an interface.

It depends. Tasks are still non-tagged in the sense that you cannot have a
"task" interface. In an interface Who_Am_I can only be a *procedure*, which
could be then implemented by an entry. But it should an *entry* from the
beginning if the intent is to have a dispatching entry Who_Am_I called
using, say, timed entry call. In that case mix-in will be the only
workaround.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de



  reply	other threads:[~2005-07-08  7:48 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-07-07 15:50 Unchecked_Conversion and task pointer e.coli
2005-07-07 18:56 ` Randy Brukardt
2005-07-07 21:39   ` e.coli
2005-07-09  6:23     ` Simon Wright
2005-07-07 20:18 ` Dmitry A. Kazakov
2005-07-07 21:31   ` Randy Brukardt
2005-07-08  7:48     ` Dmitry A. Kazakov [this message]
2005-07-10  1:42       ` Randy Brukardt
2005-07-10  8:26         ` Dmitry A. Kazakov
2005-07-11 18:28           ` Randy Brukardt
2005-07-12  8:13             ` Dmitry A. Kazakov
2005-07-12 20:30               ` Randy Brukardt
2005-07-13  8:11                 ` 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