hg: jdk9/dev/jdk: 8154183: (spec) Spec of read(byte[], int, int) and readFully(byte[], int, int) is confusing/incomplete

[brian.burkhalter at oracle.com]

Changeset: fabd6d558e79
Author:    bpb
Date:      2016-04-20 15:06 -0700
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/fabd6d558e79

8154183: (spec) Spec of read(byte[],int,int) and readFully(byte[],int,int) is confusing/incomplete
Summary: Clarify and expand specification of ObjectInputStream.read(byte[],int,int) and both variants of {DataInput,DataInputStream,ObjectInputStream,RandomAccessfile}.readFully().
Reviewed-by: rriggs, smarks

! src/java.base/share/classes/java/io/DataInput.java
! src/java.base/share/classes/java/io/DataInputStream.java
! src/java.base/share/classes/java/io/ObjectInputStream.java
! src/java.base/share/classes/java/io/RandomAccessFile.java