com.jidesoft.editor.tokenmarker
Class TeXTokenMarker
java.lang.Object
com.jidesoft.editor.tokenmarker.TokenMarker
com.jidesoft.editor.tokenmarker.TeXTokenMarker
public class TeXTokenMarker
- extends TokenMarker
TeX token marker.
- Version:
- $Id: TeXTokenMarker.java,v 1.16 1999/12/13 03:40:30 sp Exp $
- Author:
- Slava Pestov
Method Summary |
byte |
markTokensImpl(byte token,
Segment line,
int lineIndex)
An abstract method that splits a line up into tokens. |
Methods inherited from class com.jidesoft.editor.tokenmarker.TokenMarker |
addToken, deleteLines, ensureCapacity, getDocument, getLastToken, getLineCount, insertLines, isNextLineRequested, markTokens, setDocument, supportsMultilineTokens |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
BDFORMULA
public static final byte BDFORMULA
- See Also:
- Constant Field Values
EDFORMULA
public static final byte EDFORMULA
- See Also:
- Constant Field Values
TeXTokenMarker
public TeXTokenMarker()
markTokensImpl
public byte markTokensImpl(byte token,
Segment line,
int lineIndex)
- Description copied from class:
TokenMarker
- An abstract method that splits a line up into tokens. It should parse the line, and call
addToken()
to add syntax tokens to the token list. Then, it should return the initial token type for the next line.
For example if the current line contains the start of a multiline comment that doesn't end on that line, this
method should return the comment token type so that it continues on the next line.
- Specified by:
markTokensImpl
in class TokenMarker
- Parameters:
token
- The initial token type for this lineline
- The line to be tokenizedlineIndex
- The index of the line in the document, starting at 0
- Returns:
- The initial token type for the next line