public class JarEntryDirectory extends JarEntryResource
parent, simpleName| Constructor and Description |
|---|
JarEntryDirectory(java.lang.String simpleName) |
| Modifier and Type | Method and Description |
|---|---|
JarEntryResource |
clone(java.lang.Object newParent) |
IJarEntryResource[] |
getChildren()
Returns the list of children of this jar entry resource.
|
java.io.InputStream |
getContents() |
boolean |
isFile()
Returns
true if this jar entry represents a file. |
void |
setChildren(IJarEntryResource[] children) |
java.lang.String |
toString() |
equals, getEntryName, getFullPath, getName, getPackageFragmentRoot, getParent, getZipFile, hashCode, isReadOnly, setParentpublic JarEntryResource clone(java.lang.Object newParent)
clone in class JarEntryResourcepublic IJarEntryResource[] getChildren()
IJarEntryResourcepublic java.io.InputStream getContents()
throws CoreException
CoreExceptionpublic boolean isFile()
IJarEntryResourcetrue if this jar entry represents a file.
Returns false if it is a directory.public void setChildren(IJarEntryResource[] children)
public java.lang.String toString()