public class JDomPluginManagement extends PluginManagement
Constructor and Description |
---|
JDomPluginManagement(org.jdom2.Element pluginManagement)
Constructor for JDomPluginManagement.
|
Modifier and Type | Method and Description |
---|---|
void |
addPlugin(Plugin plugin) |
void |
flushPluginMap() |
List<Plugin> |
getPlugins() |
Map<String,Plugin> |
getPluginsAsMap() |
void |
removePlugin(Plugin plugin) |
void |
setPlugins(List<Plugin> plugins) |
clone
getLocation, setLocation
public JDomPluginManagement(org.jdom2.Element pluginManagement)
Constructor for JDomPluginManagement.
pluginManagement
- a Element
objectpublic void addPlugin(Plugin plugin)
addPlugin
in class PluginContainer
public List<Plugin> getPlugins()
getPlugins
in class PluginContainer
public void removePlugin(Plugin plugin)
removePlugin
in class PluginContainer
public void setPlugins(List<Plugin> plugins)
setPlugins
in class PluginContainer
public void flushPluginMap()
flushPluginMap
in class PluginContainer
public Map<String,Plugin> getPluginsAsMap()
getPluginsAsMap
in class PluginContainer
Copyright © 2002–2022 The Apache Software Foundation. All rights reserved.