public class SpecificationTokenMarker
extends alice.util.jedit.TokenMarker
Constructor and Description |
---|
SpecificationTokenMarker() |
SpecificationTokenMarker(alice.util.jedit.KeywordMap keys) |
Modifier and Type | Method and Description |
---|---|
static alice.util.jedit.KeywordMap |
getKeywords() |
byte |
markTokensImpl(byte token,
javax.swing.text.Segment line,
int lineIndex) |
public SpecificationTokenMarker()
public SpecificationTokenMarker(alice.util.jedit.KeywordMap keys)
keys
- the keywords to highlightpublic static alice.util.jedit.KeywordMap getKeywords()
public byte markTokensImpl(byte token, javax.swing.text.Segment line, int lineIndex)
markTokensImpl
in class alice.util.jedit.TokenMarker