Uses of Class
org.gjt.sp.jedit.EditPlugin

Packages that use EditPlugin

Package	Description
org.gjt.sp.jedit	This package contains jEdit 4's core classes.

Uses of EditPlugin in org.gjt.sp.jedit

Subclasses of EditPlugin in org.gjt.sp.jedit

Modifier and Type	Class and Description
class	EBPlugin Plugins extending this class are automatically added to the EditBus.
static class	EditPlugin.Broken A placeholder for a plugin that didn't load.
static class	EditPlugin.Deferred A placeholder for a plugin that hasn't been loaded yet.

Methods in org.gjt.sp.jedit that return EditPlugin

Modifier and Type	Method and Description
EditPlugin	PluginJAR.getPlugin() Returns the plugin core class for this JAR file.
static EditPlugin	jEdit.getPlugin(java.lang.String name) Returns the plugin with the specified class name.
static EditPlugin	jEdit.getPlugin(java.lang.String name, boolean loadIfNecessary) Returns the plugin with the specified class name.
static EditPlugin[]	jEdit.getPlugins() Returns an array of installed plugins.

Methods in org.gjt.sp.jedit with parameters of type EditPlugin

Modifier and Type	Method and Description
static java.io.File	EditPlugin.getPluginHome(EditPlugin plugin) Returns the home of the specified plugin.
static java.io.OutputStream	EditPlugin.getResourceAsOutputStream(EditPlugin plugin, java.lang.String path) Returns an output stream to the specified resource, or null if access to that resource is denied.
static java.io.InputStream	EditPlugin.getResourceAsStream(EditPlugin plugin, java.lang.String path) Returns an input stream to the specified resource, or null if none is found.
static java.io.File	EditPlugin.getResourcePath(EditPlugin plugin, java.lang.String path) Returns the full path of the specified plugin resource.

Method parameters in org.gjt.sp.jedit with type arguments of type EditPlugin

Modifier and Type	Method and Description
static java.io.File	EditPlugin.getPluginHome(java.lang.Class<? extends EditPlugin> clazz) Returns the home of the specified plugin.
static java.io.OutputStream	EditPlugin.getResourceAsOutputStream(java.lang.Class<? extends EditPlugin> clazz, java.lang.String path) Returns an output stream to the specified resource, or null if access to that resource is denied.
static java.io.InputStream	EditPlugin.getResourceAsStream(java.lang.Class<? extends EditPlugin> clazz, java.lang.String path) Returns an input stream to the specified resource, or null if none is found.
static java.io.File	EditPlugin.getResourcePath(java.lang.Class<? extends EditPlugin> clazz, java.lang.String path) Returns the full path of the specified plugin resource.