|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface QueryResultHandler
Represents a display element that can handle the results of a query. This will normally be a separate window in which results are displayed and from which some interaction (e.g. highlighting text areas) with the display element is possible.
| Method Summary | |
|---|---|
void |
acceptQueryResult(NOMElement result)
accept a query result as an individual element |
void |
acceptQueryResults(java.util.List results)
accept a query result as a list of NOMElements |
void |
setQueryHighlightColor(java.awt.Color color)
set the colour of the highlighting for queries |
| Method Detail |
|---|
void acceptQueryResults(java.util.List results)
void acceptQueryResult(NOMElement result)
void setQueryHighlightColor(java.awt.Color color)
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||