Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

java.io.Reader.read(char[] buf/char[] buf, int off, int len) must throw IOException #9915

Open
treblereel opened this issue Feb 6, 2024 · 0 comments · May be fixed by #9933
Open

java.io.Reader.read(char[] buf/char[] buf, int off, int len) must throw IOException #9915

treblereel opened this issue Feb 6, 2024 · 0 comments · May be fixed by #9933

Comments

@treblereel
Copy link
Contributor

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

Steps to reproduce
Known workarounds
Links to further discussions
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Added missed IOException to Reader.read(char[] buf) and Reader.read(c… treblereel/gwt
1 participant
@treblereel