comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Using the "Terminated" aspect for a task passed to a generic
Date: Mon, 23 Apr 2018 18:41:57 +0200
Date: 2018-04-23T18:41:57+02:00	[thread overview]
Message-ID: <pbl2cm$1dhn$1@gioia.aioe.org> (raw)
In-Reply-To: d28c5bc2-6737-4a9a-8ab5-1e1a79866d8b@googlegroups.com

On 2018-04-23 18:35, Dan'l Miller wrote:
> On Monday, April 23, 2018 at 9:20:33 AM UTC-5, NiGHTS wrote:
>> Having looked carefully through 2 Ada reference books, one dedicated to tasking, and using Google to no end, I am stumped on the following Ada dilemma.
>>
>> generic
>>
>>          type Managed_Task_Type is limited private;
> 
> Wait.  Why can't we write:
> 
> generic
>    type Managed_Task_Type is limited task interface;
> package WD is
> ...
> 
> as per 12.5.5's AI95-00345 example in the _AARM:2012TC1_ page 527 (given there without the “limited”)?

Because you could not declare an object out of the interface, which 
seems to be a requirement.

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

  reply	other threads:[~2018-04-23 16:41 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-04-23 14:20 Using the "Terminated" aspect for a task passed to a generic NiGHTS
2018-04-23 15:40 ` AdaMagica
2018-04-23 16:23 ` Jeffrey R. Carter
2018-04-23 16:29 ` Dmitry A. Kazakov
2018-04-23 16:35 ` Dan'l Miller
2018-04-23 16:41   ` Dmitry A. Kazakov [this message]
2018-04-23 17:04   ` Dan'l Miller
2018-04-23 17:18 ` NiGHTS
replies disabled

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