-- Stub file  was translated on July 12, 1984 2:37:36 am PDT by Lupine of July 11, 1984 11:51:36 pm PDT
-- Source interface NamesGV came from file NamesGV.bcd, which was created on June 14, 1984 9:22:01 am PDT with version stamp 313#132#36765063376 from source of June 13, 1984 3:24:09 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,
  NamesGV;


NamesGVRpcControl: DEFINITIONS
  SHARES  NamesGV
  = BEGIN OPEN NamesGV, RpcPublic: RPC;


-- 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 ];

  UnimportInterface: SAFE 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 ]
    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,
      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)};

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


END.  -- NamesGVRpcControl.