carburant.ads

--
-- Gestion du carburant
--

package Carburant is

   -- Retourne le prix du carburant sur place, en euros par litre
   function Prix return Float ;

   -- Retourne la quantité de carburant dans les réservoirs de l'avion
   -- (en litres)
   function Volume return Float ;

   -- Retourne le volume total du réservoir (en litres)
   function Capacite_Reservoir return Float ;

   -- Lorsque l'avion est sur l'aéroport, cette action connecte un tuyau
   -- d'alimentation en carburant. La vanne est initialement fermée.
   procedure Brancher_Tuyau ;

   -- Si le tuyau est branché, ouvre la vanne : le carburant commence
   -- à entrer dans les réservoirs
   procedure Ouvrir_Vanne ;

   procedure Fermer_Vanne ;

   -- Si la vanne est fermée, débranche le tuyau
   procedure Debrancher_Tuyau ;


   -- Fait le plein de l'avion (195 881 litres)
   -- Cette action s'occupe elle-même de brancher le tuyau d'alimentation,
   -- d'ouvrir la vanne, etc., puis de le débrancher lorsque le plein est fait.
   procedure Faire_Le_Plein ;

end Carburant ;