org.gjt.sp.jedit.syntax

Class TeXTokenMarker

java.lang.Object

org.gjt.sp.jedit.syntax.TokenMarker

org.gjt.sp.jedit.syntax.TeXTokenMarker

public class TeXTokenMarker
extends TokenMarker

TeX token marker.

Nested Class Summary

Nested classes/interfaces inherited from class org.gjt.sp.jedit.syntax.TokenMarker

TokenMarker.LineInfo

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
TeXTokenMarker()

Method Summary

Modifier and Type	Method and Description
byte	markTokensImpl(byte token, javax.swing.text.Segment line, int lineIndex) An abstract method that splits a line up into tokens.

Methods inherited from class org.gjt.sp.jedit.syntax.TokenMarker

deleteLines, insertLines, isNextLineRequested, markTokens

Methods inherited from class java.lang.Object

equals, 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

public byte markTokensImpl(byte token,
                           javax.swing.text.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.

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

Returns:

The initial token type for the next line