<> <> <> <> DIRECTORY CD; CDCacheBase: CEDAR DEFINITIONS = BEGIN <> <> <> <> ObjectAndKey: TYPE = RECORD [ob: CD.Object, key: REF]; <<>> CurrentKey: PROC [ob: CD.Object] RETURNS [key: REF]; <<--Returns current modification key of ob.>> <<--Whenever ob is changed it will get a new modification key. >> Match: PROC [ok: ObjectAndKey] RETURNS [BOOL]; <<--Returns whether the current modification key of ok.ob matches ok.key>> <<--Like: (CurrentKey[ok.ob]=cr.modificationKey)>> <<--Warning: If ok.ob's designs lock is not hold, object might be changed>> <<-- in the window between check and returning result.>> modificationKeyProp: PRIVATE READONLY REF; <<--Used by the implementation; clients probably have no use for it. >> END.