|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.gjt.sp.jedit.PluginJAR
public class PluginJAR
Loads and unloads plugins.
actions.xml
defining plugin actions.
Only one such file per plugin is allowed. See ActionSet
for
syntax.browser.actions.xml
defining file system
browser actions.
Only one such file per plugin is allowed. See ActionSet
for
syntax.dockables.xml
defining dockable windows.
Only one such file per plugin is allowed. See DockableWindowManager
for
syntax.services.xml
defining additional services
offered by the plugin, such as virtual file systems.
Only one such file per plugin is allowed. See ServiceManager
for
syntax..props
containing name/value pairs
separated by an equals sign.
A plugin can supply any number of property files. Property files are used
to define plugin men items, plugin option panes, as well as arbitriary
settings and strings used by the plugin. See EditPlugin
for
information about properties used by jEdit. See
java.util.Properties
for property file syntax.Plugin
.
This class, known as the plugin core class must extend
EditPlugin
and define a few required properties, otherwise it is
ignored.
jEdit.addPluginJAR(String)
and
jEdit.removePluginJAR(PluginJAR,boolean)
methods. Furthermore, the
plugin core class might not be loaded until the plugin is first used. See
EditPlugin.start()
for a full description.
jEdit.getProperty(String)
,
jEdit.getPlugin(String)
,
jEdit.getPlugins()
,
jEdit.getPluginJAR(String)
,
jEdit.getPluginJARs()
,
jEdit.addPluginJAR(String)
,
jEdit.removePluginJAR(PluginJAR,boolean)
,
ActionSet
,
DockableWindowManager
,
OptionPane
,
PluginJAR
,
ServiceManager
Nested Class Summary | |
---|---|
static class |
PluginJAR.PluginCacheEntry
Used by the DockableWindowManager and
ServiceManager to handle caching. |
Method Summary | |
---|---|
void |
activatePlugin()
Loads the plugin core class. |
void |
activatePluginIfNecessary()
Should be called after a new plugin is installed. |
boolean |
checkDependencies()
Returns true if all dependencies are satisified, false otherwise. |
void |
deactivatePlugin(boolean exit)
Unloads the plugin core class. |
ActionSet |
getActions()
Deprecated. Call getActionSet() instead |
ActionSet |
getActionSet()
Returns the plugin's action set for the jEdit action context jEdit.getActionContext() . |
ActionSet |
getBrowserActionSet()
Returns the plugin's action set for the file system browser action context VFSBrowser.getActionContext() . |
java.lang.String |
getCachePath()
Returns the full path name of this plugin's summary file. |
JARClassLoader |
getClassLoader()
Returns the plugin's class loader. |
java.lang.String[] |
getDependentPlugins()
Returns an array of all plugins that depend on this one. |
java.net.URL |
getDockablesURI()
Returns the location of the plugin's dockables.xml file. |
java.io.File |
getFile()
Returns a file pointing to the plugin JAR. |
java.lang.String |
getPath()
Returns the full path name of this plugin's JAR file. |
EditPlugin |
getPlugin()
Returns the plugin core class for this JAR file. |
java.net.URL |
getServicesURI()
Returns the location of the plugin's services.xml file. |
java.util.zip.ZipFile |
getZipFile()
Returns the plugin's JAR file, opening it if necessary. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public java.lang.String getPath()
public java.lang.String getCachePath()
public java.io.File getFile()
public JARClassLoader getClassLoader()
public java.util.zip.ZipFile getZipFile() throws java.io.IOException
java.io.IOException
public ActionSet getActions()
public ActionSet getActionSet()
jEdit.getActionContext()
. These actions are loaded from
the actions.xml
file; see ActionSet
.
.
public ActionSet getBrowserActionSet()
VFSBrowser.getActionContext()
.
These actions are loaded from
the browser.actions.xml
file; see ActionSet
.
.
public boolean checkDependencies()
public java.lang.String[] getDependentPlugins()
public EditPlugin getPlugin()
EditPlugin.Deferred
. If you need the actual plugin core
class instance, call activatePlugin()
first.
public void activatePlugin()
EditPlugin.start()
.
This method is thread-safe.
public void activatePluginIfNecessary()
public void deactivatePlugin(boolean exit)
EditPlugin.stop()
public java.net.URL getDockablesURI()
dockables.xml
file.
public java.net.URL getServicesURI()
services.xml
file.
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |