isSameFile

Returns whether two paths refer to the same file on disk.

This compares device ID and inode number, so it correctly detects files linked via hard links or symbolic links.

Example:

    var a = new Path ("/tmp/file.txt");
    var b = new Path ("/tmp/link.txt");
    if (Files.isSameFile (a, b)) {
        // both paths point to the same file
    }

Parameters:

a	the first path.
b	the second path.

Returns:

true if both paths refer to the same file.