11.3.212 skip_code/[1,2]

Synopsis

skip_code(+Code)

skip_code(+Stream, +Code)

read up to and including the first occurrence of Code on the current input stream or on the input stream Stream.

Arguments

Stream

stream_object, must be ground

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

Code

code

Exceptions

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

permission_error

Trying to read beyond end of Stream

representation_error

Code is not a code

See Also

ref-iou-cin.