public class PluginManager
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
PLUGIN_LIBRARY_TYPE |
Constructor and Description |
---|
PluginManager(java.io.File pluginFolder)
Reads application plug-ins from resources in the given plug-in folder.
|
PluginManager(java.io.File[] pluginFolders)
Reads application plug-ins from resources in the given plug-in folders.
|
PluginManager(java.net.URL[] pluginUrls)
Reads application plug-ins from resources in the given URLs.
|
Modifier and Type | Method and Description |
---|---|
void |
addPlugin(java.lang.String pluginPath)
Adds the file at the given location to the first plug-ins folders if it exists.
|
void |
deletePlugins(java.util.List<Library> libraries)
Deletes the given plug-in
libraries from managed plug-ins. |
java.util.List<Library> |
getPluginLibraries()
Returns the available plug-in libraries.
|
java.util.List<Plugin> |
getPlugins(HomeApplication application,
Home home,
UserPreferences preferences,
javax.swing.undo.UndoableEditSupport undoSupport)
Returns an unmodifiable list of plug-in instances initialized with the
given parameters.
|
boolean |
pluginExists(java.lang.String pluginLocation)
Returns
true if a plug-in in the given file name already exists
in the first plug-ins folder. |
public static final java.lang.String PLUGIN_LIBRARY_TYPE
public PluginManager(java.io.File pluginFolder)
public PluginManager(java.io.File[] pluginFolders)
public PluginManager(java.net.URL[] pluginUrls)
public java.util.List<Library> getPluginLibraries()
public java.util.List<Plugin> getPlugins(HomeApplication application, Home home, UserPreferences preferences, javax.swing.undo.UndoableEditSupport undoSupport)
public boolean pluginExists(java.lang.String pluginLocation) throws RecorderException
true
if a plug-in in the given file name already exists
in the first plug-ins folder.RecorderException
- if no plug-ins folder is associated to this manager.public void deletePlugins(java.util.List<Library> libraries) throws RecorderException
libraries
from managed plug-ins.RecorderException
public void addPlugin(java.lang.String pluginPath) throws RecorderException
RecorderException
- if no plug-ins folder is associated to this manager.
© Copyright 2024 Space Mushrooms
Distributed under GNU General Public License