EndOfFile

EndOfFile

is a symbol returned by Read when it reaches the end of a file.

Details

Examples

Basic Examples  (1)

Read returns EndOfFile after it reaches the end of a file:

All subsequent calls to Read will give EndOfFile:

Close the file:

Introduced in 1988
 (1.0)