Method unread

classpath/java/io/PushbackReader.java:52–61

(char[] b, int offset, int length)

  }

  public void unread(char[] b, int offset, int length) throws IOException {
    if (length != 1) {
      throw new IOException("Can only push back 1 char, not " + length);
    } else if (hasSavedChar) {
      throw new IOException("Already have a saved char");
    } else {
      hasSavedChar = true;
      savedChar = b[offset];
    }
  }

  public void unread(char[] b) throws IOException {
    unread(b, 0, b.length);