An IOException that signals the end-of-file.
public class EOFException extends IOException { // Public Constructors public EOFException( ); public EOFException(String s); }