alice.tuprologx.ide
Class PrologTokenMarker

java.lang.Object
  alice.util.jedit.TokenMarker
      alice.tuprologx.ide.PrologTokenMarker

public class PrologTokenMarker
extends TokenMarker

Nested Class Summary

Nested classes/interfaces inherited from class alice.util.jedit.TokenMarker

TokenMarker.LineInfo

Field Summary

Fields inherited from class alice.util.jedit.TokenMarker

firstToken, lastLine, lastToken, length, lineInfo, nextLineRequested

Constructor Summary

PrologTokenMarker()

PrologTokenMarker(boolean cpp, KeywordMap keywords)

Method Summary

static KeywordMap	getKeywords()
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 alice.util.jedit.TokenMarker

addToken, deleteLines, ensureCapacity, getLineCount, insertLines, isNextLineRequested, markTokens, supportsMultilineTokens

Methods inherited from class java.lang.Object

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

Constructor Detail

PrologTokenMarker

public PrologTokenMarker()

PrologTokenMarker

public PrologTokenMarker(boolean cpp,
                         KeywordMap keywords)

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.

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

Returns:

The initial token type for the next line

getKeywords

public static KeywordMap getKeywords()