-- Stub file TankMasterRpcControl.mesa was translated on 16-Mar-83
    --  9:07:23 PST by Lupine of 18-Feb-83 11:25:52 PST.

-- Source interface TankMaster came from file TankMaster.bcd, which
    -- was created on 16-Mar-83  9:07:11 PST with version stamp 176#227#36526563207
    -- from source of 16-Mar-83  9:06:51 PST.

-- The RPC stub modules for TankMaster are:
    -- TankMasterRpcControl.mesa;
    -- TankMasterRpcClientImpl.mesa;
    -- TankMasterRpcBinderImpl.mesa;
    -- TankMasterRpcServerImpl.mesa.

-- The parameters for this translation are:
    -- Target language = Cedar;
    -- Default parameter passing = VALUE;
    -- Deallocate server heap arguments = TRUE;
    -- Inline RpcServerImpl dispatcher stubs = TRUE;
    -- Maximum number of dynamic heap NEWs = 50, MDS NEWs = 50;
    -- Acceptable parameter protocols = VersionRange[1,1].


DIRECTORY
  PupTypes,
  Rope,
  TankMaster,
  RPC USING [defaultInterfaceName, EncryptionKey, InterfaceName, Principal,
      standardZones, VersionRange, Zones];


TankMasterRpcControl: DEFINITIONS
  SHARES  TankMaster
  = BEGIN OPEN TankMaster, 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 [
      AddPlayer: PROCEDURE [name: Rope.ROPE, address: Machine] RETURNS
	  [ok: BOOLEAN, id: CARDINAL],
      RemovePlayer: PROCEDURE [id: CARDINAL],
      GetPlayer: PROCEDURE [id: CARDINAL] RETURNS [name: Rope.ROPE,
	  address: Machine, score: INTEGER],
      Update: PROCEDURE [id: CARDINAL, tank: Tank, torp: Torp] RETURNS
	  [WorldStateRec],
      ScoreHit: PROCEDURE [torp: CARDINAL, target: CARDINAL],
      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),
      AddPlayer (4), RemovePlayer (5), GetPlayer (6), Update (7), ScoreHit
      (8)};

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


    END.  -- TankMasterRpcControl.