pilote_automatique.ads

package Pilote_Automatique is

   -- Fait décoller l'avion, à condition
   --   1 - d'être au début de la piste
   --   2 - d'avoir l'autorisation de décollage
   --   3 - que les réacteurs soient réglés sur force 8
   --
   -- À la fin de la procédure, l'avion est à l'altitude de vol.
   procedure Decoller ;

   -- Fait atterrir l'avion, à condition
   --   1 - d'être en approche de l'aéroport de destination
   --   2 - d'avoir l'autorisation d'atterrissage
   --   3 - que les réacteurs soient réglés sur force 3
   --   4 - que le train d'atterrissage soit sorti
   --
   --   À la fin de la procédure, l'avion est arrêté en fin de piste.
   procedure Atterrir ;


end Pilote_Automatique ;