text: public virtual void unread(char[] buffer, int offset, int length){lock (@lock){checkNotClosed();if (length > pos){throw new System.IO.IOException("Pushback buffer full");}java.util.Arrays.checkOffsetAndCount(buffer.Length, offset, length);{for (int i = offset + length - 1; i >= offset; i--){unread(buffer[i]);}}}}