public class Path.PathElement extends java.lang.Object implements ResourceCollection
<pathelement> values.| Constructor and Description |
|---|
Path.PathElement() |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String[] |
getParts()
Return the converted pathelements.
|
boolean |
isFilesystemOnly()
Check if this resource is only for filesystems.
|
java.util.Iterator |
iterator()
Create an iterator.
|
void |
setLocation(java.io.File loc)
Set the location.
|
void |
setPath(java.lang.String path)
Set the path.
|
int |
size()
Get the number of resources.
|
public void setLocation(java.io.File loc)
loc - a File valuepublic void setPath(java.lang.String path)
path - a String valuepublic java.lang.String[] getParts()
String[] valuepublic java.util.Iterator iterator()
iterator in interface ResourceCollectionpublic boolean isFilesystemOnly()
isFilesystemOnly in interface ResourceCollectionpublic int size()
size in interface ResourceCollection