<> <> <> <> DIRECTORY AlpineEnvironment USING[Conversation], TransactionMap USING[EnableAlpineWheel, GetTransID, Handle, IsAlpineWheel, TransID]; AccessControlTransMap: CEDAR DEFINITIONS IMPORTS TransactionMap= BEGIN Handle: TYPE = TransactionMap.Handle; nullHandle: Handle = NIL; EnableAlpineWheel: PROCEDURE [self: Handle, conversation: AlpineEnvironment.Conversation, enable: BOOLEAN] = TRUSTED INLINE BEGIN TransactionMap.EnableAlpineWheel[self, conversation, enable]; END; GetTransID: PROCEDURE [self: Handle] RETURNS [TransactionMap.TransID] = TRUSTED INLINE BEGIN RETURN[TransactionMap.GetTransID[self]]; END; IsAlpineWheel: PROCEDURE [self: Handle, conversation: AlpineEnvironment.Conversation] RETURNS[enabled: BOOLEAN] = TRUSTED INLINE BEGIN RETURN[TransactionMap.IsAlpineWheel[self, conversation]]; END; END. <> <> <<>>