Re: requeue vs requeue with abort - code example pleaseeee

[AdaMagica <christoph.grein@eurocopter.com>]

On 10 Dez., 18:27, Robert A Duff <bobd...@shell01.TheWorld.com> wrote:
> AdaMagica <christoph.gr...@eurocopter.com> writes:
> > There is a also a subtle difference between a conditional entry call
> > and a timed entry call with zero delay (even though 9.7.3(3) says that
> > they are equivalent).
>
> That can't be right.  9.7.3(3) defines the semantics of conditional
> entry call.  How can the RM be wrong about what the RM says?  ;-)

Ha, that's funny. This is what one of your collegues at AdaCore
explained (I was a supported customer at that time). And that's also
what I read at several other places IIRC.

And the RM is certainly "wrong" at several places where ACATS defines
what is to be done (e.g. reading numerals via Text_IO from files ;-).
Robert 'Dewar likes to point this out.