
DIRECTORY
Finalize;

FinalizeImpl: CEDAR PROGRAM
EXPORTS Finalize
~ {
FinalizationState: TYPE ~ Finalize.FinalizationState;

Handle: TYPE ~ REF FinalizableObject;
FinalizableObject: PUBLIC TYPE ~ WORD32 MACHINE DEPENDENT RECORD [
word1(0): CARD32,
word2(1): CARD32,
finalizationQueue(2): FinalizationQueue,
next(3): Handle,
clientData(4): REF
];

FinalizationQueue: TYPE ~ REF FinalizationQueueRep;
FinalizationQueueRep: PUBLIC TYPE ~ WORD32 MACHINE DEPENDENT RECORD [
head(0): Handle,
tail(1): Handle,
nonempty(2): CONDITION
];

IsHandle: PUBLIC PROC [x: REF] RETURNS [BOOL] = {
RETURN [ISTYPE [x, REF FinalizableObject]]
};

NarrowHandle: PUBLIC PROC [x: REF] RETURNS [Handle] = {
RETURN [NARROW [x, REF FinalizableObject]]
};

NewFQ: PUBLIC PROC RETURNS [FinalizationQueue] ~ {
XRNewFQ: PROC RETURNS [FinalizationQueue] ~ TRUSTED MACHINE CODE { "XR_NewFQ" };
RETURN[ XRNewFQ[] ];
};

FQEmpty: PUBLIC PROC [fq: FinalizationQueue] RETURNS[BOOL] ~ {
XRFQEmpty: PROC [fq: FinalizationQueue] RETURNS[BOOL] ~ TRUSTED MACHINE CODE { "XR_FQEmpty" };
RETURN [ XRFQEmpty[fq] ];
};

XRFQNextNoAbort: PROC [fq: FinalizationQueue] RETURNS[handle: Handle] ~ TRUSTED MACHINE CODE { "XR_FQNextNoAbort" };

FQNextNoAbort: PUBLIC PROC [fq: FinalizationQueue] RETURNS[handle: Handle] ~ {
RETURN [ XRFQNextNoAbort[fq] ];
};

FQNext: PUBLIC PROC [fq: FinalizationQueue] RETURNS[handle: Handle м NIL] ~ {
handle м XRFQNextNoAbort[fq];
IF handle = NIL THEN ERROR ABORTED;
};
EnableFinalization: PUBLIC PROC [object: REF, fq: FinalizationQueue, clientData: REF м NIL] RETURNS [handle: Handle] ~ {
XREnableFinalization: PROC [object: REF, fq: FinalizationQueue, handle: Handle] ~ TRUSTED MACHINE CODE { "XR_EnableFinalization" };
handle м NEW[ FinalizableObject м [0, 0, fq, NIL, clientData]];
XREnableFinalization[object, fq, handle];
};

DisableFinalization: PUBLIC PROC [handle: Handle] RETURNS [oldState: FinalizationState] ~ {
XRDisableFinalization: PROC [handle: Handle] RETURNS [oldState: FinalizationState] ~ TRUSTED MACHINE CODE { "XR_DisableFinalization" };
RETURN[ XRDisableFinalization[handle] ];
};

ReenableFinalization: PUBLIC PROC [handle: Handle, fq: FinalizationQueue] RETURNS [oldState: FinalizationState] ~ {
XRReenableFinalization: PROC [handle: Handle, fq: FinalizationQueue] RETURNS [oldState: FinalizationState] ~ TRUSTED MACHINE CODE { "XR_ReenableFinalization" };
RETURN[ XRReenableFinalization[handle, fq] ];
};

GetFinalizationState: PUBLIC PROC [handle: Handle] RETURNS [state: FinalizationState] ~ {
XRGetFinalizationState: PROC [handle: Handle] RETURNS [state: FinalizationState] ~ TRUSTED MACHINE CODE { "XR_GetFinalizationState" };
RETURN[ XRGetFinalizationState[handle] ];
};

HandleToObject: PUBLIC PROC [handle: Handle] RETURNS [object: REF] ~ {
XRHandleToObject: PROC [handle: Handle] RETURNS [object: REF] ~ TRUSTED MACHINE CODE { "XR_HandleToObject" };
RETURN[ XRHandleToObject[handle] ];
};

GetClientData: PUBLIC PROC [handle: Handle] RETURNS [REF] ~ {
RETURN[ handle.clientData ];
};

}.


   ж  
FinalizeImpl.mesa
Copyright ╙ 1989, 1991 by Xerox Corporation.  All rights reserved.
Demers, March 27, 1989 2:35:09 pm PST
Willie-Sue Orr, March 30, 1989 1:48:04 pm PST
Willie-s, August 6, 1991 1:18 pm PDT
Christian Jacobi, July 20, 1992 4:40 pm PDT
Types
--the four first words are exactly as required by garbage collector
--further fields are unknown to the garbage collector
FQ Manipulation
Object Finalization
 Э╩e  ХNewlineDelimiter
Ц(cedarcode) styleЩ codeЩKЪЬ
╧eЬ7ЩBKЩ%KЩ-KЩ$KЩ+KШ ЧЪ╧k	Ш	KШ	KШ ЧЪ╧nЬЮЬЮШKЪЮЬ	ШKШheadЩKЪЬЮЬШ5KШ KЪЬЮЬЮЬШ%ЪЬЮЬЮЬЮЬЮЬЮ	ЬЮЬШBKЩCKЪЬ
ЮЬШKЪЬ
ЮЬШKШ(KШKЩ5KЪЬЮШKШKШ ЧKЪЬЮЬЮЬШ3ЪЬЮЬЮЬЮЬЮЬЮ	ЬЮЬШEKШKШKЪЬЮ	ШKЪЬШKШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШ1KЪЮЬЮЬЮЬШ*KШKШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШ7KЪЮЬЮЬЮЬШ*KШKШ ЧЧЩЪЯЬЮЬЮЬЮЬШ2KЪЯЬЮЬЮЬЮЬЮЬЮЬШPKЪЮЬШKШKШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШ>KЪЯ	ЬЮЬЮЬЮЬЮЬЮЬЮЬШ^KЪЮЬШKШKШ ЧKЪЯЬЮЬЮЬЮЬЮЬЮЬШtKШ ЪЯЬЮЬЮЬЮЬШNKЪЮЬШKШKШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШMKШKЪ
ЮЬ
ЮЬЮЬЮЬЮЬШ#KШЧЧЩЪЯЬЮЬЮЬ
ЮЬ%ЮЬЮЬЮЬШxKЪЯЬЮЬ
ЮЬ+ЮЬЮЬЮЬШГKЪЬ	ЮЬ!ЮЬШ?KЪЬ)Ш)KШKШ ЧЪЯЬЮЬЮЬЮЬ"Ш[KЪЯЬЮЬЮЬ!ЮЬЮЬЮЬШЗKЪЮЬ"Ш(KШKШ ЧЪЯЬЮЬЮЬ)ЮЬ"ШsKЪЯЬЮЬ)ЮЬ!ЮЬЮЬЮЬШаKЪЮЬ'Ш-KШKШ ЧЪЯЬЮЬЮЬЮЬШYKЪЯЬЮЬЮЬЮЬЮЬЮЬШЖKЪЮЬ#Ш)KШKШ ЧЪ
ЯЬЮЬЮЬЮЬ
ЮЬШFKЪЯЬЮЬЮЬ
ЮЬЮЬЮЬЮЬШmKЪЮЬШ#KШKШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШ=KЪЮЬШKШKШ ЧЧKШЧKШ KШ Ч ЕЧ    ─  ╧  