Returns the name of the file or directory represented by this file. @return this file's name or an empty string if there is no name part in the file's path.
()
| 683 | * the file's path. |
| 684 | */ |
| 685 | public String getName() { |
| 686 | int separatorIndex = path.lastIndexOf(separator); |
| 687 | return (separatorIndex < 0) ? path : path.substring(separatorIndex + 1, |
| 688 | path.length()); |
| 689 | } |
| 690 | |
| 691 | /** |
| 692 | * Returns the pathname of the parent of this file. This is the path up to |