Skip operators

The skip operators advance the current position of the stream.

String.skip(N)

Skips the stream forward exactly n characters. A failure occurs if N reaches past the end of the stream.

String.skipTo("match string")

Advances the stream to the first occurrence of the target match string (which is not a regular expression regex), skipping over the target string so the stream parsing position now sits after the match. A failure occurs if the target is not found. An alternative, that supports regex is String.extract().

String.skipWhitespace

Advances the stream to the first character that is not whitespace. A failure occurs if the stream is exhausted.

String.skipToNumber

Advances the stream to the next number (i.e. one of more continuous number characters). A failure occurs if the stream is exhausted.

String.skipLine

New to v9.5.0, skips forward to the next carriage return or to the end of the stream.