1 11 package org.eclipse.help.internal.search; 12 13 import java.util.ArrayList ; 14 import java.util.HashSet ; 15 import java.util.List ; 16 import java.util.Set ; 17 18 22 public class PrebuiltIndexes { 23 private SearchIndex targetIndex; 24 25 28 private Set set = new HashSet (); 29 30 PrebuiltIndexes(SearchIndex targetIndex) { 31 super(); 32 this.targetIndex = targetIndex; 33 } 34 35 void add(String plugin, String path) { 36 set.add(new PluginIndex(plugin, path, targetIndex)); 37 } 38 39 42 private void trim() { 43 List indexes = new ArrayList (set); 44 for (int i = 0; i < indexes.size();) { 45 PluginIndex index = (PluginIndex) indexes.get(i); 46 if (index.getPaths().size() == 0) { 47 set.remove(index); 48 } 49 i++; 50 } 51 } 52 53 public PluginIndex[] getIndexes() { 54 trim(); 55 return (PluginIndex[]) set.toArray(new PluginIndex[set.size()]); 56 } 57 } 58 | Popular Tags |