src/simulator-track.ads

   1 with System;
   2 with Simulator.Car;
   3
   4 package Simulator.Track is
   5    pragma Remote_Call_Interface;
   6    --pragma Task_Dispatching_Policy(FIFO_Within_Priorities);
   7    --pragma All_Calls_Remote;
   8
   9    --procedure che legge il file di configurazione e crea le strutture dati adeguate
  10  procedure ReadTrackConf(ConfFile : String);
  11       -- inserisce la macchina nel circuito, fornisce in ingresso le
  12       -- caratteristiche iniziali dell'auto. Quando questo metodo termina vuol
  13       -- dire che la macchina ha finito la gara (conclusa o per ritiro)
  14 --procedure TestConnection(i : in CarProperties_T);
  15
  16
  17       procedure PutOnPitLane(Self : Simulator.Partition_ID; my_CarProperties: CarProperties_T);
  18
  19    -- metodo invocato remotamente dal controllo gara.
  20       -- Fa partire la simulazione effettiva della corsa
  21    procedure StartRace(n_cars : CarId_T);
  22    pragma Asynchronous (StartRace);
  23
  24       -- Comunica di ritirare l'auto con id = CarId dal circuito
  25       procedure Kill(CarId: in CarId_T);
  26
  27       -- metodo di richiesta fermata ai box
  28       -- l'invocazione di questo metodo porta il circuito a far fare una sosta
  29       -- all'auto "CarId" appena possibile.
  30       procedure CallForPitStop(CarId: in CarId_T);
  31         --struttura dati che contiene tutti i riferimenti alle auto
  32
  33
  34 end Simulator.Track;