org.gjt.sp.jedit.syntax
Class DummyTokenHandler
java.lang.Object
org.gjt.sp.jedit.syntax.DummyTokenHandler
- All Implemented Interfaces:
- TokenHandler
- public class DummyTokenHandler
- extends java.lang.Object
- implements TokenHandler
A dummy token handler that discards tokens.
- Since:
- jEdit 4.1pre1
- Version:
- $Id: DummyTokenHandler.java,v 1.5 2003/06/03 22:02:40 spestov Exp $
- Author:
- Slava Pestov
Method Summary |
void |
handleToken(javax.swing.text.Segment seg,
byte id,
int offset,
int length,
TokenMarker.LineContext context)
Called by the token marker when a syntax token has been parsed. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
INSTANCE
public static final DummyTokenHandler INSTANCE
- To avoid having to create new instances of this class, use
this variable. This is allowed because instances of this
class do not store any state.
DummyTokenHandler
public DummyTokenHandler()
handleToken
public void handleToken(javax.swing.text.Segment seg,
byte id,
int offset,
int length,
TokenMarker.LineContext context)
- Called by the token marker when a syntax token has been parsed.
- Specified by:
handleToken
in interface TokenHandler
- Parameters:
seg
- The segment containing the textid
- The token type (one of the constants in the
Token
class).offset
- The start offset of the tokenlength
- The number of characters in the tokencontext
- The line context- Since:
- jEdit 4.2pre3