-- Copyright (C) 1986 by Xerox Corporation.  All rights reserved.
-- Stub file  was translated on May 31, 1986 4:14:06 pm PDT by Lupine of February 22, 1986 5:15:54 pm PST
-- Source interface LarkOps came from file LarkOps.bcd, which was created on May 31, 1986 4:14:00 pm PDT with version stamp 130#256#34717746173 from source of May 26, 1986 2:11:30 pm PDT.

-- The RPC stub modules for LarkOps are:
--   LarkOpsRpcControl.mesa;
--   LarkOpsRpcClientImpl.mesa;
--   LarkOpsRpcBinderImpl.mesa;
--   LarkOpsRpcServerImpl.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
  Rope,
  Lark,
  Thrush,
  LarkOps,
  RPC USING [defaultInterfaceName, EncryptionKey, InterfaceName, Principal,
      standardZones, VersionRange, Zones],
  RPCLupine USING [ImportHandle],
  RPCLupineExtras USING [RPCHost, noHost];


LarkOpsRpcControl: DEFINITIONS
  SHARES  LarkOps
  = BEGIN OPEN LarkOps, RpcPublic: RPC, RpcPrivate: RPCLupine, RpcPrivateExtras:
      RPCLupineExtras;


-- 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: RpcPrivateExtras.RPCHost←RpcPrivateExtras.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: RpcPrivateExtras.RPCHost←RpcPrivateExtras.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,
      clientStubReset: SAFE PROCEDURE [interface: InterfaceRecord,
          shh: Lark.SHHH, rName: Lark.ROPE],
      clientStubSpecifyTones: SAFE PROCEDURE [interface: InterfaceRecord,
          shh: Lark.SHHH, queueIt: BOOLEAN, tones: Lark.ToneSpec] RETURNS
          [ok: BOOLEAN],
      clientStubFeep: SAFE PROCEDURE [interface: InterfaceRecord, shh:
          Lark.SHHH, on: Lark.Milliseconds, off: Lark.Milliseconds, waveTable:
          CARDINAL, queueIt: BOOLEAN, notify: Lark.CommandEvent, events:
          Lark.CommandEvents] RETURNS [ok: BOOLEAN],
      clientStubCommands: SAFE PROCEDURE [interface: InterfaceRecord,
          shh: Lark.SHHH, events: Lark.CommandEvents],
      clientStubConnect: SAFE PROCEDURE [interface: InterfaceRecord,
          shh: Lark.SHHH, specs: Lark.ConnectionSpec],
      clientStubDisconnect: SAFE PROCEDURE [interface: InterfaceRecord,
          shh: Lark.SHHH, buffer: Lark.VoiceBuffer],
      clientStubPleaseRegister: SAFE PROCEDURE [interface: InterfaceRecord,
          shh: Lark.SHHH],
      clientStubWhatIsStatus: SAFE PROCEDURE [interface: InterfaceRecord,
          shh: Lark.SHHH, which: CARDINAL] RETURNS [next: CARDINAL, events:
          Lark.StatusEvents],
      clientStubWhatAreConnections: SAFE PROCEDURE [interface: InterfaceRecord,
          shh: Lark.SHHH, which: CARDINAL] RETURNS [next: CARDINAL, specs:
          Lark.ConnectionSpec],
      clientStubWhatAreTones: SAFE PROCEDURE [interface: InterfaceRecord,
          shh: Lark.SHHH] RETURNS [BOOLEAN],
      clientStubSetKeyTable: SAFE PROCEDURE [interface: InterfaceRecord,
          shh: Lark.SHHH, table: Lark.KeyTable],
      clientStubCommandString: SAFE PROCEDURE [interface: InterfaceRecord,
          shh: Lark.SHHH, device: Lark.Device, commands: Rope.ROPE],
      clientStubPleaseLogin: SAFE PROCEDURE [interface: InterfaceRecord,
          shh: Lark.SHHH] RETURNS [will: BOOL],
      clientStubEchoSupression: SAFE PROCEDURE [interface: InterfaceRecord,
          shh: Lark.SHHH, echo: Lark.EchoParameters],
      clientStubSetHostNumber: SAFE PROCEDURE [interface: InterfaceRecord,
          shh: Lark.SHHH, host: Lark.Machine],
      clientStubSetParameters: SAFE PROCEDURE [interface: InterfaceRecord,
          shh: Lark.SHHH, parameters: LarkParameters],
      bound: BOOL ← FALSE];

  Reset: SAFE PROCEDURE [interface: InterfaceRecord, shh: Lark.SHHH,
      rName: Lark.ROPE] = CHECKED INLINE  { interface.clientStubReset[interface,
      shh, rName]};
   SpecifyTones: SAFE PROCEDURE [interface: InterfaceRecord, shh: Lark.SHHH,
      queueIt: BOOLEAN, tones: Lark.ToneSpec] RETURNS [ok: BOOLEAN] =
      CHECKED INLINE  { RETURN interface.clientStubSpecifyTones[interface,
      shh, queueIt, tones]};
   Feep: SAFE PROCEDURE [interface: InterfaceRecord, shh: Lark.SHHH,
      on: Lark.Milliseconds, off: Lark.Milliseconds, waveTable: CARDINAL,
      queueIt: BOOLEAN, notify: Lark.CommandEvent, events: Lark.CommandEvents]
      RETURNS [ok: BOOLEAN] = CHECKED INLINE  { RETURN interface.clientStubFeep[interface,
      shh, on, off, waveTable, queueIt, notify, events]};
   Commands: SAFE PROCEDURE [interface: InterfaceRecord, shh: Lark.SHHH,
      events: Lark.CommandEvents] = CHECKED INLINE  { interface.clientStubCommands[interface,
      shh, events]};
   Connect: SAFE PROCEDURE [interface: InterfaceRecord, shh: Lark.SHHH,
      specs: Lark.ConnectionSpec] = CHECKED INLINE  { interface.clientStubConnect[interface,
      shh, specs]};
   Disconnect: SAFE PROCEDURE [interface: InterfaceRecord, shh: Lark.SHHH,
      buffer: Lark.VoiceBuffer] = CHECKED INLINE  { interface.clientStubDisconnect[interface,
      shh, buffer]};
   PleaseRegister: SAFE PROCEDURE [interface: InterfaceRecord, shh:
      Lark.SHHH] = CHECKED INLINE  { interface.clientStubPleaseRegister[interface,
      shh]};
   WhatIsStatus: SAFE PROCEDURE [interface: InterfaceRecord, shh: Lark.SHHH,
      which: CARDINAL] RETURNS [next: CARDINAL, events: Lark.StatusEvents]
      = CHECKED INLINE  { RETURN interface.clientStubWhatIsStatus[interface,
      shh, which]};
   WhatAreConnections: SAFE PROCEDURE [interface: InterfaceRecord,
      shh: Lark.SHHH, which: CARDINAL] RETURNS [next: CARDINAL, specs:
      Lark.ConnectionSpec] = CHECKED INLINE  { RETURN interface.clientStubWhatAreConnections[interface,
      shh, which]};
   WhatAreTones: SAFE PROCEDURE [interface: InterfaceRecord, shh: Lark.SHHH]
      RETURNS [BOOLEAN] = CHECKED INLINE  { RETURN interface.clientStubWhatAreTones[interface,
      shh]};
   SetKeyTable: SAFE PROCEDURE [interface: InterfaceRecord, shh: Lark.SHHH,
      table: Lark.KeyTable] = CHECKED INLINE  { interface.clientStubSetKeyTable[interface,
      shh, table]};
   CommandString: SAFE PROCEDURE [interface: InterfaceRecord, shh:
      Lark.SHHH, device: Lark.Device, commands: Rope.ROPE] = CHECKED INLINE
       { interface.clientStubCommandString[interface, shh, device, commands]};
   PleaseLogin: SAFE PROCEDURE [interface: InterfaceRecord, shh: Lark.SHHH]
      RETURNS [will: BOOL] = CHECKED INLINE  { RETURN interface.clientStubPleaseLogin[interface,
      shh]};
   EchoSupression: SAFE PROCEDURE [interface: InterfaceRecord, shh:
      Lark.SHHH, echo: Lark.EchoParameters] = CHECKED INLINE  { interface.clientStubEchoSupression[interface,
      shh, echo]};
   SetHostNumber: SAFE PROCEDURE [interface: InterfaceRecord, shh:
      Lark.SHHH, host: Lark.Machine] = CHECKED INLINE  { interface.clientStubSetHostNumber[interface,
      shh, host]};
   SetParameters: SAFE PROCEDURE [interface: InterfaceRecord, shh:
      Lark.SHHH, parameters: LarkParameters] = CHECKED INLINE  { interface.clientStubSetParameters[interface,
      shh, parameters]};
 
 -- Definitions for the stubs.
 
 LupineProtocolVersion: PUBLIC VersionRange = [first: 1, last: 1];
 
 InterMdsCallsOnly: PUBLIC BOOLEAN = FALSE;

  ProcedureIndex: PRIVATE TYPE = MACHINE DEPENDENT {
      LupineUnusedIndex (0), LupineLastIndex (3),
      Reset (4), SpecifyTones (5), Feep (6), Commands (7), Connect (8),
      Disconnect (9), PleaseRegister (10), WhatIsStatus (11), WhatAreConnections
      (12), WhatAreTones (13), SetKeyTable (14), CommandString (15), PleaseLogin
      (16), EchoSupression (17), SetHostNumber (18), SetParameters (19)};

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


END.  -- LarkOpsRpcControl.