case-study/jdt-after/ui/org/eclipse/jdt/internal/ui/search/JavaSearchTableContentProvider.java

   1 /*******************************************************************************
   2  * Copyright (c) 2000, 2011 IBM Corporation and others.
   3  * All rights reserved. This program and the accompanying materials
   4  * are made available under the terms of the Eclipse Public License v1.0
   5  * which accompanies this distribution, and is available at
   6  * http://www.eclipse.org/legal/epl-v10.html
   7  *
   8  * Contributors:
   9  *     IBM Corporation - initial API and implementation
  10  *******************************************************************************/
  11 package org.eclipse.jdt.internal.ui.search;
  12
  13 import java.util.HashSet;
  14 import java.util.Set;
  15
  16 import org.eclipse.swt.widgets.Table;
  17
  18 import org.eclipse.jface.viewers.TableViewer;
  19
  20 import org.eclipse.search.ui.text.AbstractTextSearchResult;
  21
  22 public class JavaSearchTableContentProvider extends JavaSearchContentProvider {
  23         public JavaSearchTableContentProvider(JavaSearchResultPage page) {
  24                 super(page);
  25         }
  26         public Object[] getElements(Object inputElement) {
  27                 if (inputElement instanceof AbstractTextSearchResult) {
  28                         Set<Object> filteredElements= new HashSet<Object>();
  29                         Object[] rawElements= ((AbstractTextSearchResult)inputElement).getElements();
  30                         int limit= getPage().getElementLimit().intValue();
  31                         for (int i= 0; i < rawElements.length; i++) {
  32                                 if (getPage().getDisplayedMatchCount(rawElements[i]) > 0) {
  33                                         filteredElements.add(rawElements[i]);
  34                                         if (limit != -1 && limit < filteredElements.size()) {
  35                                                 break;
  36                                         }
  37                                 }
  38                         }
  39                         return filteredElements.toArray();
  40                 }
  41                 return EMPTY_ARR;
  42         }
  43
  44         @Override
  45         public void elementsChanged(Object[] updatedElements) {
  46                 if (getSearchResult() == null)
  47                         return;
  48
  49                 int addLimit= getAddLimit();
  50
  51                 TableViewer viewer= (TableViewer) getPage().getViewer();
  52                 Set<Object> updated= new HashSet<Object>();
  53                 Set<Object> added= new HashSet<Object>();
  54                 Set<Object> removed= new HashSet<Object>();
  55                 for (int i= 0; i < updatedElements.length; i++) {
  56                         if (getPage().getDisplayedMatchCount(updatedElements[i]) > 0) {
  57                                 if (viewer.testFindItem(updatedElements[i]) != null)
  58                                         updated.add(updatedElements[i]);
  59                                 else {
  60                                         if (addLimit > 0) {
  61                                                 added.add(updatedElements[i]);
  62                                                 addLimit--;
  63                                         }
  64                                 }
  65                         } else {
  66                                 removed.add(updatedElements[i]);
  67                         }
  68                 }
  69
  70                 viewer.add(added.toArray());
  71                 viewer.update(updated.toArray(), new String[] { SearchLabelProvider.PROPERTY_MATCH_COUNT });
  72                 viewer.remove(removed.toArray());
  73         }
  74
  75         private int getAddLimit() {
  76                 int limit= getPage().getElementLimit().intValue();
  77                 if (limit != -1) {
  78                         Table table= (Table) getPage().getViewer().getControl();
  79                         int itemCount= table.getItemCount();
  80                         if (itemCount >= limit) {
  81                                 return 0;
  82                         }
  83                         return limit - itemCount;
  84                 }
  85                 return Integer.MAX_VALUE;
  86         }
  87
  88         @Override
  89         public void clear() {
  90                 getPage().getViewer().refresh();
  91         }
  92
  93 }