-- Copyright (C) 1985 by Xerox Corporation.  All rights reserved.
-- Stub file  was translated on May 24, 1985 11:17:56 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].


DIRECTORY
  MazeWarFinder,
  Rope,
  MazeWarPlayer,
  RPC USING [defaultInterfaceName, EncryptionKey, InterfaceName, Principal,
      standardZones, VersionRange, Zones],
  RPCLupine USING [ImportHandle];


MazeWarPlayerRpcControl: DEFINITIONS
  SHARES  MazeWarPlayer
  = BEGIN OPEN MazeWarPlayer, 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,
      clientStubKnowPlayer: PROCEDURE [interface: InterfaceRecord,
          bp: BasicPlayer],
      clientStubGetState: PROCEDURE[interface: InterfaceRecord] RETURNS
          [id: PlayerId, name: ROPE, pics: ROPE, maze: ROPE, row: INTEGER,
          col: INTEGER, score: INTEGER, angle: Angle],
      clientStubRemovePlayer: PROCEDURE [interface: InterfaceRecord,
          id: PlayerId],
      clientStubTakeStatus: PROCEDURE [interface: InterfaceRecord,
          id: PlayerId, row: INTEGER, col: INTEGER, score: INTEGER, angle:
          Angle, shot: BOOLEAN],
      clientStubShoot: PROCEDURE [interface: InterfaceRecord, shooterId:
          PlayerId, row: INTEGER, col: INTEGER, drow: INTEGER, dcol: INTEGER]
          RETURNS [shot: BOOLEAN],
      StupidFuckingWarnings: SIGNAL [atom: ATOM],
      bound: BOOL ← FALSE];

  KnowPlayer: PROCEDURE [interface: InterfaceRecord, bp: BasicPlayer]
      = INLINE  { interface.clientStubKnowPlayer[interface, bp]};
   GetState: PROCEDURE[interface: InterfaceRecord] RETURNS [id: PlayerId,
      name: ROPE, pics: ROPE, maze: ROPE, row: INTEGER, col: INTEGER,
      score: INTEGER, angle: Angle] = INLINE  { RETURN interface.clientStubGetState[interface]};
   RemovePlayer: PROCEDURE [interface: InterfaceRecord, id: PlayerId]
      = INLINE  { interface.clientStubRemovePlayer[interface, id]};
   TakeStatus: PROCEDURE [interface: InterfaceRecord, id: PlayerId,
      row: INTEGER, col: INTEGER, score: INTEGER, angle: Angle, shot:
      BOOLEAN] = INLINE  { interface.clientStubTakeStatus[interface, id,
      row, col, score, angle, shot]};
   Shoot: PROCEDURE [interface: InterfaceRecord, shooterId: PlayerId,
      row: INTEGER, col: INTEGER, drow: INTEGER, dcol: INTEGER] RETURNS
      [shot: BOOLEAN] = INLINE  { RETURN interface.clientStubShoot[interface,
      shooterId, row, col, drow, dcol]};
 
 -- Definitions for the stubs.
 
 LupineProtocolVersion: PUBLIC VersionRange = [first: 1, last: 1];
 
 InterMdsCallsOnly: PUBLIC BOOLEAN = FALSE;

  ProcedureIndex: PRIVATE TYPE = MACHINE DEPENDENT {
      LupineUnusedIndex (0), LupineLastIndex (3),
      KnowPlayer (4), GetState (5), RemovePlayer (6), TakeStatus (7), Shoot
      (8)};

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


END.  -- MazeWarPlayerRpcControl.