eof_object

eof_object()
      

Return the end-of-file object.

If one of the input operations is asked to read from a stream that has reached the end of a finite stream, it will return the eof (end-of-file) object.

Also see:

Core Module Index | Main Index