org.jext

Class Mode

java.lang.Object

org.jext.Mode

public class Mode
extends java.lang.Object

Mode represents a syntax colorizing mode. This class holds the mode name and its correpsonding syntax colorizing toke marker.

Author:

Romain Guy

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	className
protected java.lang.String	modeName
protected java.lang.String	userModeName

Constructor Summary

Constructors

Constructor and Description
Mode(java.lang.String modeName) Creates a new syntax colorizing mode defined by its name.

Method Summary

Methods

Modifier and Type	Method and Description
void	addPlugin(Plugin plugin) Registers a plugin with this mode.
protected void	finalize() Patch -> Memory management improvements : it may help the garbage collector.
java.lang.String	getModeName() Returns the internal mode name.
java.util.ArrayList	getPlugins() Returns all the plugins associated to this mode.
TokenMarker	getTokenMarker() Returns the associated toke marker which is used to colorize the text.
java.lang.String	getUserModeName() Returns the user mode name.
void	setPlugins(java.util.ArrayList newPlugins) Sets associated plugins.

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

modeName

protected java.lang.String modeName

userModeName

protected java.lang.String userModeName

className

protected java.lang.String className

Constructor Detail

Mode

public Mode(java.lang.String modeName)

Creates a new syntax colorizing mode defined by its name. The name is internal to Jext. For instance, plain text colorizing mode internal name is "plain" whereas its user name is "Plain Text".

Parameters:

modeName - The internal mode name

Method Detail

getModeName

public java.lang.String getModeName()

Returns the internal mode name.

getUserModeName

public java.lang.String getUserModeName()

Returns the user mode name.

getTokenMarker

public TokenMarker getTokenMarker()

Returns the associated toke marker which is used to colorize the text.

addPlugin

public void addPlugin(Plugin plugin)

Registers a plugin with this mode.

Parameters:

plugin - The Plugin to register

getPlugins

public java.util.ArrayList getPlugins()

Returns all the plugins associated to this mode.

setPlugins

public void setPlugins(java.util.ArrayList newPlugins)

Sets associated plugins.

Parameters:

newPlugins - The associated Plugins

finalize

protected void finalize()
                 throws java.lang.Throwable

Patch -> Memory management improvements : it may help the garbage collector. -> Author : Julien Ponge (julien@izforge.com) -> Date : 23, May 2001

Overrides:

finalize in class java.lang.Object

Throws:

java.lang.Throwable