<> <> <> <> DIRECTORY YggDID USING[DID], YggEnvironment USING[DID, LockMode, TransID], YggInternal USING[Document, OpenDoc]; YggOpenDoc: CEDAR DEFINITIONS = BEGIN OpenDoc: TYPE = YggInternal.OpenDoc; GetOpenDoc: PROCEDURE [trans: YggEnvironment.TransID, did: YggDID.DID] RETURNS [openDoc: OpenDoc]; <> <> FlushTransState: PROCEDURE [trans: YggEnvironment.TransID]; <> <> <> GetDocHandle: PROCEDURE [openDoc: OpenDoc] RETURNS [doc: YggInternal.Document]; <> GetTransHandle: PROCEDURE [openDoc: OpenDoc] RETURNS [trans: YggEnvironment.TransID]; <> GetDID: PROCEDURE [openDoc: OpenDoc] RETURNS [did: YggEnvironment.DID]; <> <> GetLockMode: PROCEDURE [openDoc: OpenDoc] RETURNS [lock: YggEnvironment.LockMode]; <> SetLockMode: PROCEDURE [openDoc: OpenDoc, lock: YggEnvironment.LockMode]; <> <> GetNextHandleForTrans: PROCEDURE [trans: YggEnvironment.TransID, lastOpenDoc: OpenDoc _ NIL] RETURNS [nextOpenDoc: OpenDoc]; <> <> <> <> END.