Skip to content

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

Closed

Description

@treblereel

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

Activity

  1. added a commit that references this issue on Aug 1, 2024
    7f42724
  2. added this to the 2.12 milestone on Aug 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions