endfile

endfile() returns true if the indicated file is at the end of file.

endfile(fileVar)

The fileVar should have been initialized by a prior call to file_open