org.gjt.sp.jedit

Class EditPlugin.Broken

java.lang.Object

org.gjt.sp.jedit.EditPlugin

org.gjt.sp.jedit.EditPlugin.Broken

Enclosing class:

EditPlugin

public static class EditPlugin.Broken
extends EditPlugin

A placeholder for a plugin that didn't load.

See Also:

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

Nested Class Summary

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

EditPlugin.Broken, EditPlugin.Deferred

Method Summary

Modifier and Type	Method and Description
java.lang.String	getClassName()

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

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

Methods inherited from class java.lang.Object

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

Method Detail

getClassName

public java.lang.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.