at_end_of_line/[0,1]
at_end_of_line
at_end_of_line(
+Stream)
Test whether end of line (record) has been reached for the current input stream or for the input stream Stream.
at_end_of_line/[0,1]
succeeds when end of line (record)
is reached for the specified input stream.
An input stream reaches end of line when all the characters except
the line border code of the current line have been read.
at_end_of_line/[0,1]
is also true whenever at_end_of_file/[0,1]
is true.
Stream errors (see ref-iou-sfh-est), plus:
existence_error
Coding with at_end_of_line/[0,1]
to check for end of line
is more portable among different operating systems than checking end of line
by the input character code.
at_end_of_file/[0,1]
, skip_line/[0,1]
,
get0/[1,2]
, set_input/1