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.IOException
PluginFormatException
public 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.IOException
public java.util.Collection<WebUIPlugin> pluginSet()
public void loadSettings(java.io.File settingsFolder)