3.4.4 EOF

ios.EOF() ! => Num

Return a flag indicating whether input has been exhausted on the stream 'ios'. When EOF returns TRUE (-1), no more input can be read from 'ios'. This is the case when the end of the associated input file has been reached or when an EOF character has been typed on a terminal.

See also: ERROR, READ, READS, RDCH, RESET