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() |