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 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