public class LocalPluginSearchResultProducer extends SearchResultProducer
Modifier and Type | Class and Description |
---|---|
static class |
LocalPluginSearchResultProducer.LocalPluginResult |
Constructor and Description |
---|
LocalPluginSearchResultProducer() |
Modifier and Type | Method and Description |
---|---|
void |
doSearch(java.lang.String[] words,
SearchResultConsumer consumer)
Performs the search request (internal).
|
java.lang.String |
getName()
Returns the result producer name
|
int |
getOrder()
Returns the result producer order
|
java.lang.String |
getTooltipText()
Returns the tooltip displayed on the menu (in small under the label).
|
addResult, compareTo, getResults, hasWaitingSearch, isSearching, search, waitSearchComplete
public LocalPluginSearchResultProducer()
public int getOrder()
SearchResultProducer
getOrder
in class SearchResultProducer
public java.lang.String getName()
SearchResultProducer
getName
in class SearchResultProducer
public java.lang.String getTooltipText()
SearchResultProducer
getTooltipText
in class SearchResultProducer
public void doSearch(java.lang.String[] words, SearchResultConsumer consumer)
SearchResultProducer
results
list :results
should be
cleared.results
variable access should be synchronized as it can be externally accessed.SearchResultProducer.hasWaitingSearch()
returns true.doSearch
in class SearchResultProducer
words
- Search keywordsconsumer
- Search result consumer for this search request.SearchResultConsumer.resultsChanged(SearchResultProducer)
method.SearchResultProducer.hasWaitingSearch()