DIRECTORY PBasics USING [Comparison], YggEnvironment, YggRep USING [VDoc]; YggTransaction: CEDAR DEFINITIONS = BEGIN TransID: TYPE = YggEnvironment.TransID; IsTopLevel: PROC [transID: TransID] RETURNS [topLevel: BOOL]; EqualTrans: PROC [transID1: TransID, transID2: TransID] RETURNS [equal: BOOL]; CompareTrans: PROC [transID1: TransID, transID2: TransID] RETURNS [comp: PBasics.Comparison]; CreateTrans: PROC [parentTransID: TransID] RETURNS [transID: TransID]; NotePossibleDocumentUpdate: PROC [transID: TransID, vDoc: YggRep.VDoc]; GetPossibleDocumentUpdates: PROC [transID: TransID] RETURNS [ vDocs: LIST OF YggRep.VDoc]; GetDefaultContainer: PROC [transID: TransID] RETURNS [YggEnvironment.DID]; SetDefaultContainer: PROC [transID: TransID, did: YggEnvironment.DID]; RequestedOutcome: TYPE = YggEnvironment.CommitOrAbort; Outcome: TYPE = YggEnvironment.Outcome; Check: PROC [ transID: TransID] RETURNS [outcome: Outcome]; GetParent: PROC [ transID: TransID] RETURNS [transFound: BOOL, parentTransID: TransID]; IsNullTrans: PROC [ transID: TransID] RETURNS [null: BOOL]; Suspend: PROC [transID: TransID, status: INT]; Finish: PROC [transID: TransID, requestedOutcome: RequestedOutcome --{abort, commit}--] RETURNS [outcome: Outcome --{abort, commit, unknown}--]; Unknown: ERROR [what: YggEnvironment.UnknownType]; OperationFailed: ERROR [why: YggEnvironment.OperationFailure]; END. €YggTransaction.mesa Copyright Σ 1988 by Xerox Corporation. All rights reserved. Last edited by: Bob Hagmann December 19, 1988 3:32:21 pm PST Initialization Κΰ– "cedar" style˜šœ™Icodešœ<™<—šœ™K™,—unitšΟk ˜ Kšœœ˜Kšœ˜Kšœœ˜—šœœ˜#Kš˜K˜Kšœ œ˜'LšΟn œœœ œ˜=Lšž œœ(œ œ˜NLšž œœ(œ˜]Lšž œœœ˜FLšžœœ&˜Gš žœœœ œœ˜ZJ˜—Lšžœœœœ˜Jšžœœ&œ˜FJ˜—Kšœœ ˜6Kšœ œ˜'K˜Lšžœœœ˜;Lšž œœœœ˜WLšž œœœœ˜;Lšžœœœ˜.Lš žœœ7ΟcœœŸœ˜Lšœ œ$˜2Lšœœ(˜>—head™J˜Jšœ˜——…—pτ