public class Target extends Object
public Target(String target)
target
- A file, URL, or directory.public boolean isDirectory()
public String toString()
public URL toURL() throws MalformedURLException
MalformedURLException
public List<URL> traverse(boolean recurse) throws IOException, BadLocationException
recurse
- Set to 'true' to recursively traverse the target,
'false' otherwiseBadLocationException
IOException
Copyright © 2010–2016 Planetary Data System. All rights reserved.