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

[Brian Burkhalter]

On Wed, 17 Feb 2021 22:04:38 GMT, Roger Riggs <rriggs at openjdk.org> wrote:

>> 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".

Good idea.

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

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