Name eof
Definition eof:overloaded
eof(f:val(tfile)) : expr(bool)
eof(f:val(bfile)) : expr(bool)
Example while (!eof(f)) do (
Defined in io.l
Implementation builtin
Description Indicate whether a call to one of the read functions at this point would give a "read past end of file" error.
Note For text files eof skips over any white space before actually testing for eof; this is useful when processing "human" files. This is not the case for binary files.