Shouldn't it be easier to turn a String into a stream of chars? (perhaps the String API needs a new method)

Bernd ecki at zusammenkunft.net
Tue Sep 24 15:20:34 UTC 2024

Previous message (by thread): Shouldn't it be easier to turn a String into a stream of chars? (perhaps the String API needs a new method)
Next message (by thread): RFR: 8340684: Reading from an input stream backed by a closed ZipFile has no test coverage
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/core-libs-dev/attachments/20240924/c2acf37e/attachment.htm>

Previous message (by thread): Shouldn't it be easier to turn a String into a stream of chars? (perhaps the String API needs a new method)
Next message (by thread): RFR: 8340684: Reading from an input stream backed by a closed ZipFile has no test coverage
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the core-libs-dev mailing list