<> <> <> <> DIRECTORY YggDID USING[DID], YggEnvironment USING[DID, LockMode, PageCount], YggInternal USING[Document, OpenDoc, TransHandle]; YggOpenDoc: CEDAR DEFINITIONS = BEGIN OpenDoc: TYPE = YggInternal.OpenDoc; Register: PROCEDURE [trans: YggInternal.TransHandle, did: YggDID.DID] RETURNS [openDoc: OpenDoc]; <> <> Unregister: PROCEDURE [openDoc: OpenDoc]; <> <> FlushTransState: PROCEDURE [trans: YggInternal.TransHandle]; <> <> <> GetDocHandle: PROCEDURE [openDoc: OpenDoc] RETURNS [doc: YggInternal.Document]; <> GetTransHandle: PROCEDURE [openDoc: OpenDoc] RETURNS [trans: YggInternal.TransHandle]; <> GetDID: PROCEDURE [openDoc: OpenDoc] RETURNS [did: YggEnvironment.DID]; <> <> GetDeltaVersion: PROCEDURE [openDoc: OpenDoc] RETURNS [delta: INT]; <> <> <> SetMaxDeltaVersion: PROCEDURE [openDoc: OpenDoc, increment: INT _ 1]; <> <> GetHighWaterMark: PROCEDURE [openDoc: OpenDoc] RETURNS [highWaterMark: YggEnvironment.PageCount]; <> <> <> GetLockMode: PROCEDURE [openDoc: OpenDoc] RETURNS [lock: YggEnvironment.LockMode]; <> SetLockMode: PROCEDURE [openDoc: OpenDoc, lock: YggEnvironment.LockMode]; <> <> GetNextHandleForTrans: PROCEDURE [trans: YggInternal.TransHandle, lastOpenDoc: OpenDoc _ NIL] RETURNS [nextOpenDoc: OpenDoc]; <> <> <> <> END.