9.7.3 Conditional Entry Calls
issues an entry call that is then cancelled if it is not selected immediately
(or if a requeue-with-abort of the call is not selected immediately).
A procedure call may appear rather than an entry call for cases where
the procedure can be implemented by an entry.
NOTE A conditional_entry_call
can briefly increase the Count attribute of the entry, even if the conditional
call is not selected.
Example of a conditional
Spin(R : in out
-- see 9.4
; -- busy waiting
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe