Mismatch between spec and implementation of DataInputStream.readFully(byte[], int, int)

[Johannes Kuhn]

Found a small mismatch between the specification of 
DataInputStream.readFully(byte[] b, int off, int len) and its 
implementation.

In particular, it doesn't throw an IndexOutOfBoundsException if offset 
is negative and len is 0.

Reproducer below.

I suggest changing the specification of this method to allow that behavior.
This change should also affect DataInput, where care has to be taken 
that both behaviors are legal.

- Johannes

import java.io.ByteArrayInputStream;
import java.io.DataInputStream;
import java.io.IOException;

public class DISBug {
    public static void main(String[] args) throws IOException {
        try (var bais = new ByteArrayInputStream(new byte[0]);
                var dis = new DataInputStream(bais)) {
            // From the spec:
            // throws IndexOutOfBoundsException - if off is negative, 
len is negative, or len is greater than b.length - off.
            byte[] b = new byte[0];
            int off = -1; // This is not valid
            int len = 0;
            dis.readFully(b, off, len);
            throw new AssertionError("readFully did not throw");
        } catch (IndexOutOfBoundsException expected) {
            // Ignore, this exception is expected
        }
    }
}