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