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, 1992 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.

 Êù  –(cedarcode) style•NewlineDelimiter
™ codešœ"™"Kšœ
Ïeœ7™BK™+K™ K™QK™ šÏk	˜	Kšœ˜K˜K˜ ——unitšÐlnœžœž˜,Kšžœžœ/˜QKšžœ˜Kšžœ˜!K˜K˜ š	œžœžœžœžœ˜?Kšœžœž	œžœ˜,K˜ —šÏnœžœž	œ1ž	œžœžœ˜xKšžœžœ(˜;Kšžœžœžœ)˜BKšžœžœžœžœ˜šœ˜š !œž	œ+žœžœžœžœžœ˜ŒKš
žœžœžœžœžœ˜HK˜—šœžœžœžœ˜:Kšœ4˜4—š œžœž	œ:ž	œžœžœ˜„Kšžœžœžœ˜Kšœ˜Kšžœ˜K˜—KšœO˜OK˜—Kšžœ˜K˜K˜ —K˜—— …—    Ð  ·  