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.Origin
null
.java.io.IOException
- If an I/O error occurs.public ClassFileLocator getClassFileLocator()
getClassFileLocator
in interface Plugin.Engine.Source.Origin
public void close() throws java.io.IOException
close
in interface java.io.Closeable
close
in interface java.lang.AutoCloseable
java.io.IOException
public java.util.Iterator<Plugin.Engine.Source.Element> iterator()
iterator
in interface java.lang.Iterable<Plugin.Engine.Source.Element>