Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

org.gjt.sp.jedit
Class EditPlugin.Broken  view EditPlugin.Broken download EditPlugin.Broken.java

java.lang.Object
  extended byorg.gjt.sp.jedit.EditPlugin
      extended byorg.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 EditPlugin instance, for example if the plugin is not loaded yet.

Overrides:
getClassName in class EditPlugin