jedi
Interface JediPlugin


public interface JediPlugin


Method Summary
 void editPrefs()
           
 void execute()
           
 java.lang.String getAuthor()
           
 javax.swing.JComponent getComponent()
           
 java.lang.String getDescription()
           
 java.lang.String getDocumentation()
           
 javax.swing.Icon getIcon()
           
 java.lang.Object getPrefs()
           
 int getRevision()
           
 int getVersion()
           
 boolean hasPreferencesFrame()
           
 void setInstallationPath(java.lang.String path)
           
 void setPrefs(java.lang.Object serializableObject)
           
 

Method Detail

editPrefs

public void editPrefs()

execute

public void execute()

getAuthor

public java.lang.String getAuthor()

getComponent

public javax.swing.JComponent getComponent()

getDescription

public java.lang.String getDescription()

getDocumentation

public java.lang.String getDocumentation()

getIcon

public javax.swing.Icon getIcon()

getPrefs

public java.lang.Object getPrefs()

getRevision

public int getRevision()

getVersion

public int getVersion()

hasPreferencesFrame

public boolean hasPreferencesFrame()

setInstallationPath

public void setInstallationPath(java.lang.String path)

setPrefs

public void setPrefs(java.lang.Object serializableObject)