java.lang.Object
org.gjt.sp.jedit.syntax.TokenMarker
A token marker splits lines of text into tokens. Each token carries
a length field and an identification tag that can be mapped to a color
or font style for painting that token.
- Version:
- $Id: TokenMarker.java 25295 2020-04-26 13:17:03Z kpouer $
- Author:
- Slava Pestov, mike dillon
- See Also:
-
Nested Class Summary
Modifier and TypeClassDescriptionstatic class
Stores persistent per-line syntax parser state. -
Field Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
addRuleSet
(ParserRuleSet rules) getRuleSet
(String setName) markTokens
(TokenMarker.LineContext prevContext, TokenHandler tokenHandler, Segment line) Do not call this method directly; call Buffer.markTokens() instead.
-
Field Details
-
EMPTY_PARSER_RULE_SETS_ARRAY
-
-
Constructor Details
-
TokenMarker
public TokenMarker()
-
-
Method Details
-
addRuleSet
-
getMainRuleSet
-
getRuleSet
-
getRuleSets
- Since:
- jEdit 4.2pre3
-
markTokens
public TokenMarker.LineContext markTokens(TokenMarker.LineContext prevContext, TokenHandler tokenHandler, Segment line) Do not call this method directly; call Buffer.markTokens() instead.- Parameters:
prevContext
- the context of the previous line, it can be nulltokenHandler
- the token handlerline
- a segment containing the content of the line
-