FRACTALE espionnage/fuck.ada

   1    ------------------------------------------------------------------------------------------------
   2    -- Nom     : Enregistrer_Fractal                                                              --
   3    -- But     : Enregistrer les caracteristiques d'un fractal dans un fichier                    --
   4    --                                                                                            --
   5    -- Parametres ----------------------------------------------------------------------------------
   6    --  In     : * Le nom du fichier : Nom_Fichier                                                --
   7    --           * Les caracteristiques de la fractal : Fractal                                   --
   8    --                                                                                            --
   9    ------------------------------------------------------------------------------------------------
  10    procedure Enregistrer_Fractal (Nom_Fichier : String; Fractal : Cara_Fractal) is
  11
  12       Fichier_Fractal : Fractal_IO.File_Type; --Le fichier
  13
  14    begin --Enregistrer_Fractal
  15
  16       Fractal_IO.Create (Fichier_Fractal, Fractal_IO.Out_File, Nom_Fichier); --Cree le fichier
  17       Fractal_IO.Write (Fichier_Fractal, Fractal);    --Ecrit les informations
  18       Fractal_IO.Close (Fichier_Fractal);    --Ferme le fichier
  19
  20       exception --Traite les exceptions concernant les fichiers
  21          when Fractal_IO.Name_Error | Fractal_IO.Device_Error =>
  22             raise Erreur_Fichier;
  23
  24    end Enregistrer_Fractal;
  25
  26    ------------------------------------------------------------------------------------------------
  27    -- Nom     : Charger_Fractal                                                                  --
  28    -- But     : Charger les caracteristiques d'un fractal depuis un fichier                      --
  29    --                                                                                            --
  30    -- Parametres ----------------------------------------------------------------------------------
  31    --  In     : * Le nom du fichier                                                              --
  32    --                                                                                            --
  33    --  out    :  * Les caracteristiques de la fractal                                            --
  34    --                                                                                            --
  35    ------------------------------------------------------------------------------------------------
  36    procedure Charger_Fractal (Nom_Fichier : String; Fractal : out Cara_Fractal) is
  37
  38       Fichier_Fractal : Fractal_IO.File_Type; --Le fichier
  39
  40    begin --Enregistrer_Fractal
  41
  42       Fractal_IO.Open (Fichier_Fractal, Fractal_IO.In_File, Nom_Fichier); --Ouvre le fichier
  43       Fractal_IO.Read (Fichier_Fractal, Fractal);   --Lit les informations
  44       Fractal_IO.Close (Fichier_Fractal);    --ferme le fichier
  45
  46       exception --Traite les exceptions concernant les fichiers
  47          when Fractal_IO.Name_Error | Fractal_IO.Device_Error =>
  48             raise Erreur_Fichier;
  49
  50    end Charger_Fractal;