# mission7.adb

Pour télécharger ce fichier, clic-droit sur ce lien : 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 ;