11.3.209 skip_line/[0,1]

Synopsis

skip_line

skip_line(+Stream)

Skip the remaining input characters on the current line on Stream.

Arguments

Stream

stream_object, must be ground

A valid input text stream, defaults to the current input stream.

Exceptions

Stream errors (see ref-iou-sfh-est), plus:

existence_error

Trying to read beyond end of Stream.

Comments

Coding with skip_line/[0,1] and at_end_of_line/[0,1] to handle line input is more portable among different operating systems than checking end of line by the input character code.

See Also

at_end_of_line/[0,1], ref-iou-cin.