|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface PluginList
Provides a list of all plugins for information and can save a jar file that includes selected plugins for use by plugin developers.
Method Summary | |
---|---|
java.io.File |
getCoreJar()
Deprecated. Use getCoreJars() instead |
java.io.File[] |
getCoreJars()
|
PluginInfo[] |
getPluginList()
|
PluginInfo |
loadPluginFile(java.io.File f)
Loads a plugin. |
void |
saveAPIJar(java.lang.String[] packages,
java.io.File target)
Saves a jar file containing all API classes. |
void |
unloadPluginFile(PluginInfo plugin)
Unloads a plugin. |
Method Detail |
---|
PluginInfo[] getPluginList()
java.io.File getCoreJar()
getCoreJars()
instead
java.lang.UnsupportedOperationException
java.io.File[] getCoreJars()
PluginInfo loadPluginFile(java.io.File f) throws GeneralException
f
- File to load
GeneralException
- If anything went wrongvoid unloadPluginFile(PluginInfo plugin) throws GeneralException
plugin
- Plugin to unload
GeneralException
- If any error occursvoid saveAPIJar(java.lang.String[] packages, java.io.File target) throws GeneralException
packages
- Array of plugin packages to include or null to include
all plugin exports.target
- Target jar file (will be overwritten if it exists)
GeneralException
- If there are any file access errors etc.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |