|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.gjt.sp.jedit.EditPlugin
org.gjt.sp.jedit.EBPlugin
projectviewer.ProjectPlugin
A Project Viewer plugin for jEdit.
Nested Class Summary |
Nested classes inherited from class org.gjt.sp.jedit.EditPlugin |
org.gjt.sp.jedit.EditPlugin.Broken, org.gjt.sp.jedit.EditPlugin.Deferred |
Field Summary | |
static java.lang.String |
NAME
|
Constructor Summary | |
ProjectPlugin()
|
Method Summary | |
static java.io.OutputStream |
getResourceAsOutputStream(java.lang.String path)
Returns an output stream to the specified resource, or null if access
to that resource is denied. |
static java.io.InputStream |
getResourceAsStream(java.lang.String path)
Returns an input stream to the specified resource, or null
if none is found. |
static java.lang.String |
getResourcePath(java.lang.String path)
Returns the full path of the specified plugin resource. |
void |
handleMessage(org.gjt.sp.jedit.EBMessage msg)
Handles plugin load/unload messages in the EditBus. |
void |
start()
Start the plugin. |
void |
stop()
Stop the plugin and save the project resources. |
Methods inherited from class org.gjt.sp.jedit.EditPlugin |
createBrowserMenuItems, createMenuItems, createMenuItems, createOptionPanes, getClassName, getPluginJAR |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static final java.lang.String NAME
Constructor Detail |
public ProjectPlugin()
Method Detail |
public static java.io.InputStream getResourceAsStream(java.lang.String path)
null
if none is found.
path
- The path to the resource to be returned, relative to
the plugin's resource path.
public static java.io.OutputStream getResourceAsOutputStream(java.lang.String path)
null if access
to that resource is denied.
- Parameters:
path
- The path to the resource to be returned, relative to
the plugin's resource path.
- Returns:
- An output stream for the resource.
public static java.lang.String getResourcePath(java.lang.String path)
path
- The relative path to the resource from the plugin's
resource path.
public void start()
public void stop()
public void handleMessage(org.gjt.sp.jedit.EBMessage msg)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |