-- Copyright (C) 1987 by Xerox Corporation.  All rights reserved.
-- Stub file  was translated on March 26, 1987 5:07:05 pm PST by Lupine of January 22, 1987 5:37:32 pm PST
-- Source interface OldAlpineTransaction came from file OldAlpineTransaction.bcd, which was created on March 26, 1987 5:06:58 pm PST with version stamp 301#256#27357460457 from source of January 6, 1987 2:16:32 pm PST.

-- The RPC stub modules for OldAlpineTransaction are:
--   OldAlpineTransactionRpcControl.mesa;
--   OldAlpineTransactionRpcClientImpl.mesa;
--   OldAlpineTransactionRpcBinderImpl.mesa;
--   OldAlpineTransactionRpcServerImpl.mesa.

-- The parameters for this translation are:
--   Target language = Cedar
--   Default parameter passing = VALUE
--   Deallocate server heap arguments = TRUE
--   Inline RpcServerImpl dispatcher stubs = TRUE
--   Declare signals = TRUE
--   Warn about short POINTER ("MDS") allocations = TRUE
--   Maximum number of dynamic heap NEWs = 50, MDS NEWs = 50
--   Acceptable parameter protocols = VersionRange[1..1].


DIRECTORY
  OldAlpineEnvironment,
  OldAlpineTransaction,
  RPC USING [defaultInterfaceName, EncryptionKey, InterfaceName, Principal,
      standardZones, VersionRange, Zones],
  RPCLupine USING [ImportHandle, noHost, RPCHost];


OldAlpineTransactionRpcControl: DEFINITIONS
  SHARES  OldAlpineTransaction
  = BEGIN OPEN OldAlpineTransaction, RpcPublic: RPC, RpcPrivate: RPCLupine;


-- Public RPC types and constants.

  InterfaceName: TYPE = RpcPublic.InterfaceName;
  VersionRange: TYPE = RpcPublic.VersionRange;
  Principal: TYPE = RpcPublic.Principal;
  EncryptionKey: TYPE = RpcPublic.EncryptionKey;
  Zones: TYPE = RpcPublic.Zones;
  
  defaultInterfaceName: InterfaceName = RpcPublic.defaultInterfaceName;
  standardZones: Zones = RpcPublic.standardZones;


-- Standard remote binding routines.

  ImportInterface: SAFE PROCEDURE [
        interface: InterfaceRecord,
        interfaceName: InterfaceName ← defaultInterfaceName,
        parameterStorage: Zones ← standardZones,
        hostHint: RpcPrivate.RPCHost←RpcPrivate.noHost];


  ExportInterface: SAFE PROCEDURE [
        interfaceName: InterfaceName ← defaultInterfaceName,
        user: Principal,
        password: EncryptionKey,
        parameterStorage: Zones ← standardZones ];

  UnexportInterface: SAFE PROCEDURE;


-- Dynamic instantiation and binding.

  ImportNewInterface: SAFE PROCEDURE [
        interfaceName: InterfaceName ← defaultInterfaceName,
        parameterStorage: Zones ← standardZones,
        hostHint: RpcPrivate.RPCHost←RpcPrivate.noHost]
    RETURNS [interfaceRecord: InterfaceRecord];

  -- NewInterfaceRecord is necessary for Cedar clients who want to
  -- manufacture a private interface instance, because
  -- RpcBindingImpl has finalization on type InterfaceRecord.
  NewInterfaceRecord: SAFE PROCEDURE
    RETURNS [interfaceRecord: InterfaceRecord];

  InterfaceRecord: TYPE = REF InterfaceRecordObject;

  InterfaceRecordObject: TYPE = RECORD [
          myInterface: RpcPrivate.ImportHandle ← NIL,
      paramZones: RpcPublic.Zones ← RpcPublic.standardZones,
      clientStubCreate: PROCEDURE [interface: InterfaceRecord, conversation:
          Conversation, createLocalWorker: BOOL] RETURNS [transID: TransID],
      clientStubCreateWorker: PROCEDURE [interface: InterfaceRecord,
          conversation: Conversation, transID: TransID, coordinator: FileStore],
      clientStubAssertAlpineWheel: PROCEDURE [interface: InterfaceRecord,
          conversation: Conversation, transID: TransID, enable: BOOL],
      clientStubFinish: PROCEDURE [interface: InterfaceRecord, conversation:
          Conversation, transID: TransID, requestedOutcome: RequestedOutcome,
          continue: BOOL] RETURNS [outcome: Outcome, newTrans: TransID],
      Unknown: ERROR [what: OldAlpineEnvironment.UnknownType],
      OperationFailed: ERROR [why: OldAlpineEnvironment.OperationFailure],
      bound: BOOL ← FALSE];

  Create: PROCEDURE [interface: InterfaceRecord, conversation: Conversation,
      createLocalWorker: BOOL] RETURNS [transID: TransID] = INLINE  { RETURN
      interface.clientStubCreate[interface, conversation, createLocalWorker]};
   CreateWorker: PROCEDURE [interface: InterfaceRecord, conversation:
      Conversation, transID: TransID, coordinator: FileStore] = INLINE
       { interface.clientStubCreateWorker[interface, conversation, transID,
      coordinator]};
   AssertAlpineWheel: PROCEDURE [interface: InterfaceRecord, conversation:
      Conversation, transID: TransID, enable: BOOL] = INLINE  { interface.clientStubAssertAlpineWheel[interface,
      conversation, transID, enable]};
   Finish: PROCEDURE [interface: InterfaceRecord, conversation: Conversation,
      transID: TransID, requestedOutcome: RequestedOutcome, continue:
      BOOL] RETURNS [outcome: Outcome, newTrans: TransID] = INLINE  {
      RETURN interface.clientStubFinish[interface, conversation, transID,
      requestedOutcome, continue]};
 
 -- Definitions for the stubs.
 
 LupineProtocolVersion: PUBLIC VersionRange = [first: 1, last: 1];
 
 InterMdsCallsOnly: PUBLIC BOOLEAN = FALSE;

  ProcedureIndex: PRIVATE TYPE = MACHINE DEPENDENT {
      LupineUnusedIndex (0), LupineLastIndex (3),
      Create (4), CreateWorker (5), AssertAlpineWheel (6), Finish (7)};

  SignalIndex: PRIVATE TYPE = MACHINE DEPENDENT {
      LupineUnusedIndex (0), LupineLastIndex (3),
      Unknown (4), OperationFailed (5)};


END.  -- OldAlpineTransactionRpcControl.