public static class Plugin.Engine.Source.Origin.ForJarFile extends java.lang.Object implements Plugin.Engine.Source.Origin
| Modifier and Type | Class and Description |
|---|---|
protected class |
Plugin.Engine.Source.Origin.ForJarFile.JarFileIterator
An iterator for jar file entries.
|
Plugin.Engine.Source.Origin.ForJarFile| Modifier and Type | Field and Description |
|---|---|
private java.util.jar.JarFile |
file
The represented file.
|
NO_MANIFEST| Constructor and Description |
|---|
ForJarFile(java.util.jar.JarFile file)
Creates a new origin for a jar file.
|
| Modifier and Type | Method and Description |
|---|---|
void |
close() |
ClassFileLocator |
getClassFileLocator()
Returns a class file locator for the represented source.
|
java.util.jar.Manifest |
getManifest()
Returns the manifest file of the source location or
null if no manifest exists. |
java.util.Iterator<Plugin.Engine.Source.Element> |
iterator() |
public ForJarFile(java.util.jar.JarFile file)
file - The represented file.public java.util.jar.Manifest getManifest()
throws java.io.IOException
null if no manifest exists.getManifest in interface Plugin.Engine.Source.Originnull.java.io.IOException - If an I/O error occurs.public ClassFileLocator getClassFileLocator()
getClassFileLocator in interface Plugin.Engine.Source.Originpublic void close()
throws java.io.IOException
close in interface java.io.Closeableclose in interface java.lang.AutoCloseablejava.io.IOExceptionpublic java.util.Iterator<Plugin.Engine.Source.Element> iterator()
iterator in interface java.lang.Iterable<Plugin.Engine.Source.Element>