Though most functions in DataInputStram (interface java.io.DataInput)
indicate that they signal an EOF exception, readLine has no such
documentation. In fact, rather than signaling, it returns null if
it read no characters before EOF.



john.bui@eng 1997-10-17

No specific test case available. Implicity tested, closed with exposure.