org.eclipse.ui.ide.dialogs

Interface IElementFilter

public interface IElementFilter

The IElementFilter is a interface that defines the API for filtering the current selection of a ResourceTreeAndListGroup in order to find a subset to update as the result of a type filtering.

Since:

3.10

Restriction:

This interface is not intended to be extended by clients.

Method Summary

Modifier and Type	Method and Description
void	filterElements(java.util.Collection elements, IProgressMonitor monitor) Callback to filter the given collection of elements
void	filterElements(java.lang.Object[] elements, IProgressMonitor monitor) Callback to filter the given array of objects

Method Detail

filterElements

void filterElements(java.util.Collection elements,
                    IProgressMonitor monitor)
             throws java.lang.InterruptedException

Callback to filter the given collection of elements

Parameters:

elements - the raw list of elements to filter

monitor - the progress monitor

Throws:

java.lang.InterruptedException - thrown if the monitor is cancelled

filterElements

void filterElements(java.lang.Object[] elements,
                    IProgressMonitor monitor)
             throws java.lang.InterruptedException

Callback to filter the given array of objects

Parameters:

elements - the raw array of elements to filter

monitor - the progress monitor

Throws:

java.lang.InterruptedException - thrown if the monitor is cancelled