Methods in org.java.plugin.tools.configuration with parameters of type PluginArchiver.Filter |
static java.util.Collection |
PluginArchiver.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.Collection |
PluginArchiver.unpack(java.net.URL archiveFile,
PluginRegistry registry,
java.io.File destFolder,
PluginArchiver.Filter filter)
Extracts plug-ins from the given archive file.
|
static java.util.Collection |
PluginArchiver.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.Collection |
PluginArchiver.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.
|