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.RecorderExceptionpublic 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