Called by the code completion infrastructure to inform the task about
changes in the corresponding document. The task should reflect these
changes while creating the query result.
This method can be called multiple times on a single task instance.
Typically it is called AFTER the query() was invoked
but it may also be invoked BEFORE the query() in case
the user types even before the query()
was called by the infrastructure. In such
case the resultSet parameter will be null .
It is guaranteed that this method will not be invoked in case
the document instance set in the component would change since the last invocation
of either the query() or refresh() .
This method is always called in AWT thread but it may reschedule
its processing into another thread and fire the given listener
once the computing is finished.
Parameters: resultSet - non-null result set to which the resultsof the refreshing must be added. Null result set may be passed in case the query() was not invoked yet and user has typed a character. In this casethe provider may hide the completionby using Completion.get().hideAll() if the typed character is inappropriate e.g. ";" for java completion. |