Re: if_file_exist : it's working thankyou all!

[Simon Wright <simon@pushface.org>]

"Dominic D'Apice" <dapiced@sympatico.ca> writes:

Dominic,

I would find it much easier to try to help you if you would put your
comments _after_ the part of my message that you are responding to. As
I have done in this article.

Indeed, I had to read to the end before I found out it was my article
you were replying to. So you nearly didn't get a reply at all (of
course, you may not care!)

> The thing is i would like to verify if the file exist ;
> 
> 1- try to open the file
> 
> 	if file not there then it goes to exception (AT THE END OF THE
> PROCEUDRE  and it do nothing (null;)  	=> that what I want
> 
> BUT
> 
> 2-If file there then
> 
> Close it AND RAISE THE REAL EXEPTION (LOCATED IN MAIN PROGRAM, MEANS
> THAT THE FILE EXIT...

I understood that ..

> Well, may I don't understand , what you tell..

This is your code (slightly reformatted):

   procedure si_fic_existe (fichier : out ada.text_io.file_type;
                            mod_fic_ecr : in ada.text_io.file_mode;
                            nom_fic : in string) is
   begin
      ada.text_io.open (fichier,mod_fic_lec,nom_fic);
      ada.text_io.close (fichier);   
      raise sortir_program_principal;		
   exception
      when ada.text_io.name_error => null;
   end si_fic_existe;

and I'm suggesting that this would be even more useful:

   procedure si_fic_existe (nom_fic : in String;
                            mod_fic_ecr : in ada.text_io.file_mode) is
      fichier : ada.text_io.file_type;
   begin
      ada.text_io.open (fichier, mod_fic_lec, nom_fic);
      ada.text_io.close (fichier);
      raise sortir_program_principal;
   exception
      when ada.text_io.name_error => null;
   end si_fic_existe;

because you aren't asking your caller to supply a variable (fichier)
which is of no use to him after your procedure has returned.

-S