|
|||||||||
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 |