Text_IO Extensions (GNAT Reference Manual)

#### 11.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.