org.eclipse.help.base/src/org/eclipse/help/internal/search/PrebuiltIndexes.java

/*******************************************************************************
 * Copyright (c) 2005 IBM Corporation and others.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 * 
 * Contributors:
 *     IBM Corporation - initial API and implementation
 *******************************************************************************/
package org.eclipse.help.internal.search;

import java.util.ArrayList;
import java.util.HashSet;
import java.util.List;
import java.util.Set;

/**
 * Plugins with prebuilt search indexes.
 * 
 */
public class PrebuiltIndexes {
	private SearchIndex targetIndex;

	/**
	 * Set of PluginIndex
	 */
	private Set set = new HashSet();

	PrebuiltIndexes(SearchIndex targetIndex) {
		super();
		this.targetIndex = targetIndex;
	}

	void add(String plugin, String path) {
		set.add(new PluginIndex(plugin, path, targetIndex));
	}

	/**
	 * Removes Plugin indexes with no index
	 */
	private void trim() {
		List indexes = new ArrayList(set);
		for (int i = 0; i < indexes.size();) {
			PluginIndex index = (PluginIndex) indexes.get(i);
			if (index.getPaths().size() == 0) {
				set.remove(index);
			}
			i++;
		}
	}

	public PluginIndex[] getIndexes() {
		trim();
		return (PluginIndex[]) set.toArray(new PluginIndex[set.size()]);
	}
}