Re: requeue with abort and timed call

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Mon, 05 Jan 2009 20:28:14 GMT, Jeffrey R. Carter wrote:

> Dmitry A. Kazakov wrote:
>> 
>> There is an easy way out. They could say that GNAT's Ada.Text_IO.Put_Line
>> is not potentially blocking.
> 
> No, the ARM specifies that all the operations of the language-defined I/O pkgs 
> are potentially blocking.

RM only says "In particular, the subprograms of the language-defined
input-output packages that manipulate files (implicitly or explicitly) are
potentially blocking." 9.5.1 (18). If Put_Line does not manipulate files,
then it is OK. "file" is not defined anyway.

>> Here they are in violation. Since they detected a delay statement within a
>> protected action, they should have raised Protected_Error.
> 
> I think the ARM gives the implementation the right to decide whether or not to 
> raise an exception if it detects the problem.

But RM 9.5.1 (17) is specific "If the bounded error is detected,
Program_Error is raised." No permission given to ignore it.

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