11.3.212 skip_char/[1,2]

Synopsis

skip_char(+Char)

skip_char(+Stream, +Char)

Read up to and including the first occurrence of Char on the current input stream or on the input stream Stream.

Arguments

Stream

stream_object, must be ground

A valid input text stream.

Char

char

Exceptions

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

permission_error

Trying to read beyond end of Stream

type_error

Char is not a char

See Also

ref-iou-cin.