9.5.5 Text_IO Extensions

A package GNAT.IO_Aux in the GNAT library provides some useful extensions to the standard Text_IO package:

• function File_Exists (Name : String) return Boolean; Determines if a file of the given name exists.
• 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.