entry
identifier [(discrete_range)] [formal_part];
entry_call_statement ::= entry_name [actual_parameter_part];
accept
entry_simple_name [(entry_index)] [formal_part] [do
sequence_of_statements
end
[entry_simple_name]];
entry
READ(V : out
ITEM);
entry
SEIZE;
entry
REQUEST(LEVEL)(D : ITEM); -- a family of entries
CONTROL.RELEASE; -- see 9.2 and 9.1
PRODUCER_CONSUMER.WRITE(E); -- see 9.1
POOL(5).READ(NEXT_CHAR); -- see 9.2 and 9.1
CONTROLLER.REQUEST(LOW)(SOME_ITEM); -- see 9.1
accept
SEIZE;
accept
READ(V : out
ITEM) do
V := LOCAL_ITEM;
end
READ;
accept
REQUEST(LOW)(D : ITEM) do
...
end
REQUEST;