-- Copyright (C) 1985 by Xerox Corporation.  All rights reserved.
-- Stub file  was translated on July 21, 1985 11:39:46 am PDT by Lupine of May 23, 1985 8:38:08 am PDT
-- Source interface ThSmarts came from file ThSmarts.bcd, which was created on July 21, 1985 11:30:21 am PDT with version stamp 146#3#27740261123 from source of January 13, 1985 12:53:55 pm PST.

-- The RPC stub modules for ThSmarts are:
--   ThSmartsRpcControl.mesa;
--   ThSmartsRpcClientImpl.mesa;
--   ThSmartsRpcBinderImpl.mesa;
--   ThSmartsRpcServerImpl.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
  Lark,
  LarkPlay,
  RPC,
  Thrush,
  ThSmarts,
  RPCLupine USING [ImportHandle];


ThSmartsRpcControl: DEFINITIONS
  SHARES  ThSmarts
  = BEGIN OPEN ThSmarts, 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 ];


  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 ]
    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,
      clientStubProgress: SAFE PROCEDURE [interface: InterfaceRecord,
          shh: SHHH, smartsID: Thrush.SmartsHandle, event: ConvEvent, yourParty:
          BOOL, latestEvent: BOOL, informationOnly: BOOL] RETURNS [d: Disposition],
      bound: BOOL _ FALSE];

  Progress: SAFE PROCEDURE [interface: InterfaceRecord, shh: SHHH,
      smartsID: Thrush.SmartsHandle, event: ConvEvent, yourParty: BOOL,
      latestEvent: BOOL, informationOnly: BOOL] RETURNS [d: Disposition]
      = CHECKED INLINE  { RETURN interface.clientStubProgress[interface,
      shh, smartsID, event, yourParty, latestEvent, informationOnly]};
 
 -- Definitions for the stubs.
 
 LupineProtocolVersion: PUBLIC VersionRange = [first: 1, last: 1];
 
 InterMdsCallsOnly: PUBLIC BOOLEAN = FALSE;

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

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


END.  -- ThSmartsRpcControl.