DIRECTORY
FakeCirio,
TargetArchitecture,
BreakWorldArchitecture;

FakeLocalCirioImpl: CEDAR MONITOR 
LOCKS monitoredRecordPointer USING monitoredRecordPointer: MonitoredRecordPointer
IMPORTS FakeCirio, BreakWorldArchitecture, TargetArchitecture
EXPORTS FakeCirio
~ {

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

MonitoredCall: PUBLIC BreakWorldArchitecture.MonitoredCallProc ~ {

IF address.IsNullAddress[] THEN {
ERROR FakeCirio.Cant[message: "MonitoredCall[nullAddress]"];
};
IF proc = NIL THEN {
ERROR FakeCirio.Cant[message: "MonitoredCall[nullProc]"];
};
{
monitoredRecordPointer: LONG POINTER TO MonitoredRecord ~ 
MonitoredRecordPointerFromAddress[address: address];
MonitoredRecordPointerFromAddress: PROCEDURE [
address: BreakWorldArchitecture.Address] 
RETURNS [LONG POINTER TO MonitoredRecord] ~ TRUSTED {
targetAddress: TargetArchitecture.Address ~ 
BreakWorldArchitecture.TargetAddressFromBreakWorldAddress[address: address];
monitoredRecordPointer: LONG POINTER TO MonitoredRecord ~ LOOPHOLE[targetAddress];

IF targetAddress.IsNullAddress[] THEN {
ERROR FakeCirio.Cant[message: "MonitoredRecordPointerFromAddress[nullAddress]"];
};
RETURN [monitoredRecordPointer];
};
MonitoredCallEntry: ENTRY PROCEDURE [
monitoredRecordPointer: MonitoredRecordPointer, 
proc: PROCEDURE [] RETURNS []]
RETURNS [] ~ {
ENABLE UNWIND => NULL;
proc[]
};
MonitoredCallEntry[monitoredRecordPointer: monitoredRecordPointer, proc: proc];
};
};

}.
    ض  
FakeLocalCirioImpl.mesa
Copyright س 1990 by Xerox Corporation.  All rights reserved.
Peter B. Kessler, April 18, 1990 10:08:08 pm PDT

PROCEDURE [address: Address, proc: PROCEDURE [] RETURNS []] RETURNS []
 ‌ت&  –"cedar" style•NewlineDelimiter
™ codeڑœ™K™<K™0—™ ڑدk	ک	Kڑœ
ک
KڑœکKڑœکKک ——unitڑذlnœ‌œ‌œک"Lڑ‌œ‌œ/کQKڑ‌œ6ک=Kڑ‌œ
کKڑœکKک ڑ	œ‌œ‌œ‌œ‌œک?Kڑœ‌œ‌	œ‌œک,Kک —ڑدnœ‌œ-کBKڑ‌	œ‌	œ‌œ‌œ™FKک ڑ‌œ‌œک!Kڑ‌œ7ک<Kک—ڑ‌œ‌œ‌œکKڑ‌œ4ک9Kک—ڑœکڑœ‌œ‌œ‌œک:Kڑœ4ک4—ڑں!œ‌	œ-‌œ‌œ‌œ‌œ‌œکژڑœ,ک,KڑœLکL—Kڑ	œ‌œ‌œ‌œ‌œکRKک ڑ‌œ‌œک'Kڑ‌œKکPKک—Kڑ‌œک Kک—ڑںœ‌œ‌	œ:‌	œ‌œ‌œک„Kڑ‌œ‌œ‌œکKڑœکKک—KڑœOکOKک—KکKک —Kک—— …—    â  ق  