src/simulator.cfg

   1 configuration Simulator is
   2 pragma Starter (None);
   3 Main_Partition : partition :=();
   4 for Main_Partition'Directory use "main";
   5 Race_Partition : partition := (Simulator.Race);
   6 for Race_Partition'Directory use "race";
   7 procedure Race;
   8 for Race_Partition'Main use Race;
   9 --procedure Race is in Race_Partition;
  10 --for Race_Partition'Termination use Local_Termination;
  11
  12 Track_Partition : partition :=(Simulator.Track, Simulator.Controller);
  13 procedure Track;
  14 for Track_Partition'Main use Track;
  15 --procedure Track is in Track_Partition;
  16 for Track_Partition'Directory use "track";
  17 --for Track_Partition'Termination use Local_Termination;
  18
  19 Car_Partition : partition:=(Simulator.Car);
  20 procedure Car;
  21 for Car_Partition'Main use Car;
  22 for Car_Partition'Directory use "car";
  23 --for Car_Partition'Termination use Local_Termination;
  24
  25 Monitor_Partition : partition:=(Simulator.Monitor);
  26 procedure Monitor;
  27 for Monitor_Partition'Main use Monitor;
  28 for Monitor_Partition'Directory use "monitor";
  29 --for Monitor_Partition'Termination use Local_Termination;
  30 procedure Main is in Main_Partition;
  31
  32 end Simulator;
  33