src/simulator-controller.ads

   1 with Simulator;
   2
   3 package Simulator.Controller is
   4    pragma Remote_Call_Interface;
   5
   6    type Pool_Access is access all Simulator.Pool_Type'Class;
   7    type Race_Access is access all Simulator.Remote_Race'Class;
   8    type Monitor_Access is access all Simulator.Monitor_Pool_Type'Class;
   9
  10    type RaceId_T is new Positive range 1 .. 1;
  11
  12    --  a remote access-to-class-wide type used to construct
  13    --+ dynamically-bound dispatching calls (which are all those
  14    --+ that have a controlling parameter of a type in the derivation
  15    --+ hierarchy of this type)
  16    pragma Asynchronous (Pool_Access);
  17    pragma Asynchronous (Race_Access);
  18    --+ when we apply pragma Asynchronous to Pool_Access
  19    --+ all subprograms that dispatch on Pool_Type'Class and have only
  20    --+ 'in'-mode parameters become asynchronous RPC
  21
  22    --  a dynamically-bound dispatching subprogram
  23    function RegisterCar
  24      (Pool : Pool_Access;
  25       CarId  : CarId_T)
  26       return Boolean;
  27
  28    function  GetCar
  29      (CarId : CarId_T)
  30       return Pool_Access;
  31
  32    function RegisterRace
  33      (Race : Race_Access)
  34       return Boolean;
  35
  36    function  GetRace
  37      return Race_Access;
  38
  39    function SetStop(i: Boolean) return Boolean;
  40
  41    -- Funzioni di registrazione Monitor
  42    function RegisterMonitor
  43      (Monitor : Monitor_Access)
  44       return Boolean;
  45
  46    function UnregisterMonitor
  47      (Monitor : Monitor_Access)
  48       return Boolean;
  49
  50    function GetMonitors
  51      return Natural;
  52
  53    function  GetMonitor (MonitorId : Positive)
  54                          return Monitor_Access;
  55
  56 end Simulator.Controller;