| java.lang.Object
 org.gjt.sp.jedit.syntax.DummyTokenHandler
| DummyTokenHandler | | public class DummyTokenHandler implements TokenHandler(Code) | | A dummy token handler that discards tokens.
author:
Slava Pestov
version:
$Id: DummyTokenHandler.java 4902 2003-10-26 19:43:58Z spestov $
since:
jEdit 4.1pre1 |
| Field Summary | |
| final public static DummyTokenHandler | INSTANCE
To avoid having to create new instances of this class, use
this variable. |
| Method Summary | |
| public void | handleToken(Segment seg, byte id, int offset, int length, TokenMarker.LineContext context)
Called by the token marker when a syntax token has been parsed. | | public void | setLineContext(TokenMarker.LineContext lineContext)
The token handler can compare this object with the object
previously given for this line to see if the token type at the end
of the line has changed (meaning subsequent lines might need to be
retokenized). |
| INSTANCE | | final public static DummyTokenHandler INSTANCE(Code) | | 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.
|
| handleToken | | public void handleToken(Segment seg, byte id, int offset, int length, TokenMarker.LineContext context)(Code) | | Called by the token marker when a syntax token has been parsed.
Parameters:
seg - The segment containing the text
Parameters:
id - The token type (one of the constants in theToken class).
Parameters:
offset - The start offset of the token
Parameters:
length - The number of characters in the token
Parameters:
context - The line context
since:
jEdit 4.2pre3 |
| setLineContext | | public void setLineContext(TokenMarker.LineContext lineContext)(Code) | | The token handler can compare this object with the object
previously given for this line to see if the token type at the end
of the line has changed (meaning subsequent lines might need to be
retokenized).
since:
jEdit 4.2pre6 |
|
|