The wrapped file converted to a URL
.
The wrapped file converted to a URL
.
The base of the name of this path.
The base of the name of this path. This is the part of the name before the last period, or the full name if there is no period.
True if and only if the wrapped file exists.
The extension part of the name of this path.
The extension part of the name of this path. This is the part of the name after the last period, or the empty string if there is no period.
True if and only if the wrapped file is a directory.
The last modified time of the wrapped file.
The last component of this path.