public void unread(char[] buffer, int offset, int length) throws IOException {synchronized (lock) {checkNotClosed();if (length > pos) {throw new IOException("Pushback buffer full");}Arrays.checkOffsetAndCount(buffer.length, offset, length);for (int i = offset + length - 1; i >= offset; i--) {unread(buffer[i]);}}}

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]);}}}}
