comp.lang.ada
 help / color / mirror / Atom feed
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: task activation
Date: 1999/12/06
Date: 1999-12-06T00:00:00+00:00	[thread overview]
Message-ID: <82fbr9$jqm$1@nnrp1.deja.com> (raw)
In-Reply-To: x7vpuwnll5s.fsf@pogner.demon.co.uk

In article <x7vpuwnll5s.fsf@pogner.demon.co.uk>,
  Simon Wright <simon@pogner.demon.co.uk> wrote:
> As Robert Dewar has mentioned a few times recently, library
> level tasks can give you real headaches at elaboration time,
> at any rate if you use GNAT's default elaboration scheme. The
> style guide may need a bit of a rethink in this area (at least
> to lay out the problems and options).

Not such a headache, one of the following usually works fine

Separate the task type declaration and task object declaration
into separate units.

Suppress elaboration checks in the task body if you know the
body is not executed till after elaboration is complete.

Use the pragma Restrictions to say that no entry calls appear
in elaboraiton code.




Sent via Deja.com http://www.deja.com/
Before you buy.




  parent reply	other threads:[~1999-12-06  0:00 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-11-20  0:00 task activation Matthew Heaney
1999-11-21  0:00 ` Jean-Pierre Rosen
1999-11-22  0:00 ` Robert A Duff
1999-11-22  0:00   ` Matthew Heaney
1999-11-23  0:00     ` Mats Weber
1999-11-23  0:00       ` Matthew Heaney
1999-12-02  0:00   ` Ehud Lamm
1999-12-03  0:00     ` Simon Wright
1999-12-06  0:00       ` Robert Dewar
1999-12-06  0:00       ` Robert Dewar [this message]
1999-12-06  0:00         ` Simon Wright
1999-12-06  0:00         ` Robert A Duff
  -- strict thread matches above, loose matches on Subject: below --
2011-12-21 11:58 Task activation tonyg
2011-12-21 12:27 ` tonyg
2011-12-21 12:31   ` AdaMagica
2011-12-21 12:35 ` Niklas Holsti
2011-12-22  8:26   ` tonyg
replies disabled

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