|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectorg.rosuda.plugins.PluginManager
public class PluginManager
PluginManager - basic class for plugin detection and management of configurations $Id: PluginManager.java,v 1.10 2004/06/26 12:36:58 urbaneks Exp $
| Constructor Summary | |
|---|---|
PluginManager()
|
|
| Method Summary | |
|---|---|
static PluginManager |
getManager()
returns current plugin manager. if none existed before, a new one is silently created. |
String |
getParS(String plugin,
String par)
|
static Plugin |
loadPlugin(String className)
Tries to load a plugin specified by the supplied class. |
static boolean |
pluginExists(String className)
Verifies whether the class identified by the class name exists and is a child of Plugin. |
void |
setParS(String plugin,
String par,
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 String getParS(String plugin,
String par)
public void setParS(String plugin,
String par,
String val)
public static Plugin loadPlugin(String className)
className - class name of the plugin
null if the plugin couldn't be loadedpublic static boolean pluginExists(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 | ||||||||