DataHandle: add readFully(byte[], int, int) impl

Author: ctrueden

src/main/java/org/scijava/io/DataHandle.java

@@ -33,6 +33,7 @@
 
 import java.io.Closeable;
 import java.io.DataInput;
+import java.io.DataInputStream;
 import java.io.DataOutput;
 import java.io.EOFException;
 import java.io.IOException;
@@ -444,6 +445,20 @@ default void readFully(final byte[] b) throws IOException {
 		readFully(b, 0, b.length);
 	}
 
+	@Override
+	default void readFully(final byte[] b, final int off, final int len)
+		throws IOException
+	{
+		// NB: Adapted from java.io.DataInputStream.readFully(byte[], int, int).
+		if (len < 0) throw new IndexOutOfBoundsException();
+		int n = 0;
+		while (n < len) {
+			int count = read(b, off + n, len - n);
+			if (count < 0) throw new EOFException();
+			n += count;
+		}
+	}
+
 	@Override
 	default int skipBytes(final int n) throws IOException {
 		final int skip = (int) Math.min(n, length() - offset());