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]; StateDuringRecovery: PROC [transID: TransID] RETURNS [outcome: Outcome]; END. ¬YggTransaction.mesa Copyright Σ 1988 by Xerox Corporation. All rights reserved. Last edited by: Bob Hagmann March 31, 1989 1:14:37 pm PST Recovery 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™ Lšžœœœ˜H—™J˜Jšœ˜——…—Ί[