269270271272273274275276277278279
public void readFully(double[] d, int off, int len) throws IOException { checkClosed(); DoubleBuffer buffer = this.buffer.asDoubleBuffer(); if (len > buffer.remaining()) throw new EOFException(); buffer.get(d, off, len); }