<> <> <> <<>> <> <<>> DIRECTORY YggDID USING [DID], YggEnvironment USING [LockMode, TransID], YggRep USING [VDoc]; YggVolatileObjectCache: CEDAR DEFINITIONS ~ BEGIN <> LookupDIDInCache: PROC [did: YggDID.DID, transID: YggEnvironment.TransID, mode: YggEnvironment.LockMode] RETURNS [vDoc: YggRep.VDoc]; <> <<>> ReserveDIDInCache: PROC [did: YggDID.DID, transID: YggEnvironment.TransID]; <> <<>> UnreserveDIDInCache: PROC [did: YggDID.DID, transID: YggEnvironment.TransID]; <> <<>> CacheDID: PROC [did: YggDID.DID, transID: YggEnvironment.TransID, vDoc: YggRep.VDoc]; <> <<>> InvalidateDID: PROC [did: YggDID.DID, transID: YggEnvironment.TransID]; <> <<>> PromoteToParent: PROC [did: YggDID.DID, transID: YggEnvironment.TransID]; <> <<>> SetSizeOfDIDCache: PROC [size: INT]; <> <<>> END.