<> <> <> <> <> <> <> <> DIRECTORY YggEnvironment; YggTransaction: CEDAR DEFINITIONS = BEGIN Conversation: TYPE = YggEnvironment.Conversation; TransID: TYPE = YggEnvironment.TransID; FileStore: TYPE = YggEnvironment.FileStore; Create: PROC [conversation: Conversation, createLocalWorker: BOOL _ TRUE] RETURNS [transID: TransID]; <> <], and is guaranteed not to raise any of the errors raised by CreateWorker.>> CreateWorker: PROC [conversation: Conversation, transID: TransID, coordinator: FileStore]; <> <> AssertAlpineWheel: PROC [conversation: Conversation, transID: TransID, enable: BOOL _ TRUE]; <> <> RequestedOutcome: TYPE = YggEnvironment.CommitOrAbort; Outcome: TYPE = YggEnvironment.Outcome; Check: PROC [ transID: YggTransaction.TransID] RETURNS [outcome: YggTransaction.Outcome]; Finish: PROC [conversation: Conversation, transID: TransID, requestedOutcome: RequestedOutcome --{abort, commit}--, continue: BOOL _ FALSE] RETURNS [outcome: Outcome --{abort, commit, unknown}--, newTrans: TransID]; <> <> Unknown: ERROR [what: YggEnvironment.UnknownType]; OperationFailed: ERROR [why: YggEnvironment.OperationFailure]; END. CHANGE LOG Changed by MBrown on January 21, 1983 10:28 pm < transID to be consistent with AlpineFile.>> Changed by MBrown on March 1, 1983 3:29 pm <> <> <> <<>> <<>>