insa_air.ads

package INSA_Air is

   -- Permet de donner un nom à l'avion
   procedure Donner_Nom_Compagnie (Nom : String) ;


   -- Cette fonction renvoie le cap actuel de l'avion, en degrés,
   -- entre 0 et 360
   function Cap_Courant return Float ;


   -- Cette action contrôle les quatre réacteurs Rolls-Royce Trent 500
   -- La force peut aller de 0 (réacteur éteint) à 10
   -- Pour rouler sur le taxiway, utiliser une force de 1.
   procedure Regler_Reacteur (Force : Integer) ;



   --
   -- LES COMMANDES SUR LA GOUVERNE N'ONT AUCUN EFFET AU SOL.
   -- Pour faire tourner l'avion au sol, utiliser l'acteur Train.
   --

   -- Oriente la gouverne pour faire tourner l'avion :
   procedure Positionner_Gouverne_A_Droite ;
   procedure Positionner_Gouverne_A_Gauche ;
   procedure Positionner_Gouverne_A_Zero ;


   --
   -- Pour un contrôle plus fin de la gouverne :
   --
   -- A N'UTILISER QUE SI VOUS AVEZ DEJA UNE SOLUTION QUI MARCHE EN UTILISANT
   -- LES PROCEDURES GOUVERNE_A_GAUCHE et GOUVERNE_A_DROITE
   --
   --
   -- Commande la gouverne de l'avion (en vol)
   -- A 0 degrés, l'avion reste en ligne droite.
   -- A +25 degrés, l'avion tourne à droite
   -- A -25 degrés, l'avion tourne à gauche.
   Gouverne_Max : constant Float := 25.0 ;

   procedure Incliner_Gouverne (Angle : Float) ;

   -- Attend le nombre de secondes indiqué
   procedure Attendre (Sec : Float) ;


end INSA_Air ;