Method read

classpath/java/io/PushbackReader.java:30–50

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

  }

  public int read(char[] b, int offset, int length) throws IOException {
    int count = 0;
    if (hasSavedChar && length > 0) {
      length--;
      b[offset++] = savedChar;
      hasSavedChar = false;
      count = 1;
    }
    if (length > 0) {
      int c = in.read(b, offset, length);
      if (c == -1) {
        if (count == 0) {
          count = -1;
        }
      } else {
        count += c;
      }
    }

    return count;
  }

  public void unread(char[] b, int offset, int length) throws IOException {
    if (length != 1) {