11.3.213 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:

permission_error

Trying to read beyond end of Stream

See Also

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