projectviewer

Class ProjectPlugin

java.lang.Object

org.gjt.sp.jedit.EditPlugin

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

Constructors

Constructor and Description
ProjectPlugin()

Method Summary

Methods

Modifier and Type	Method and Description
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)