RFR: 6245663: (spec) File.renameTo(File) changes the file-system object, not the File instance [v2]

[Roger Riggs]

On Wed, 17 Feb 2021 22:08:47 GMT, Brian Burkhalter <bpb at openjdk.org> wrote:

>> Please review this minor specification update to highlight that `File.renameTo(File)` does not modify the `File` instance on which the method is invoked.
>
> Brian Burkhalter has updated the pull request incrementally with one additional commit since the last revision:
> 
>   6245663: Mention 'dest' parameter in the added doc

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

> 1381:      * object does not itself change although the filesystem object it denoted
> 1382:      * might have moved.
> 1383:      *

Is there a way to mix in a mention of the {@ code "dest"} argument.
"might have moved to the abstract pathname provided in the dest argument".

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

PR: https://git.openjdk.java.net/jdk/pull/2618