DBExtrasImpl.mesa
Last Edited by: Wert, August 4, 1984 8:39:59 pm PDT
DIRECTORY
DBExtras,
DB USING [Segment],
DBImpl USING [LOCK],
DBSegmentExtras USING [GetFileChanged];
DBExtrasImpl:
CEDAR MONITOR
LOCKS DBImpl
IMPORTS DBImpl, DBSegmentExtras
EXPORTS DBExtras
SHARES DBImpl
=
BEGIN
GetFileChanged:
PUBLIC
ENTRY
PROC [s:
DB.Segment]
RETURNS [fileChanged:
BOOL]
=
TRUSTED BEGIN
fileChanged ← DBSegmentExtras.GetFileChanged[s];
END;
END.