Searched refs:NumberHighlighting (Results 1 – 1 of 1) sorted by relevance
1708 private static final class NumberHighlighting extends SemanticHighlighting { class in SemanticHighlightings2152 new NumberHighlighting(), in getSemanticHighlightings()