Package | Description |
---|---|
manifold.api.fs | |
manifold.api.fs.def | |
manifold.api.fs.jar | |
manifold.api.fs.url |
Modifier and Type | Field and Description |
---|---|
protected ResourcePath |
ResourcePath._parent |
Modifier and Type | Method and Description |
---|---|
ResourcePath |
ResourcePath.getParent()
Returns the parent of this resource path.
|
ResourcePath |
IResource.getPath() |
ResourcePath |
DelegateDirectory.getPath() |
ResourcePath |
ResourcePath.join(String otherPath)
Takes the specified path fragment and joins it with this ResourcePath to create a new ResourcePath.
|
static ResourcePath |
ResourcePath.parse(String pathString) |
Modifier and Type | Method and Description |
---|---|
boolean |
ResourcePath.isChild(ResourcePath path) |
boolean |
ResourcePath.isDescendant(ResourcePath path) |
String |
ResourcePath.relativePath(ResourcePath other) |
String |
ResourcePath.relativePath(ResourcePath other,
String separator) |
Constructor and Description |
---|
ResourcePath(ResourcePath parent,
String name) |
Modifier and Type | Method and Description |
---|---|
ResourcePath |
JavaResourceImpl.getPath() |
ResourcePath |
FileFragmentImpl.getPath() |
Modifier and Type | Method and Description |
---|---|
ResourcePath |
JarFileDirectoryImpl.getPath() |
ResourcePath |
JarEntryResourceImpl.getPath() |
Modifier and Type | Method and Description |
---|---|
ResourcePath |
URLFileImpl.getPath() |
Copyright © 2024. All rights reserved.