rewind

fun rewind(length: Int, errCondition: String)

Moves the stream position back by length characters. Throws an exception if this would exceed the bounds of the stream.

Parameters

length

The amount of characters to go back.

errCondition

The condition to include in an error message if necessary.