mission7.adb

with Outil_De_Mesure ;

procedure Mission7 is
   
   Somme : constant Float := 340.8 ;
   
   package OM renames Outil_De_Mesure ;
   
   -- Cette fonction Dimensions_OK vérifie que la somme des mesures ne dépasse pas une certaine longueur.
   -- Ce n'est pas un corrigé du TD.
   function Dimensions_OK return Boolean is
      Resultat : Boolean ;
   begin
      Resultat := OM.Dim(1) + OM.Dim(2) + OM.Dim(3) <= Somme ;
      return Resultat ;
   end Dimensions_OK ;
   
   procedure Piloter_Tapis is
   begin
      -- null est un bloc qui ne fait rien
      null ;
   end Piloter_Tapis ;
   
begin
   Piloter_Tapis ;
end Mission7 ;