|
|||||||||
| Home >> All >> org >> gjt >> sp >> [ jedit overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
org.gjt.sp.jedit
Class EditPlugin.Broken

java.lang.Objectorg.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.
| Nested Class Summary |
| Nested classes inherited from class org.gjt.sp.jedit.EditPlugin |
EditPlugin.Broken, EditPlugin.Deferred, EditPlugin.JAR |
| Field Summary | |
private java.lang.String |
clazz
|
| Fields inherited from class org.gjt.sp.jedit.EditPlugin |
jar |
| Constructor Summary | |
(package private) |
EditPlugin.Broken(java.lang.String clazz)
|
| Method Summary | |
java.lang.String |
getClassName()
Returns the plugin's class name. |
| 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, toString, wait, wait, wait |
| Field Detail |
clazz
private java.lang.String clazz
| Constructor Detail |
EditPlugin.Broken
EditPlugin.Broken(java.lang.String clazz)
| Method Detail |
getClassName
public java.lang.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
EditPlugininstance, for example if the plugin is not loaded yet.- Overrides:
getClassNamein classEditPlugin
|
|||||||||
| Home >> All >> org >> gjt >> sp >> [ jedit overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
JAVADOC