YggTransContext.mesa
Copyright Ó 1988 by Xerox Corporation. All rights reserved.
Bob Hagmann May 3, 1988 10:09:05 am PDT
This interface defines the representation of objects, both in stable and volatile forms
DIRECTORY
YggEnvironment
USING [TransID],
YggTransactionMap
USING [TransHandle];
YggTransContext:
CEDAR
DEFINITIONS
~
BEGIN
Establish
context
EstablishTransactionContext:
PROCEDURE [transID: YggEnvironment.TransID, work: TransactionWork];
! $invalidTrans, plus any error raised by work.
Validates the transID, starts work for the transaction, and then calls work[transHandle].
TransactionWork:
TYPE =
PROCEDURE [trans: YggTransactionMap.TransHandle];
END.