Path |
Path.append(Path path) |
Appends a path to another path, thereby creating a new path with the provided path
appended to this.
|
Path |
Path.append(java.lang.String path) |
Append an element to the path.
|
static Path |
Path.createRoot() |
Create an empty root path with '/' delimiter.
|
static Path |
Path.createRoot(java.lang.String delimiter) |
Create an empty root path with delimiter.
|
static Path |
Path.fromString(java.lang.String path) |
Creates a path from a string.
|
static Path |
Path.fromString(java.lang.String path,
java.lang.String delimiter) |
Create a path from a string.
|
Path |
Path.getChildPath() |
Returns the child path: A path containing all elements of this except the first
|
Path |
Path.getParentPath() |
Returns the parent path: A path containing all elements of this except the last
|
Path |
Path.withLast(java.lang.String element) |
Returns a new path with the last element replaced by the given element.
|