-- Copyright (C) 1986 by Xerox Corporation.  All rights reserved.
-- Stub file  was translated on May 9, 1986 4:57:21 pm PDT by Lupine of February 22, 1986 5:15:54 pm PST
-- Source interface LarkSmarts came from file LarkSmarts.bcd, which was created on May 9, 1986 4:57:14 pm PDT with version stamp 163#34#3732524017 from source of May 9, 1986 4:55:22 pm PDT.

-- The RPC stub modules for LarkSmarts are:
--   LarkSmartsRpcControl.mesa;
--   LarkSmartsRpcClientImpl.mesa;
--   LarkSmartsRpcBinderImpl.mesa;
--   LarkSmartsRpcServerImpl.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
  BasicTime,
  Lark,
  RPC,
  LarkSmarts,
  RPCLupineExtras USING [RPCHost, noHost];


LarkSmartsRpcControl: DEFINITIONS
  SHARES  LarkSmarts
  = BEGIN OPEN LarkSmarts, RpcPublic: RPC, 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 [
        interfaceName: InterfaceName _ defaultInterfaceName,
        parameterStorage: Zones _ standardZones,
        hostHint: RpcPrivateExtras.RPCHost_RpcPrivateExtras.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: 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 [
      Register: SAFE PROCEDURE [shh: SHHH, oldSmartsID: SmartsHandle,
          oldEpoch: Epoch, machine: Machine, model: Lark.LarkModel, authenticated:
          BOOL, clientInstance: ROPE] RETURNS [smartsID: SmartsHandle,
          epoch: Epoch],
      RecordEvent: SAFE PROCEDURE [shh: SHHH, smartsID: SmartsHandle,
          whatHappened: Lark.StatusEvents] RETURNS [success: BOOL],
      EventRope: SAFE PROCEDURE [shh: SHHH, smartsID: SmartsHandle,
          time: CARDINAL, device: Lark.Device, events: ROPE] RETURNS [success:
          BOOL],
      Login: SAFE PROCEDURE [shh: SHHH, smartsID: SmartsHandle, authenticated:
          BOOL],
      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),
      Register (4), RecordEvent (5), EventRope (6), Login (7)};

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


END.  -- LarkSmartsRpcControl.