comp.lang.ada
 help / color / mirror / Atom feed
From: Jean-Pierre Rosen <rosen@adalog.fr>
To: Steve <nospam_steved94@comcast.net>
Subject: Re: Need a Sanity Check
Date: Mon, 16 May 2005 17:18:58 +0200
Date: 2005-05-16T17:18:58+02:00	[thread overview]
Message-ID: <4288B9E2.2010109@adalog.fr> (raw)
In-Reply-To: <McadnVO22bzqPhXfRVn-tA@comcast.com>

Steve a �crit :
> I believe the output you get from this program is dependent on the runtimes 
> implementation of Text_IO.
> 
> The old ARM 9.5.1:
>   During a protected action, it is a bounded error to invoke an operation 
> that is potentially blocking.  The following are defined to be potientially 
> blocking operations:

An accept statement is a potentially blocking operation, but it is *not* 
a protected operation, therefore it is safe to call Text_IO from within 
an accept statement (but an accept statement cannot be called from 
within a protected subprogram or entry).

-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr



  reply	other threads:[~2005-05-16 15:18 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-05-11  0:49 Need a Sanity Check autstspe
2005-05-11  3:19 ` Jeffrey Carter
2005-05-11 17:08   ` autstspe
2005-05-16 13:43 ` Steve
2005-05-16 15:18   ` Jean-Pierre Rosen [this message]
2005-05-20 20:08     ` mark
2005-05-21  4:51       ` Randy Brukardt
replies disabled

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