A package GNAT.IO_Aux in the GNAT library provides some useful extensions
to the standard
- function File_Exists (Name : String) return Boolean;
Determines if a file of the given name exists and can be successfully
opened (without actually performing the open operation).
- function Get_Line return String;
Reads a string from the standard input file. The value returned is exactly
the length of the line that was read.
- function Get_Line (File : Ada.Text_IO.File_Type) return String;
Similar, except that the parameter File specifies the file from which
the string is to be read.