public interface IndexingListener
Modifier and Type | Method and Description |
---|---|
void |
indexUpdate(Workspace workspace, Project project, java.util.Collection<java.net.URL> urls)
Called when a set of files are about to be updated in the index.
|
void indexUpdate(Workspace workspace, Project project, java.util.Collection<java.net.URL> urls)
workspace
- the workspace associated with the indexproject
- the project assoicated with the indexurls
- the files which will be updated