RFR: 8308016: Use snippets in java.io package [v4]

[Alan Bateman]

On Mon, 15 May 2023 20:48:47 GMT, Brian Burkhalter <bpb at openjdk.org> wrote:

>> Replace `<pre>{@code ...}</pre>` patterns and the like with `{@snippet lang=java : ...}`.
>
> Brian Burkhalter has updated the pull request incrementally with one additional commit since the last revision:
> 
>   8308016: Fix link in snippet of File::toPath

src/java.base/share/classes/java/io/File.java line 2375:

> 2373:      * {@snippet lang=java :
> 2374:      *         // @link substring="getDefault" target="java.nio.file.FileSystems#getDefault" @link regex="getPath(?=\(t)" target="java.nio.file.FileSystem#getPath" @link regex="getPath(?=\(\))" target="#getPath" :
> 2375:      *         FileSystems.getDefault().getPath(this.getPath());

There is already a link to FileSystems.getDefault() in the previous paragraph so I think you can remove the linking in the snippet to:

`// @link regex="getPath(?=(t)" target="java.nio.file.FileSystem#getPath" :`

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

PR Review Comment: https://git.openjdk.org/jdk/pull/13957#discussion_r1194767344