how to validate if a file exist ?

how to validate if a file exist ?

[Dominic D'Apice]

Hi all, 

I know that i can validate if a file don’t exist with this :

---------------------------------------------------
  exception when ada.text_io.name_error => 
		     ada.text_io.put("file not found");
	           ada.text_io.skip_line;
---------------------------------------------------


BUT, HOW CAN I VALIDATE IF A FILE EXIST ? 
(I did not found any exception about this way…)


thank to reply
Dominic

Re: how to validate if a file exist ?

[sk]

Hi,

If you use Gnat, try Gnat.Io_Aux.File_Exists (...)


-- 
-------------------------------------
-- Merge vertically for real address
-------------------------------------
s n p @ t . o
 k i e k c c m
-------------------------------------

Re: how to validate if a file exist ?

[Chad R. Meiners]

begin
    Open (...);
    -- file exists and is open
    Close (...);
exception
    when name_error =>
        -- file does not exist.
end;

You have two paths here so if you don't end up handling the exception the
file exists, right?
Please note that you shouldn't expect an exception for the existence of a
file.  If you are taking a class, should discuss this with your instructor;
you seem to misunderstand how the exception mechanism is meant to be used.

"Dominic D'Apice" <dapiced@sympatico.ca> wrote in message
news:mailman.1032719103.21393.comp.lang.ada@ada.eu.org...
Hi all,

I know that i can validate if a file don't exist with this :

---------------------------------------------------
  exception when ada.text_io.name_error =>
     ada.text_io.put("file not found");
           ada.text_io.skip_line;
---------------------------------------------------


BUT, HOW CAN I VALIDATE IF A FILE EXIST ?
(I did not found any exception about this way.)


thank to reply
Dominic