|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.gjt.sp.jedit.EditPlugin
projectviewer.ProjectPlugin
public final class ProjectPlugin
A Project Viewer plugin for jEdit.
Nested Class Summary |
---|
Nested classes/interfaces inherited from class org.gjt.sp.jedit.EditPlugin |
---|
org.gjt.sp.jedit.EditPlugin.Broken, org.gjt.sp.jedit.EditPlugin.Deferred |
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 |
handleEditorExitRequested(org.gjt.sp.jedit.msg.EditorExitRequested msg)
|
void |
handlePluginUpdate(org.gjt.sp.jedit.msg.PluginUpdate pu)
|
void |
handleViewUpdate(org.gjt.sp.jedit.msg.ViewUpdate vu)
|
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, getClassName, getPluginHome, getPluginHome, getPluginHome, getPluginJAR, getResourceAsOutputStream, getResourceAsOutputStream, getResourceAsStream, getResourceAsStream, getResourcePath, getResourcePath |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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) throws java.io.FileNotFoundException
path
- The relative path to the resource from the plugin's
resource path.
java.io.FileNotFoundException
public void start()
start
in class org.gjt.sp.jedit.EditPlugin
public void stop()
stop
in class org.gjt.sp.jedit.EditPlugin
public void handleViewUpdate(org.gjt.sp.jedit.msg.ViewUpdate vu)
public void handlePluginUpdate(org.gjt.sp.jedit.msg.PluginUpdate pu)
public void handleEditorExitRequested(org.gjt.sp.jedit.msg.EditorExitRequested msg)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |