1 11 package org.eclipse.search.ui.text; 12 13 import org.eclipse.search.ui.ISearchResult; 14 import org.eclipse.search.ui.SearchResultEvent; 15 16 24 public class FilterUpdateEvent extends SearchResultEvent { 25 26 private static final long serialVersionUID = 6009335074727417443L; 27 28 private final Match[] fMatches; 29 private final MatchFilter[] fFilters; 30 31 38 public FilterUpdateEvent(ISearchResult searchResult, Match[] matches, MatchFilter[] filters) { 39 super(searchResult); 40 fMatches= matches; 41 fFilters= filters; 42 } 43 44 49 public Match[] getUpdatedMatches() { 50 return fMatches; 51 } 52 53 58 public MatchFilter[] getActiveFilters() { 59 return fFilters; 60 } 61 } 62 | Popular Tags |