public abstract class HighlightInfoProcessor
extends java.lang.Object
Constructor and Description |
---|
HighlightInfoProcessor() |
Modifier and Type | Method and Description |
---|---|
void |
allHighlightsForRangeAreProduced(HighlightingSession session,
TextRange elementRange,
java.util.List<? extends HighlightInfo> infos) |
static HighlightInfoProcessor |
getEmpty() |
void |
highlightsInsideVisiblePartAreProduced(HighlightingSession session,
Editor editor,
java.util.List<? extends HighlightInfo> infos,
TextRange priorityRange,
TextRange restrictRange,
int groupId) |
void |
highlightsOutsideVisiblePartAreProduced(HighlightingSession session,
Editor editor,
java.util.List<? extends HighlightInfo> infos,
TextRange priorityRange,
TextRange restrictedRange,
int groupId) |
void |
infoIsAvailable(HighlightingSession session,
HighlightInfo info,
TextRange priorityRange,
TextRange restrictedRange,
int groupId) |
void |
progressIsAdvanced(HighlightingSession highlightingSession,
Editor editor,
double progress) |
public void highlightsInsideVisiblePartAreProduced(HighlightingSession session, Editor editor, java.util.List<? extends HighlightInfo> infos, TextRange priorityRange, TextRange restrictRange, int groupId)
public void highlightsOutsideVisiblePartAreProduced(HighlightingSession session, Editor editor, java.util.List<? extends HighlightInfo> infos, TextRange priorityRange, TextRange restrictedRange, int groupId)
public void infoIsAvailable(HighlightingSession session, HighlightInfo info, TextRange priorityRange, TextRange restrictedRange, int groupId)
public void allHighlightsForRangeAreProduced(HighlightingSession session, TextRange elementRange, java.util.List<? extends HighlightInfo> infos)
public void progressIsAdvanced(HighlightingSession highlightingSession, Editor editor, double progress)
public static HighlightInfoProcessor getEmpty()