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