Class FilterUpdateEvent

  • All Implemented Interfaces:
    java.io.Serializable

    public class FilterUpdateEvent
    extends SearchResultEvent
    An event object describing that the filter state of the given matches has been updated or match filters have been reconfigured.

    Clients may instantiate or subclass this class.

    Since:
    3.3
    See Also:
    Serialized Form
    • Constructor Detail

      • FilterUpdateEvent

        public FilterUpdateEvent​(ISearchResult searchResult,
                                 Match[] matches,
                                 MatchFilter[] filters)
        Constructs a new FilterUpdateEvent.
        Parameters:
        searchResult - the search result concerned
        matches - the matches updated by the filter change
        filters - the currently activated filters
    • Method Detail

      • getUpdatedMatches

        public Match[] getUpdatedMatches()
        Returns the matches updated by the filter update.
        Returns:
        the matches updated by the filter update
      • getActiveFilters

        public MatchFilter[] getActiveFilters()
        Returns the the filters currently set, or null if filters have been disabled.
        Returns:
        the filters currently set