public interface SearchTopHitProvider
Modifier and Type | Field and Description |
---|---|
static ExtensionPointName<SearchTopHitProvider> |
EP_NAME |
Modifier and Type | Method and Description |
---|---|
void |
consumeTopHits(java.lang.String pattern,
java.util.function.Consumer<java.lang.Object> collector,
Project project) |
static java.lang.String |
getTopHitAccelerator() |
static final ExtensionPointName<SearchTopHitProvider> EP_NAME
void consumeTopHits(java.lang.String pattern, java.util.function.Consumer<java.lang.Object> collector, Project project)
static java.lang.String getTopHitAccelerator()