projectviewer
Class ProjectPlugin

java.lang.Object
  extended byorg.gjt.sp.jedit.EditPlugin
      extended byorg.gjt.sp.jedit.EBPlugin
          extended byprojectviewer.ProjectPlugin
All Implemented Interfaces:
org.gjt.sp.jedit.EBComponent

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

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

NAME

public static final java.lang.String NAME
See Also:
Constant Field Values
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)
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.

start

public void start()
Start the plugin.


stop

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


handleMessage

public void handleMessage(org.gjt.sp.jedit.EBMessage msg)
Handles plugin load/unload messages in the EditBus.