Class EditPlugin.Deferred

java.lang.Object

org.gjt.sp.jedit.EditPlugin

org.gjt.sp.jedit.EditPlugin.Deferred

Enclosing class:

EditPlugin

public static class EditPlugin.Deferred
extends EditPlugin

A placeholder for a plugin that hasn't been loaded yet.

Since:

jEdit 2.1pre1

Author:

Slava Pestov, John Gellene (API documentation), Alan Ezust (API documentation)

See Also:

• jEdit.getPlugin(String)
• PluginJAR.getPlugin()
• PluginJAR.activatePlugin()

Nested Class Summary

Nested classes/interfaces inherited from class EditPlugin

EditPlugin.Broken, EditPlugin.Deferred

Method Summary

Modifier and Type	Method	Description
String	getClassName()
String	toString()

Methods inherited from class EditPlugin

createBrowserMenuItems, createMenuItems, getPluginHome, getPluginHome, getPluginHome, getPluginJAR, getResourceAsOutputStream, getResourceAsOutputStream, getResourceAsStream, getResourceAsStream, getResourcePath, getResourcePath, start, stop

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details

getClassName

public String getClassName()

Overrides:

getClassName in class EditPlugin

Returns:

the plugin's class name. This might not be the same as the class of the actual EditPlugin instance, for example if the plugin is not loaded yet.

toString

public String toString()

Overrides:

toString in class Object