File.renameTo, explain this...

Question

Hi.
This peace of code:
File f = new File("C:/before.txt");
System.out.println( f.getName() );
f.renameTo( new File("C:/after.txt") );
System.out.println( f.getName() );
output is:
before.txt
before.txt
and my filesystem has properly changed the name
from before.txt to after.txt
If the name change went ok, shouldn't the second print be "after.txt" ?
regards
Andreas

Answer 1

Probably not as f.getName() refers to File f.
While the File f has been successfully renamed, this does'nt affect the instance of File you are checking. Get it?
This might help make it more clear:
import java.io.*;
public class Rename {
    public static void main(String [] args) {
        File before = new File("./", "before.txt");
        File after = new File("./", "after.txt");
        System.out.println(before.getName() + " was renamed? " + before.renameTo(after));
        System.out.println(after.getName());
}roy% ls
Rename.class Rename.java before.txt
roy% java Rename
before.txt was renamed? true
after.txt
roy% ls
Rename.class Rename.java after.txt