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