public static class PluginsManager.PluginPeer
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
java.lang.String |
clazz
The pathname name of the Plugin Main class (equal name of the class).
|
java.lang.String |
date
The last modification date of the Plugin.
|
java.lang.String |
desc
The description of the Plugin.
|
boolean |
enabled
true if the Plugin is enabled.
|
java.lang.String |
name
The short name of the Plugin.
|
Plugin |
plugin
The associated Plugin instance, if it exists.
|
java.lang.String |
version
The version of the Plugin.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
isRegistered()
Return true if the Plugin is registered.
|
boolean |
register(MDIApplication app)
Register the Plugin if it was not already registzered.
|
public java.lang.String name
public java.lang.String clazz
public java.lang.String date
public java.lang.String version
public java.lang.String desc
public Plugin plugin
public boolean enabled
public boolean register(MDIApplication app)
app - the applicationpublic boolean isRegistered()