org.jext
Class Mode

java.lang.Object
  extended byorg.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
protected  java.lang.String className
           
protected  java.lang.String modeName
           
protected  java.lang.String userModeName
           
 
Constructor Summary
Mode(java.lang.String modeName)
          Creates a new syntax colorizing mode defined by its name.
 
Method Summary
 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

Throws:
java.lang.Throwable


Copyright ? 2002 Romain Guy.