<> <> <> <<>> <> <<>> DIRECTORY Rope USING [ROPE], YggDID USING [DID], YggEnvironment USING [TransID], YggRep USING [AccurateGMTRep, Attribute, DocType, TypedPrimitiveElement]; YggNav: CEDAR DEFINITIONS ~ BEGIN ROPE: TYPE ~ Rope.ROPE; <> <<>> ErrorDesc: TYPE = RECORD [code: ATOM, explanation: ROPE] _ [NIL, NIL]; <<>> <> <<>> Error: ERROR [error: ErrorDesc]; <> <> <<>> StartTransaction: PROC [parentTrans: YggEnvironment.TransID] RETURNS [trans: YggEnvironment.TransID]; <> <<>> EndTransaction: PROC [trans: YggEnvironment.TransID, commit: BOOL] RETURNS [ok: BOOL]; <> <<>> CheckTransaction: PROC [trans: YggEnvironment.TransID] RETURNS [found: BOOL, active: BOOL, committed: BOOL]; <> <> <> <<>> GetRoots: PROC RETURNS [roots: LIST OF YggDID.DID]; <> <<>> AddRoot: PROC [did: YggDID.DID] RETURNS [ok: BOOL]; <> <<>> RemoveRoot: PROC [did: YggDID.DID] RETURNS [ok: BOOL]; <> <