public class PluginManager
extends java.lang.Object
Constructor and Description |
---|
PluginManager() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
addPlugin(ServerPlugin plugin) |
static void |
addRootPagePlugin(RootPageLinkPlugin plugin) |
static java.util.Set<java.lang.String> |
getObjectPluginIDs(java.lang.Class<? extends ProcessObject> objectClass) |
static ServerPlugin |
getPlugin(java.lang.String id) |
static java.util.Set<java.lang.String> |
getPluginIDs(java.lang.Class<? extends ProcessModel> modelClass) |
static java.util.List<RootPageLinkPlugin> |
getRootPlugins() |
public static ServerPlugin getPlugin(java.lang.String id)
public static java.lang.String addPlugin(ServerPlugin plugin)
public static void addRootPagePlugin(RootPageLinkPlugin plugin)
public static java.util.List<RootPageLinkPlugin> getRootPlugins()
public static java.util.Set<java.lang.String> getPluginIDs(java.lang.Class<? extends ProcessModel> modelClass)
public static java.util.Set<java.lang.String> getObjectPluginIDs(java.lang.Class<? extends ProcessObject> objectClass)