java.io.Reader.read(char[] buf/char[] buf, int off, int len) must throw IOException
treblereel opened this issue · comments
GWT version: upstream
Browser (with version): any
Operating System: any
Description
According to the specification java.io.Reader.read(char[] cbuf) and java.io.Reader.read(char[] cbuf, int off, int len) should throw an IOException, but this is not the case for GWT2 upstream. In J2CL, java.io.Reader.read(char[] cbuf) and java.io.Reader.read(char[] cbuf, int off, int len) throw an IOException; it would be nice for GWT2 to be more consistent with spec.
oracle docs
gwt2 emul Reader
j2cl emul Reader