-- Copyright (C) 1986 by Xerox Corporation.  All rights reserved.
-- Stub file  was translated on May 9, 1986 11:49:49 am PDT by Lupine of February 22, 1986 5:15:54 pm PST
-- Source interface NamesGV came from file NamesGV.bcd, which was created on May 9, 1986 11:49:40 am PDT with version stamp 102#247#2124664617 from source of April 29, 1986 6:28:22 pm PDT.

-- The RPC stub modules for NamesGV are:
--   NamesGVRpcControl.mesa;
--   NamesGVRpcClientImpl.mesa;
--   NamesGVRpcBinderImpl.mesa;
--   NamesGVRpcServerImpl.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
  GVBasics,
  Rope,
  RPC,
  VoiceUtils,
  NamesGV,
  RPCLupineExtras USING [RPCHost, noHost];


NamesGVRpcControl: DEFINITIONS
  SHARES  NamesGV
  = BEGIN OPEN NamesGV, 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 [
      GVGetAttribute: SAFE PROCEDURE [rName: ROPE, attribute: ATOM,
          default: ROPE] RETURNS [value: ROPE],
      GVSetAttribute: SAFE PROCEDURE [rName: ROPE, attribute: ATOM,
          value: ROPE],
      GVGetAttributeSeq: SAFE PROCEDURE [rName: ROPE, attribute: ATOM]
          RETURNS [value: AttributeSeq],
      GVSetAttributeSeq: SAFE PROCEDURE [rName: ROPE, attribute: ATOM,
          value: AttributeSeq],
      GVGetAttributes: SAFE PROCEDURE [rName: ROPE] RETURNS [value:
          AttributeSeq],
      GVAuthenticate: SAFE PROCEDURE [rName: ROPE, key: RPC.EncryptionKey]
          RETURNS [authenticity: Authenticity],
      GVIsAuthenticated: SAFE PROCEDURE [rName: ROPE] RETURNS [authenticity:
          Authenticity],
      GVUpdate: SAFE PROCEDURE [rName: ROPE],
      GVUpdateAll: SAFE PROCEDURE,
      GVWait: SAFE PROCEDURE,
      GVFlushCache: SAFE PROCEDURE,
      GVSaveCache: SAFE PROCEDURE,
      GVRestoreCache: SAFE PROCEDURE,
      GVHostFromInstance: SAFE PROCEDURE [instance: Rope.ROPE] RETURNS
          [VoiceUtils.NetAddress],
      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),
      GVGetAttribute (4), GVSetAttribute (5), GVGetAttributeSeq (6), GVSetAttributeSeq
      (7), GVGetAttributes (8), GVAuthenticate (9), GVIsAuthenticated (10),
      GVUpdate (11), GVUpdateAll (12), GVWait (13), GVFlushCache (14),
      GVSaveCache (15), GVRestoreCache (16), GVHostFromInstance (17)};

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


END.  -- NamesGVRpcControl.