| /******************************************************************************* |
| * Copyright (c) 2000, 2017 IBM Corporation and others. |
| * This program and the accompanying materials are made available under the |
| * terms of the Eclipse Public License v. 2.0 which is available at |
| * http://www.eclipse.org/legal/epl-2.0. |
| * |
| * SPDX-License-Identifier: EPL-2.0 |
| * |
| *******************************************************************************/ |
| package org.eclipse.dltk.internal.ui.search; |
| |
| import java.util.HashSet; |
| import java.util.Set; |
| |
| import org.eclipse.jface.viewers.IStructuredContentProvider; |
| import org.eclipse.jface.viewers.TableViewer; |
| import org.eclipse.swt.widgets.Table; |
| |
| public class DLTKSearchTableContentProvider extends DLTKSearchContentProvider |
| implements IStructuredContentProvider { |
| public DLTKSearchTableContentProvider(DLTKSearchResultPage page) { |
| super(page); |
| } |
| |
| @Override |
| public Object[] getElements(Object inputElement) { |
| if (inputElement instanceof DLTKSearchResult) { |
| Set<Object> filteredElements = new HashSet<>(); |
| Object[] rawElements = ((DLTKSearchResult) inputElement) |
| .getElements(); |
| int limit = getPage().getElementLimit().intValue(); |
| for (int i = 0; i < rawElements.length; i++) { |
| if (getPage().getDisplayedMatchCount(rawElements[i]) > 0) { |
| filteredElements.add(rawElements[i]); |
| if (limit != -1 && limit < filteredElements.size()) { |
| break; |
| } |
| } |
| } |
| return filteredElements.toArray(); |
| } |
| return EMPTY_ARR; |
| } |
| |
| @Override |
| public void elementsChanged(Object[] updatedElements) { |
| if (fResult == null) |
| return; |
| int addCount = 0; |
| int removeCount = 0; |
| int addLimit = getAddLimit(); |
| |
| TableViewer viewer = (TableViewer) getPage().getViewer(); |
| Set<Object> updated = new HashSet<>(); |
| Set<Object> added = new HashSet<>(); |
| Set<Object> removed = new HashSet<>(); |
| for (int i = 0; i < updatedElements.length; i++) { |
| if (getPage().getDisplayedMatchCount(updatedElements[i]) > 0) { |
| if (viewer.testFindItem(updatedElements[i]) != null) |
| updated.add(updatedElements[i]); |
| else { |
| if (addLimit > 0) { |
| added.add(updatedElements[i]); |
| addLimit--; |
| addCount++; |
| } |
| } |
| } else { |
| removed.add(updatedElements[i]); |
| removeCount++; |
| } |
| } |
| |
| viewer.add(added.toArray()); |
| viewer.update(updated.toArray(), |
| new String[] { SearchLabelProvider.PROPERTY_MATCH_COUNT }); |
| viewer.remove(removed.toArray()); |
| } |
| |
| private int getAddLimit() { |
| int limit = getPage().getElementLimit().intValue(); |
| if (limit != -1) { |
| Table table = (Table) getPage().getViewer().getControl(); |
| int itemCount = table.getItemCount(); |
| if (itemCount >= limit) { |
| return 0; |
| } |
| return limit - itemCount; |
| } |
| return Integer.MAX_VALUE; |
| } |
| |
| @Override |
| public void clear() { |
| getPage().getViewer().refresh(); |
| } |
| |
| } |