11.3.212 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.

See Also

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