RFR: 8298318: (fs) APIs for handling filename extensions [v9]

[Brian Burkhalter]

On Fri, 7 Jun 2024 20:37:56 GMT, Brian Burkhalter <bpb at openjdk.org> wrote:

>> Add to `java.nio.file.Path` a method `getExtension` to retrieve the `Path`'s extension, and companion methods `removeExtension` and `addExtension`.
>
> Brian Burkhalter has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains 12 additional commits since the last revision:
> 
>  - 8298318: Update @since tags
>  - Merge
>  - 8298318: Add parameter checks for withExtension
>  - 8298318: Revise handling of leading periods
>  - 8298318: corretions to commit 030a250aaf4c309d515507527932b233f210501e
>  - 8298318: Address reviewer comments
>  - 8298318: Remove vestigial trim() call and commented out methods
>  - 8298318: Refine specification of extension; replace addExtension/removeExtension with withExtension/withoutExtension; update test
>  - Merge
>  - 8298318: Correct type in path.getExtension spec
>  - ... and 2 more: https://git.openjdk.org/jdk/compare/f7a18a5f...b27cf346

continue;

-------------

PR Comment: https://git.openjdk.org/jdk/pull/16226#issuecomment-2231485202