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

[Alan Bateman]

On Thu, 18 Feb 2021 16:43:09 GMT, Brian Burkhalter <bpb at openjdk.org> wrote:

>> It might be clearer if the end of the sentence were changed to something like "... this File object is not changed to name destination file or directory".
>
> Like so?
> --- a/src/java.base/share/classes/java/io/File.java
> +++ b/src/java.base/share/classes/java/io/File.java
> @@ -1376,7 +1376,9 @@ public class File
>       * file from one filesystem to another, it might not be atomic, and it
>       * might not succeed if a file with the destination abstract pathname
>       * already exists.  The return value should always be checked to make sure
> -     * that the rename operation was successful.
> +     * that the rename operation was successful.  As instances of {@code File}
> +     * are immutable, this File object is not changed to name the destination
> +     * file or directory.
>       *
>       * <p> Note that the {@link java.nio.file.Files} class defines the {@link
>       * java.nio.file.Files#move move} method to move or rename a file in a

yes, I think that works.

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

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