src/simulator-car.ads

   1 with System;
   2
   3 package Simulator.Car is
   4    pragma Remote_Types;
   5
   6    type Car_Type is new Simulator.Pool_Type with record
   7       CarProperties : CarProperties_T;
   8       end record;
   9
  10 -- funzione che inizializza l'auto con i suoi parametri e la registra alla gara ed al name server
  11    function Init(Tires: Tires_T;
  12                   CarWeight: CarWeight_T;
  13                   CarFuel: CarFuel_T;
  14                  CarPerformance: CarPerformance_T;
  15                 Name : String) return Boolean;
  16
  17    -- aggiorna le caratteristiche dell'auto. è un metodo asincrono
  18    -- che viene invocato dalla gara ad ogni tratto di pista
  19    procedure UpdateProperties(This : access Car_Type;
  20                               CarId: CarId_T;
  21                               Tires: Tires_T;
  22                               TiresConsumption: TiresConsumption_T;
  23                               CarFuel: CarFuel_T;
  24                               CarPerformance: CarPerformance_T;
  25                               Lap: Integer;
  26                              Sector : Natural;
  27                              Speed : Float;
  28                             SectorDuration : Duration) ;
  29    procedure Kill;
  30    procedure CallForPitStop(CarFuel :CarFuel_T; Tires :Tires_T);
  31
  32 end Simulator.Car;