-- GNAT.IO_Aux Example
--
-- GNAT.IO_Aux offers a Get_Line function that returns a string and
-- a function to check for an existing file.
with GNAT.IO; use GNAT.IO;
with GNAT.IO_Aux;
procedure Gio_Aux is
begin
Put("Check if what file exists? : ");
declare
File_Name : String := GNAT.IO_Aux.Get_Line;
begin
if GNAT.IO_Aux.File_Exists(File_Name) then
Put_Line("File exists");
else
Put_Line("File does not exist");
end if;
end;
end Gio_Aux;
