From: Jean-Pierre Rosen <rosen@adalog.fr>
Subject: Re: embed accept statement in procedures not possible?
Date: Wed, 09 May 2007 09:12:53 +0200
Date: 2007-05-09T09:12:53+02:00 [thread overview]
Message-ID: <u9sr1f.tue.ln@hunter.axlog.fr> (raw)
In-Reply-To: <1178307901.263809.221480@n76g2000hsh.googlegroups.com>
Adam Beneschan a �crit :
> Actually, though, why is a syntactic rule necessary (as opposed to a
> run-time check)?
>
1) In general, Ada enforces static checking rather than dynamic
checking, especially when (like here) the problem is really structural
2) There would be a distributed cost. Any accept statement would need to
access, at least Current_Task, and (believe it or not) this can be
costly in some environments.
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr
next prev parent reply other threads:[~2007-05-09 7:12 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-05-04 15:04 embed accept statement in procedures not possible? Gerd
2007-05-04 16:58 ` Jean-Pierre Rosen
2007-05-04 19:45 ` Adam Beneschan
2007-05-09 7:12 ` Jean-Pierre Rosen [this message]
2007-05-09 14:56 ` Adam Beneschan
2007-05-10 11:43 ` Jean-Pierre Rosen
2007-05-10 17:26 ` Pascal Obry
2007-05-04 17:03 ` (see below)
2007-05-04 21:22 ` adaworks
2007-05-05 23:54 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox