com.enderak.procol
Class ProColPlugin

java.lang.Object
  |
  +--org.gjt.sp.jedit.EditPlugin
        |
        +--com.enderak.procol.ProColPlugin

public class ProColPlugin

extends org.gjt.sp.jedit.EditPlugin

The main ProCol plugin class

Author:

Justin Dieters

Field Summary

static java.lang.String	NAME Name used for properties
static java.lang.String	OPTION_PREFIX Prefix used for options properties

Constructor Summary

ProColPlugin()

Method Summary

static void	changeProject() Opens to a new project
static void	connectToServer() Connects or disconnects the client from the server
static ProColClient	getClient() Gets the ProCol client instance
static void	getProjectInfo() Gets the project info from the server during login process
void	start() Starts the Plugin - starts client and initializes the server
void	stop() Stops the Plugin - stops the client

Methods inherited from class org.gjt.sp.jedit.EditPlugin

createBrowserMenuItems, createMenuItems, createMenuItems, createOptionPanes, getClassName, getJAR, 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

Name used for properties

See Also:

Constant Field Values

OPTION_PREFIX

public static final java.lang.String OPTION_PREFIX

Prefix used for options properties

See Also:

Constant Field Values

Constructor Detail

ProColPlugin

public ProColPlugin()

Method Detail

getClient

public static ProColClient getClient()

Gets the ProCol client instance

Returns:

The Client

connectToServer

public static void connectToServer()

Connects or disconnects the client from the server

getProjectInfo

public static void getProjectInfo()

Gets the project info from the server during login process

changeProject

public static void changeProject()

Opens to a new project

start

public void start()

Starts the Plugin - starts client and initializes the server

Overrides:

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

stop

public void stop()

Stops the Plugin - stops the client

Overrides:

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