projectviewer
Class ProjectPlugin

java.lang.Object
  extended by org.gjt.sp.jedit.EditPlugin
      extended by projectviewer.ProjectPlugin

public final class ProjectPlugin
extends org.gjt.sp.jedit.EditPlugin

A Project Viewer plugin for jEdit.

Version:
2.0.3
Author:
Kevin A. Burton, Calvin Yu, Stefan Kost, Matthew Payne, Marcelo Vanzin

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

ProjectPlugin

public ProjectPlugin()
Method Detail

getResourceAsStream

public static java.io.InputStream getResourceAsStream(java.lang.String path)
Returns an input stream to the specified resource, or null if none is found.

Parameters:
path - The path to the resource to be returned, relative to the plugin's resource path.
Returns:
An input stream for the resource.

getResourceAsOutputStream

public 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.

Parameters:
path - The path to the resource to be returned, relative to the plugin's resource path.
Returns:
An output stream for the resource.

getResourcePath

public static java.lang.String getResourcePath(java.lang.String path)
                                        throws java.io.FileNotFoundException
Returns the full path of the specified plugin resource.

Parameters:
path - The relative path to the resource from the plugin's resource path.
Returns:
The absolute path to the resource.
Throws:
java.io.FileNotFoundException

start

public void start()
Start the plugin. Reads configuration and adds ProjectPlugin instance to EditBus.

Overrides:
start in class org.gjt.sp.jedit.EditPlugin

stop

public void stop()
Stop the plugin and save the project resources.

Overrides:
stop in class org.gjt.sp.jedit.EditPlugin

handleViewUpdate

public void handleViewUpdate(org.gjt.sp.jedit.msg.ViewUpdate vu)

handlePluginUpdate

public void handlePluginUpdate(org.gjt.sp.jedit.msg.PluginUpdate pu)

handleEditorExitRequested

public void handleEditorExitRequested(org.gjt.sp.jedit.msg.EditorExitRequested msg)