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

Author: ctrueden

src/main/java/org/scijava/io/handle/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;
@@ -445,6 +446,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 {
 		// NB: Cast here is safe since the value of n bounds the result to an int.