-- AlpInstance.mesa-- Last edited by--   Kolling on May 2, 1983 12:29 pmDIRECTORY      AlpineEnvironment        USING[Conversation, FileStore, LockFailure, NeededAccess, OperationFailure,           Principal, UnknownType],      AlpineFileRpcControl        USING[InterfaceRecord],      AlpineOwnerRpcControl        USING[InterfaceRecord],      AlpineTransactionRpcControl        USING[InterfaceRecord],      AlpineVolumeRpcControl        USING[InterfaceRecord],      RPC        USING[EncryptionKey];AlpInstance: DEFINITIONS =BEGINFileStore: TYPE = AlpineEnvironment.FileStore;Principal: TYPE = AlpineEnvironment.Principal;EncryptionKey: TYPE = RPC.EncryptionKey;AccessFailed: ERROR [missingAccess: AlpineEnvironment.NeededAccess];LockFailed: ERROR [why: AlpineEnvironment.LockFailure];OperationFailed: ERROR [why: AlpineEnvironment.OperationFailure];StaticallyInvalid: ERROR;Unknown: ERROR [what: AlpineEnvironment.UnknownType];PossiblyDamaged: SIGNAL;Handle: TYPE = REF Object;Object: TYPE = RECORD[ trans: AlpineTransactionRpcControl.InterfaceRecord, file: AlpineFileRpcControl.InterfaceRecord, owner: AlpineOwnerRpcControl.InterfaceRecord, volume: AlpineVolumeRpcControl.InterfaceRecord, otherInterfaces: LIST OF REF ANY, conversation: AlpineEnvironment.Conversation, fileStore: FileStore];Create: PROCEDURE[fileStore: FileStore, caller: Principal _ NIL, key: EncryptionKey _ ALL[0], zone: ZONE _ NIL] RETURNS [Handle];  -- non system-fatal errors:  --    Failed{authenticateFailed, other, unbound}.  -- principal = NIL means caller is the logged-in user and derives the key from the password.  -- note:  if a call using a Handle fails via RPC.CallFailed[unbound], this generally means that the server has crashed and restarted since the handle was created;  discard the handle (and any handles derived from it) and create a new handle.Failed: ERROR [why: Failure];Failure: TYPE = {authenticateFailed, other, unbound};  --  authenticateFailed means bad caller name or key, unbound means no exported version in the required range, other is everything else.END.                                                                      Edit LogInitial: Kolling:  February 14, 1983 2:45 pm:  package to aid clients, in conjunction with AlpTransaction and AlpFile.     Ê   –"cedar" style˜ JšsœÏcKœÏk	œ"žœŽžœ7žœ=žœ8žœ%žœÐblœžœžœÏn	œžœ  	œžœ  œžœ œžœ2 
œžœ' œžœ, œžœ œžœ( œžœ œžœžœ
 œžœžœÖžœžœžœK œž	œ+žœžœžœžœžœœCÐckIœòœ œžœ œžœ+‡œžœJ œwœ˜š— …—    	  
B  