
DIRECTORY
Finalization
;

FinalizationImpl: CEDAR PROGRAM
EXPORTS Finalization
~ {
FinalizationState: TYPE ~ Finalization.FinalizationState;

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

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

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] ];
};

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

FQNext: PUBLIC PROC [fq: FinalizationQueue] RETURNS[handle: Handle м NIL] ~ {
XRFQNextNoAbort: PROC [fq: FinalizationQueue] RETURNS[handle: Handle] ~ TRUSTED MACHINE CODE { "XR_FQNextNoAbort" };
handle м FQNextNoAbort[fq];
IF handle = NIL THEN ERROR ABORTED;
};
EnableFinalization: PUBLIC PROC [object: REF, fq: FinalizationQueue] RETURNS [handle: Handle] ~ {
XREnableFinalization: PROC [object: REF, fq: FinalizationQueue, handle: Handle] ~ TRUSTED MACHINE CODE { "XR_EnableFinalization" };
handle м NEW[ FinalizableObject м [0, 0, fq, NIL]];
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] ];
};

}.


    
FinalizationImpl.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
Types
FQ Manipulation
Object Finalization
 Э╩▌  Ц(cedarcode) styleХNewlineDelimiter
Щ codeЩKЪЬ
╧eЬ7ЩBKЩ%KЩ-KЩ$KШ ЧЪ╧k	Ш	KЪЬШKШKШ ЧЪ╧nЬЮЬЮШKЪЮЬШKШheadЩKЪЬЮЬ"Ш9KШ KЪЬЮЬЮЬШ%ЪЬЮЬЮЬЮЬЮЬЮ	ЬЮЬШBKЪЬ
ЮЬШKЪЬ
ЮЬШKШ(KЪЬШKШKШ ЧKЪЬЮЬЮЬШ3ЪЬЮЬЮЬЮЬШEKШKШKЪЬЮ	ШKЪЬШKШ ЧЧЩЪЯЬЮЬЮЬЮЬШ2KЪЯЬЮЬЮЬЮЬЮЬЮЬШPKЪЮЬШKШKШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШ>KЪЯ	ЬЮЬЮЬЮЬЮЬЮЬЮЬШ^KЪЮЬШKШKШ ЧЪЯЬЮЬЮЬЮЬШNKЪЯЬЮЬЮЬЮЬЮЬЮЬШtKЪЮЬШKШKШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШMKЪЯЬЮЬЮЬЮЬЮЬЮЬШtKЪЬШKЪ
ЮЬ
ЮЬЮЬЮЬЮЬШ#KШЧЧЩЪ
ЯЬЮЬЮЬ
ЮЬЮЬШaKЪЯЬЮЬ
ЮЬ+ЮЬЮЬЮЬШГKЪЬ	ЮЬ!ЮЬШ3KЪЬ)Ш)KШKШ ЧЪЯЬЮЬЮЬЮЬ"Ш[KЪЯЬЮЬЮЬ!ЮЬЮЬЮЬШЗKЪЮЬ"Ш(KШKШ ЧЪЯЬЮЬЮЬ)ЮЬ"ШsKЪЯЬЮЬ)ЮЬ!ЮЬЮЬЮЬШаKЪЮЬ'Ш-KШKШ ЧЪЯЬЮЬЮЬЮЬШYKЪЯЬЮЬЮЬЮЬЮЬЮЬШЖKЪЮЬ#Ш)KШKШ ЧЪ
ЯЬЮЬЮЬЮЬ
ЮЬШFKЪЯЬЮЬЮЬ
ЮЬЮЬЮЬЮЬШmKЪЮЬШ#KШKШ ЧЧKШЧKШ KШ Ч ЕЧ    
ш  ╔  