Re: requeue with abort and timed call

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

On Mon, 05 Jan 2009 02:48:05 GMT, Jeffrey R. Carter wrote:

> Dmitry A. Kazakov wrote:
>> 
>> No, it is perfectly legal to use Put_Line in protected actions *with* GNAT.
>> 
>> GNAT implementation explicitly permits this use. So Jeffrey's comment was
>> irrelevant here.
> 
> No, the use of Ada.Text_IO.Put_Line in a protected action is a bounded error 
> with *all* compilers, GNAT included. A bounded error is an error, therefore this 
> use is an error for all compilers.

There is an easy way out. They could say that GNAT's Ada.Text_IO.Put_Line
is not potentially blocking.

> What happens in the case of a bounded error is compiler dependent. GNAT 6.1.1 
> gives me a warning if I use a delay statement in a protected operation, but 
> otherwise allows it. Another compiler might choose to raise Program_Error at run 
> time.

Here they are in violation. Since they detected a delay statement within a
protected action, they should have raised Protected_Error.

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