DIRECTORY
SameWorldMonitoredCallOps,
CirioNubAccess;

SameWorldMonitoredCallOpsImpl: CEDAR MONITOR
LOCKS monitoredRecordPointer USING monitoredRecordPointer: MonitoredRecordPointer
IMPORTS CirioNubAccess
EXPORTS SameWorldMonitoredCallOps
~ {

MonitoredRecordPointer: TYPE ~ LONG POINTER TO MonitoredRecord;
MonitoredRecord: TYPE ~ MONITORED RECORD [];

MonitoredCall: PUBLIC PROCEDURE [
address: CirioNubAccess.RemoteAddress, 
proc: PROCEDURE [] RETURNS []] 
RETURNS [] ~ {
IF address.nil THEN CirioNubAccess.RemoteNilFault[address];
IF NOT address.valid THEN CirioNubAccess.RemoteAddrFault[address];
IF proc = NIL THEN RETURN;
{
MonitoredRecordPointerFromAddress: PROCEDURE [
address: CirioNubAccess.RemoteAddress] 
RETURNS [LONG POINTER TO MonitoredRecord] ~ TRUSTED {
RETURN [LOOPHOLE[address.byteAddress, LONG POINTER TO MonitoredRecord]];
};
monitoredRecordPointer: LONG POINTER TO MonitoredRecord ~ 
MonitoredRecordPointerFromAddress[address: address];
MonitoredCallEntry: ENTRY PROCEDURE [
monitoredRecordPointer: MonitoredRecordPointer, 
proc: PROCEDURE [] RETURNS []]
RETURNS [] ~ {
ENABLE UNWIND => NULL;
proc[];
RETURN;
};
MonitoredCallEntry[monitoredRecordPointer: monitoredRecordPointer, proc: proc];
};
RETURN;
};

}.
   ш  
SameWorldMonitoredCallOpsImpl.mesa
Copyright ╙ 1990 by Xerox Corporation.  All rights reserved.
Peter B. Kessler, July 10, 1990 2:39 pm PDT

This is a separate interface, because it locks a separate (dynamic) monitor lock.

 Э╩▌  ХNewlineDelimiter
Щ codeЪЬ"Щ"KЩ<KЩ+ЧKЩ KЩQЩ Ъ╧k	Ш	KЪЬШKШKШ ЧЧunitЪ╨lnЬЭЬЭШ,KЪЭЬЭЬ/ШQKЪЭЬШKЪЭЬШ!KШKШ Ъ	ЬЭЬЭЬЭЬЭЬШ?KЪЬЭЬЭ	ЬЭЬШ,KШ ЧЪ╧nЬЭЬЭ	Ь1Э	ЬЭЬЭЬШxJЪЭЬЭЬ(Ш;JЪЭЬЭЬЭЬ)ШBKЪЭЬЭЬЭЬЭЬШЪЬШЪЯ!ЬЭ	Ь+ЭЬЭЬЭЬЭЬЭЬШМKЪ
ЭЬЭЬЭЬЭЬЭЬШHKШЧЪЬЭЬЭЬЭЬШ:KЪЬ4Ш4ЧЪЯЬЭЬЭ	Ь:Э	ЬЭЬЭЬШДKЪЭЬЭЬЭЬШKЪЬШKЪЭЬШKШЧKЪЬOШOKШЧKЪЭЬШKШKШ ЧKШЧЧ ЕЧ    ╨  Х  