|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.rosuda.plugins.PluginManager
public class PluginManager
PluginManager - basic class for plugin detection and management of configurations $Id: PluginManager.java 933 2004-06-26 12:36:58Z urbaneks $
Constructor Summary | |
---|---|
PluginManager()
|
Method Summary | |
---|---|
static PluginManager |
getManager()
returns current plugin manager. if none existed before, a new one is silently created. |
java.lang.String |
getParS(java.lang.String plugin,
java.lang.String par)
|
static Plugin |
loadPlugin(java.lang.String className)
Tries to load a plugin specified by the supplied class. |
static boolean |
pluginExists(java.lang.String className)
Verifies whether the class identified by the class name exists and is a child of Plugin . |
void |
setParS(java.lang.String plugin,
java.lang.String par,
java.lang.String val)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public PluginManager()
Method Detail |
---|
public static PluginManager getManager()
public java.lang.String getParS(java.lang.String plugin, java.lang.String par)
public void setParS(java.lang.String plugin, java.lang.String par, java.lang.String val)
public static Plugin loadPlugin(java.lang.String className)
className
- class name of the plugin
null
if the plugin couldn't be loadedpublic static boolean pluginExists(java.lang.String className)
Plugin
.
className
- class name of the plugin
true
if the specified class exists and is assignable to Plugin
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |