4 package Simulator
.Track
is
5 pragma Remote_Call_Interface
;
6 --pragma Task_Dispatching_Policy(FIFO_Within_Priorities);
7 --pragma All_Calls_Remote;
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);
17 procedure PutOnPitLane
(Self
: Simulator
.Partition_ID
; my_CarProperties
: CarProperties_T
);
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
);
24 -- Comunica di ritirare l'auto con id = CarId dal circuito
25 procedure Kill
(CarId
: in CarId_T
);
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