Tinderbox v9 Icon

Skip operators

The skip operators advance the current position of the stream.

Stream.skip(N)

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

Stream.skipTo("match string")

Advances the stream to the first occurrence of the target string (or regular expression pattern), skipping over the target string so the stream parsing p osition now sits after the match. A failure occurs if the target is not found.

Stream.skipWhitespace

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

Stream.skipToNumber

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