org.gjt.sp.jedit
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.

See Also:

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

Nested Class Summary

Nested classes inherited from class org.gjt.sp.jedit.EditPlugin

EditPlugin.Broken, EditPlugin.Deferred, EditPlugin.JAR

Method Summary

String	getClassName() Returns the plugin's class name.
String	toString()

Methods inherited from class org.gjt.sp.jedit.EditPlugin

createBrowserMenuItems, createMenuItems, createMenuItems, createOptionPanes, getJAR, getPluginJAR, start, stop

Methods inherited from class java.lang.Object

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

Method Detail

getClassName

public String getClassName()

Description copied from 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.

Overrides:

getClassName in class EditPlugin

toString

public String toString()