public class Plugins
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
(package private) static class |
Plugins.PluginAlreadyExistsException |
Modifier and Type | Field and Description |
---|---|
private java.util.Hashtable |
pluginNameMap |
private java.util.Hashtable |
plugins |
Constructor and Description |
---|
Plugins() |
Modifier and Type | Method and Description |
---|---|
void |
addPlugin(Plugin p) |
Plugin |
getPlugin(java.lang.String pluginName) |
Plugin[] |
getPlugins() |
void |
removePlugin(Plugin p) |
java.lang.String |
toString() |