ADA, Language Topics, INDEXED_IO, END_OF_FILE
*Conan The Librarian
function END_OF_FILE(FILE : in FILE_TYPE) return BOOLEAN; Operates on a file of mode IN_FILE or INOUT_FILE. Returns TRUE if there are no more elements (according to the most recent key and relation information) starting at the next element in the file; otherwise returns FALSE. The exception MODE_ERROR is raised if the current mode is OUT_ FILE.