oracle.ide.index
Interface IndexingListener

public interface IndexingListener

Listens for index updates.

Method Summary

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.

Method Detail

indexUpdate

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. Not all of the files will necessarily be indexed. The files will be checked for changes, and if they have changed, they will be indexed.

Parameters:

workspace - the workspace associated with the index

project - the project assoicated with the index

urls - the files which will be updated