-- Copyright (C) 1987 by Xerox Corporation.  All rights reserved.
-- Stub file  was translated on April 8, 1987 9:10:10 am PDT by Lupine of January 22, 1987 5:37:32 pm PST
-- Source interface BluejayUtils came from file BluejayUtils.bcd, which was created on April 8, 1987 9:09:42 am PDT with version stamp 261#265#1607140014 from source of July 30, 1986 2:50:39 pm PDT.

-- The RPC stub modules for BluejayUtils are:
--   BluejayUtilsRpcControl.mesa;
--   BluejayUtilsRpcClientImpl.mesa;
--   BluejayUtilsRpcBinderImpl.mesa;
--   BluejayUtilsRpcServerImpl.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
  Jukebox,
  BluejayUtils,
  RPC USING [defaultInterfaceName, EncryptionKey, InterfaceName, Principal,
      standardZones, VersionRange, Zones],
  RPCLupine USING [ImportHandle, noHost, RPCHost];


BluejayUtilsRpcControl: DEFINITIONS
  SHARES  BluejayUtils
  = BEGIN OPEN BluejayUtils, 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 [
        interfaceName: InterfaceName ← defaultInterfaceName,
        parameterStorage: Zones ← standardZones,
        hostHint: RpcPrivate.RPCHost←RpcPrivate.noHost];

  UnimportInterface: PROCEDURE;

  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 [
      DescribeTune: SAFE PROCEDURE [tuneID: TuneID] RETURNS [exists:
          BOOL, size: INT],
      DescribeInterval: SAFE PROCEDURE [intervalSpec: Jukebox.IntervalSpec,
          minSilence: Jukebox.VoiceTime] RETURNS [exists: BOOL, intervals:
          LIST OF Jukebox.IntervalSpec],
      DeleteTune: SAFE PROCEDURE [tuneID: TuneID] RETURNS [existed:
          BOOL],
      NewTune: SAFE PROCEDURE RETURNS [tuneID: TuneID],
      TunesInJukebox: SAFE PROCEDURE RETURNS [nTunes: INT],
      InitializeJukebox: SAFE PROCEDURE,
      Initialize: SAFE PROCEDURE,
      Uninitialize: SAFE PROCEDURE,
      lupineDetails: PRIVATE REF LupineDetailsObject←NIL];

  LupineDetailsObject: PRIVATE TYPE;

 -- Definitions for the stubs.
 
 LupineProtocolVersion: PUBLIC VersionRange = [first: 1, last: 1];
 
 InterMdsCallsOnly: PUBLIC BOOLEAN = FALSE;

  ProcedureIndex: PRIVATE TYPE = MACHINE DEPENDENT {
      LupineUnusedIndex (0), LupineLastIndex (3),
      DescribeTune (4), DescribeInterval (5), DeleteTune (6), NewTune (7),
      TunesInJukebox (8), InitializeJukebox (9), Initialize (10), Uninitialize
      (11)};

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


END.  -- BluejayUtilsRpcControl.