public interface AnnexHighlighterPositionAcceptor
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
COMMENT_ID |
static java.lang.String |
DEFAULT_ID |
static java.lang.String |
INVALID_TOKEN_ID |
static java.lang.String |
KEYWORD_ID |
static java.lang.String |
NUMBER_ID |
static java.lang.String |
PUNCTUATION_ID |
static java.lang.String |
STRING_ID |
Modifier and Type | Method and Description |
---|---|
void |
addPosition(int offset,
int length,
java.lang.String... id)
Assigns style(s) to a range of annex source
|
static final java.lang.String COMMENT_ID
static final java.lang.String DEFAULT_ID
static final java.lang.String INVALID_TOKEN_ID
static final java.lang.String KEYWORD_ID
static final java.lang.String NUMBER_ID
static final java.lang.String PUNCTUATION_ID
static final java.lang.String STRING_ID
void addPosition(int offset, int length, java.lang.String... id)
offset
- the offset from the start of the source text to the start of the rangelength
- the length of the rangeid
- the id's of the style(s) to assign to the range