DEFINITION Rendezvous

DEFINITION Rendezvous;

   IMPORT Objects, Tasks;

   TYPE
      Message = POINTER TO MessageRec;
      MessageRec = RECORD (Objects.ObjectRec) END;
      Entry = SHORTINT; (* 0..MAX(SET) *)
      EntrySet = SET;
      TaskBody = PROCEDURE;

   PROCEDURE Accept(entry: Entry; VAR message: Message);
   PROCEDURE AcceptEnd;
   PROCEDURE Select(entries: EntrySet; VAR entry: Entry);

   PROCEDURE Connect(task: Tasks.Task; entry: Entry; message: Message);
   PROCEDURE Initiate(body: TaskBody; VAR task: Tasks.Task);

END Rendezvous.