|
JPF 1.5.1 | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.java.plugin.tools.PluginArchiver
public final class PluginArchiver
Plug-ins archive support class.
| Nested Class Summary | |
|---|---|
static interface |
PluginArchiver.Filter
Callback interface to filter plug-ins being processed. |
| Method Summary | |
|---|---|
static void |
pack(PluginDescriptor descr,
PathResolver pathResolver,
java.io.File destFile)
Packs given plug-in into single ZIP file. |
static void |
pack(PluginFragment fragment,
PathResolver pathResolver,
java.io.File destFile)
Packs given plug-in fragment into single ZIP file. |
static java.util.Set<java.lang.String> |
pack(PluginRegistry registry,
PathResolver pathResolver,
java.io.File destFile)
Packs all plug-ins from given registry as one archive file. |
static java.util.Set<java.lang.String> |
pack(PluginRegistry registry,
PathResolver pathResolver,
java.io.File destFile,
PluginArchiver.Filter filter)
Packs plug-ins from given registry as one archive file according to given filter. |
static java.util.Set<java.lang.String> |
readDescriptor(java.net.URL archiveFile,
PluginRegistry registry)
Reads meta-information from plug-ins archive file and registers found plug-in manifest data with given registry for future analysis. |
static java.util.Set<java.lang.String> |
readDescriptor(java.net.URL archiveFile,
PluginRegistry registry,
PluginArchiver.Filter filter)
Reads meta-information from plug-ins archive file and registers found plug-in manifest data with given registry for future analysis. |
static java.util.Set<java.lang.String> |
unpack(java.net.URL archiveFile,
java.io.File destFolder)
Extracts all plug-ins from the given archive file. |
static java.util.Set<java.lang.String> |
unpack(java.net.URL archiveFile,
java.io.File destFolder,
PluginArchiver.Filter filter)
Extracts plug-ins from the given archive file according to given filter. |
static java.util.Set<java.lang.String> |
unpack(java.net.URL archiveFile,
PluginRegistry registry,
java.io.File destFolder)
Extracts plug-ins from the given archive file. |
static java.util.Set<java.lang.String> |
unpack(java.net.URL archiveFile,
PluginRegistry registry,
java.io.File destFolder,
PluginArchiver.Filter filter)
Extracts plug-ins from the given archive file. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Method Detail |
|---|
public static void pack(PluginDescriptor descr,
PathResolver pathResolver,
java.io.File destFile)
throws java.io.IOException
descr - plug-in descriptorpathResolver - path resolver instancedestFile - target file
java.io.IOException - if an I/O error has occurred
public static void pack(PluginFragment fragment,
PathResolver pathResolver,
java.io.File destFile)
throws java.io.IOException
fragment - plug-in fragment descriptorpathResolver - path resolver instancedestFile - target file
java.io.IOException - if an I/O error has occurred
public static java.util.Set<java.lang.String> pack(PluginRegistry registry,
PathResolver pathResolver,
java.io.File destFile)
throws java.io.IOException
registry - plug-ins registrypathResolver - path resolver (only local file URLs are supported)destFile - target archive file (will be overridden if any exists)
java.io.IOException - if an I/O error has occurred
public static java.util.Set<java.lang.String> pack(PluginRegistry registry,
PathResolver pathResolver,
java.io.File destFile,
PluginArchiver.Filter filter)
throws java.io.IOException
registry - plug-ins registrypathResolver - path resolver (only local file URLs are supported)destFile - target archive file (will be overridden if any exists)filter - filter to be used when packing plug-ins
java.io.IOException - if an I/O error has occurred
public static java.util.Set<java.lang.String> unpack(java.net.URL archiveFile,
PluginRegistry registry,
java.io.File destFolder)
throws ManifestProcessingException,
java.io.IOException,
java.lang.ClassNotFoundException
archiveFile - plug-in archive fileregistry - plug-in registry where to register manifests for
unpacked plug-insdestFolder - target folder
java.io.IOException - if an I/O error has occurred
java.lang.ClassNotFoundException - if descriptor can't be read
ManifestProcessingException - if manifest can't be registered
(optional behavior)unpack(URL, PluginRegistry, File, PluginArchiver.Filter)
public static java.util.Set<java.lang.String> unpack(java.net.URL archiveFile,
PluginRegistry registry,
java.io.File destFolder,
PluginArchiver.Filter filter)
throws java.io.IOException,
ManifestProcessingException,
java.lang.ClassNotFoundException
archiveFile - plug-in archive fileregistry - plug-in registry where to register manifests for
unpacked plug-insdestFolder - target folderfilter - filter to be used when un-packing plug-ins
java.lang.ClassNotFoundException - if plug-ins archive descriptor can't be
de-serialized
ManifestProcessingException - if plug-in manifests can't be
registered
java.io.IOException - if archive damaged or I/O error has occurred
public static java.util.Set<java.lang.String> unpack(java.net.URL archiveFile,
java.io.File destFolder)
throws ManifestProcessingException,
java.io.IOException,
java.lang.ClassNotFoundException
Standard plug-in registry
implementation will be used internally to read plug-in manifests.
archiveFile - plug-in archive filedestFolder - target folder
java.io.IOException - if an I/O error has occurred
java.lang.ClassNotFoundException - if descriptor can't be read
ManifestProcessingException - if manifest can't be registered
(optional behavior)ObjectFactory.createRegistry()
public static java.util.Set<java.lang.String> unpack(java.net.URL archiveFile,
java.io.File destFolder,
PluginArchiver.Filter filter)
throws ManifestProcessingException,
java.io.IOException,
java.lang.ClassNotFoundException
Standard plug-in registry
implementation will be used internally to read plug-in manifests.
archiveFile - plug-in archive filedestFolder - target folderfilter - filter to be used when un-packing plug-ins
java.io.IOException - if an I/O error has occurred
java.lang.ClassNotFoundException - if descriptor can't be read
ManifestProcessingException - if manifest can't be registered
(optional behavior)
public static java.util.Set<java.lang.String> readDescriptor(java.net.URL archiveFile,
PluginRegistry registry)
throws java.io.IOException,
java.lang.ClassNotFoundException,
ManifestProcessingException
archiveFile - plug-in archive fileregistry - plug-in registry where to register discovered manifests
for archived plug-ins
java.io.IOException - if an I/O error has occurred
java.lang.ClassNotFoundException - if descriptor can't be read
ManifestProcessingException - if manifest can't be registered
(optional behavior)readDescriptor(URL, PluginRegistry, PluginArchiver.Filter)
public static java.util.Set<java.lang.String> readDescriptor(java.net.URL archiveFile,
PluginRegistry registry,
PluginArchiver.Filter filter)
throws java.io.IOException,
java.lang.ClassNotFoundException,
ManifestProcessingException
archiveFile - plug-in archive fileregistry - plug-in registry where to register discovered manifests
for archived plug-insfilter - filter to be used when un-packing plug-ins
java.io.IOException - if an I/O error has occurred
java.lang.ClassNotFoundException - if descriptor can't be read
ManifestProcessingException - if manifest can't be registered
(optional behavior)
|
JPF 1.5.1 | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||