comp.lang.ada
 help / color / mirror / Atom feed
From: "Jean-Pierre Rosen" <rosen.adalog@wanadoo.fr>
Subject: Re: is_callable(environment)?
Date: 1998/07/23
Date: 1998-07-23T00:00:00+00:00	[thread overview]
Message-ID: <6p7ri9$9ra$2@platane.wanadoo.fr> (raw)
In-Reply-To: dewar.901140867@merv

I am puzzled by Robert's response here.

Every task has a task ID, and I don't think there is something in the
reference manual that says that the environment task is treated differently.

C.7.1(21) is a *note*, not an *implementation permission*. My understanding
is that it points out that if the current task is the environment task, then
calling Current_Task will return its task-ID, and therefore that it can be
used safely even with the environment task.

Therefore, I would say that the proposed program should always work.
--
----------------------------------------------------------------------------
                  J-P. Rosen (Rosen.Adalog@wanadoo.fr)
      Visit Adalog's web site at http://perso.wanadoo.fr/adalog

Robert Dewar a �crit dans le message ...
><<appears to work on the three compilers I've tried so far, but I wonder
>if I'm just very lucky, or if most compilers take the allowance of
>C.7.1(21) and allow 'caller to return a task_id of the environment
>task, and if is_callable on the environment task becomes false when it
>reaches the end of the main program and before its dependent tasks
>have terminated and library level controlled objects have finalized.
>>>>
>
>You are lucky, there is no reason to think this would always work!
>





  reply	other threads:[~1998-07-23  0:00 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1998-07-22  0:00 is_callable(environment)? Tom Moran
1998-07-22  0:00 ` is_callable(environment)? Robert Dewar
1998-07-23  0:00   ` Jean-Pierre Rosen [this message]
1998-07-23  0:00   ` is_callable(environment)? Tom Moran
1998-07-23  0:00 ` is_callable(environment)? Tucker Taft
replies disabled

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