Class Plugins

java.lang.Object

org.jcsp.net.settings.Plugins

public class Plugins
extends Object

Used internally within the JCSP network infrastructure to represent a set of plug-ins.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static class	Plugins.PluginAlreadyExistsException

Field Summary

Fields

Modifier and Type	Field	Description
private Hashtable	pluginNameMap
private Hashtable	plugins

Constructor Summary

Constructors

Constructor	Description
Plugins()

Method Summary

Modifier and Type	Method	Description
void	addPlugin(Plugin p)
Plugin	getPlugin(String pluginName)
Plugin[]	getPlugins()
void	removePlugin(Plugin p)
String	toString()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

plugins

private Hashtable plugins

pluginNameMap

private Hashtable pluginNameMap

Constructor Details

Plugins

public Plugins()

Method Details

addPlugin

public void addPlugin(Plugin p)

removePlugin

public void removePlugin(Plugin p)

getPlugin

public Plugin getPlugin(String pluginName)

getPlugins

public Plugin[] getPlugins()

toString

public String toString()

Overrides:

toString in class Object