public interface IElementFilter
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.Modifier and Type | Method and Description |
---|---|
void |
filterElements(Collection elements,
IProgressMonitor monitor)
Callback to filter the given collection of elements
|
void |
filterElements(Object[] elements,
IProgressMonitor monitor)
Callback to filter the given array of objects
|
void filterElements(Collection elements, IProgressMonitor monitor) throws InterruptedException
elements
- the raw list of elements to filtermonitor
- the progress monitorInterruptedException
- thrown if the monitor is cancelledvoid filterElements(Object[] elements, IProgressMonitor monitor) throws InterruptedException
elements
- the raw array of elements to filtermonitor
- the progress monitorInterruptedException
- thrown if the monitor is cancelled
Copyright (c) 2000, 2015 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.