Re: Private or public task ?

["Jeffrey R. Carter" <spam.jrcarter.not@spam.acm.org>]

Hibou57 (Yannick Duch�ne) wrote:
> 
> � If the bounded error is detected, Program_Error is raised. If not
> detected, the bounded error might result in deadlock or a (nested)
> protected action on the same target object. �
> 
> So it is not guaranteed to be a bounded error, as nested protected
> action may succeed.

No, it is a bounded error. A bounded error has a finite set of possible effects. 
One of the possible effects of this particular bounded error is that the 
operation will complete normally.

See also pragma Detect_Blocking (ARM H.5); without it an implementation may 
choose to never detect potentially blocking operations and never raise 
Program_Error. This seems to be the way GNAT handles these.

-- 
Jeff Carter
"He didn't get that nose from playing ping-pong."
Never Give a Sucker an Even Break
110