org.jeditor.scripts.tokenmarkers

Class TeXTokenMarker

java.lang.Object

org.jeditor.scripts.base.TokenMarker

org.jeditor.scripts.tokenmarkers.TeXTokenMarker

public class TeXTokenMarker
extends TokenMarker

TeX token marker.

Nested Class Summary

Nested classes/interfaces inherited from class org.jeditor.scripts.base.TokenMarker

TokenMarker.LineInfo

Field Summary

Fields

Modifier and Type	Field and Description
static byte	BDFORMULA
static byte	EDFORMULA

Fields inherited from class org.jeditor.scripts.base.TokenMarker

currentTokenOffset, firstToken, lastLine, lastToken, length, lineIndex, lineInfo, nextLineRequested, offsetGap, PAT_EMPTY, syntaxListener

Constructor Summary

Constructors

Constructor and Description
TeXTokenMarker()

Method Summary

Modifier and Type	Method and Description
protected byte	markTokensImpl(byte token, javax.swing.text.Segment line, int lineIndex, boolean externalTokenizer) Splits a line up into tokens.

Methods inherited from class org.jeditor.scripts.base.TokenMarker

addToken, deleteLines, ensureCapacity, getLineCount, getLineIndex, getLineOffsetString, getMaxLineWidth, getOffsetGap, getSyntaxListener, insertLines, isNextLineRequested, markTokens, markTokens, setLineWidth, setOffsetGap, setSyntaxListener, supportsMultilineTokens

Methods inherited from class java.lang.Object

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

Field Detail

BDFORMULA

public static final byte BDFORMULA

See Also:

Constant Field Values

EDFORMULA

public static final byte EDFORMULA

See Also:

Constant Field Values

Constructor Detail

TeXTokenMarker

public TeXTokenMarker()

Method Detail

markTokensImpl

protected byte markTokensImpl(byte token,
                              javax.swing.text.Segment line,
                              int lineIndex,
                              boolean externalTokenizer)

Splits a line up into tokens.

Specified by:

markTokensImpl in class TokenMarker

Parameters:

token - The initial token type for this line

line - The line to be tokenized

lineIndex - The index of the line in the document, starting at 0

externalTokenizer - true for an external tokenizer

Returns:

The initial token type for the next line