public final class EditorOptionsTopHitProvider extends java.lang.Object implements OptionsSearchTopHitProvider.ApplicationLevelProvider
Modifier and Type | Class and Description |
---|---|
static class |
EditorOptionsTopHitProvider.Ex |
OptionsSearchTopHitProvider.ApplicationLevelProvider, OptionsSearchTopHitProvider.ProjectLevelProvider
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ID |
EP_NAME
Constructor and Description |
---|
EditorOptionsTopHitProvider() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getId() |
java.util.Collection<OptionDescription> |
getOptions() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
consumeTopHits
preloadNeeded
getTopHitAccelerator
public static final java.lang.String ID
public java.util.Collection<OptionDescription> getOptions()
getOptions
in interface OptionsSearchTopHitProvider.ApplicationLevelProvider
public java.lang.String getId()
getId
in interface OptionsSearchTopHitProvider