-- Copyright (C) 1985 by Xerox Corporation.  All rights reserved.
-- Stub file  was translated on May 24, 1985 11:17:59 am PDT by Lupine of May 22, 1985 8:12:39 am PDT
-- Source interface MazeWarPlayer came from file MazeWarPlayer.bcd, which was created on May 9, 1985 4:33:24 pm PDT with version stamp 356#202#31457543646 from source of May 9, 1985 4:31:39 pm PDT.

-- The RPC stub modules for MazeWarPlayer are:
--   MazeWarPlayerRpcControl.mesa;
--   MazeWarPlayerRpcClientImpl.mesa;
--   MazeWarPlayerRpcBinderImpl.mesa;
--   MazeWarPlayerRpcServerImpl.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].

-- NOTE: Discard this module unless you use dynamic client binding.


DIRECTORY
  MazeWarPlayer,
  MazeWarPlayerRpcControl USING [ImportInterface, InterfaceRecord,
      InterfaceRecordObject],
  RPC USING [InterfaceName, Zones];


MazeWarPlayerRpcBinderImpl: MONITOR
  IMPORTS RpcControl: MazeWarPlayerRpcControl
  EXPORTS MazeWarPlayerRpcControl
  SHARES  MazeWarPlayer, MazeWarPlayerRpcControl
  = BEGIN OPEN RpcPublic: RPC;


-- Dynamic instantiation and binding routines.

  ImportNewInterface: PUBLIC SAFE PROCEDURE [
        interfaceName: RpcPublic.InterfaceName,
        parameterStorage: RpcPublic.Zones ]
      RETURNS [interfaceRecord: RpcControl.InterfaceRecord] =
    TRUSTED BEGIN
    interfaceRecord ← NewInterfaceRecord[];
    RpcControl.ImportInterface[
        interface: interfaceRecord,
        interfaceName: interfaceName,
        parameterStorage: parameterStorage];
    END;



-- Utility routines for interface instantiation and caching.

  NewInterfaceRecord: PUBLIC SAFE PROCEDURE
    RETURNS [interfaceRecord: RpcControl.InterfaceRecord] =
    TRUSTED BEGIN
    interfaceRecord ← NEW[RpcControl.InterfaceRecordObject];
    END;

-- No module initialization.


END.  -- MazeWarPlayerRpcBinderImpl.