public class DirectoryPath extends Object
Modifier and Type | Field and Description |
---|---|
private Vector |
_dirs |
private String |
psep |
Constructor and Description |
---|
DirectoryPath()
Construct a new, empty
DirectoryPath . |
DirectoryPath(String[] dirs)
Construct a new
DirectoryPath for the given directories. |
Modifier and Type | Method and Description |
---|---|
void |
append(String dir)
Append a directory to the end of the path.
|
void |
append(String[] dirs)
Append a list directories to the end of the path.
|
String[] |
getDirectories()
Get the list of directories for this path.
|
void |
prepend(String dir)
Prepend a directory to the beginning of the path.
|
void |
prepend(String[] dirs)
Prepend a list directories to the beginning of the path.
|
String |
toString()
Convert this path to a string, using the appropriate path separator for
this platform.
|
public DirectoryPath()
DirectoryPath
.public DirectoryPath(String[] dirs)
DirectoryPath
for the given directories.dirs
- An array of directory names.public void prepend(String dir)
dir
- The directory to add.public void prepend(String[] dirs)
dirs
- The directories to add.public void append(String dir)
dir
- The directory to add.public void append(String[] dirs)
dirs
- The directories to add.public String[] getDirectories()
WebARTS Library Licensed Under the GNU - General Public License. Other Libraries licensed under their respective Open Source Licenses