public class WebUIPluginManager extends java.lang.Object
| Constructor and Description |
|---|
WebUIPluginManager() |
| Modifier and Type | Method and Description |
|---|---|
WebUIPlugin |
get(java.lang.String name)
Get the descriptor of a web UI plugin.
|
WebUIPlugin |
load(java.io.File directory) |
void |
loadAll(java.io.File directory) |
void |
loadAllFromZip(java.util.zip.ZipFile pluginZip)
Load all web plugins from a zip or jar file.
|
void |
loadSettings(java.io.File settingsFolder) |
java.util.Collection<WebUIPlugin> |
pluginSet() |
JSONObject |
retrieveJSON(java.lang.String name)
Retrieve and return the original JSON object of the plugin.
|
java.lang.String |
retrieveModuleJS(java.lang.String name) |
public WebUIPluginManager()
public void loadAll(java.io.File directory)
public WebUIPlugin load(java.io.File directory) throws java.io.IOException, PluginFormatException
java.io.IOExceptionPluginFormatExceptionpublic void loadAllFromZip(java.util.zip.ZipFile pluginZip) throws java.io.IOException
pluginZip - the zip file containing the pluginsjava.io.IOException - if the zip file can not be readpublic WebUIPlugin get(java.lang.String name)
name - the name of the pluginpublic JSONObject retrieveJSON(java.lang.String name) throws java.io.IOException
name - the name of the pluginjava.io.IOException - on error reading "package.json"public java.lang.String retrieveModuleJS(java.lang.String name) throws java.io.IOException
java.io.IOExceptionpublic java.util.Collection<WebUIPlugin> pluginSet()
public void loadSettings(java.io.File settingsFolder)