- A conditional_entry_call 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
- The execution of a conditional_entry_call is defined to be equivalent to
the execution of a timed_entry_call with a delay_alternative specifying an
immediate expiration time and the same sequence_of_statements as given after
the reserved word else.
(37) A conditional_entry_call may briefly increase the Count attribute
of the entry, even if the conditional call is not selected.
- Example of a conditional entry call:
procedure Spin(R : in Resource) is
null; -- busy waiting
-- Email comments, additions, corrections, gripes, kudos, etc. to:
Magnus Kempe -- Magnus.Kempe@di.epfl.ch
Page last generated: 95-03-12