/* * Copyright (c) 2012, the Dart project authors. * * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except * in compliance with the License. You may obtain a copy of the License at * * http://www.eclipse.org/legal/epl-v10.html * * Unless required by applicable law or agreed to in writing, software distributed under the License * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express * or implied. See the License for the specific language governing permissions and limitations under * the License. */ package com.google.dart.tools.search.internal.core.text; import com.google.dart.tools.search.core.text.TextSearchEngine; import com.google.dart.tools.search.internal.ui.SearchMessages; import com.google.dart.tools.search.internal.ui.SearchPlugin; import com.google.dart.tools.search.internal.ui.SearchPreferencePage; import org.eclipse.core.runtime.IConfigurationElement; import org.eclipse.core.runtime.Platform; import org.eclipse.jface.preference.IPreferenceStore; import org.eclipse.jface.util.SafeRunnable; import java.util.ArrayList; public class TextSearchEngineRegistry { private static final String EXTENSION_POINT_ID = "com.google.dart.tools.search.textSearchEngine"; //$NON-NLS-1$ private static final String ENGINE_NODE_NAME = "textSearchEngine"; //$NON-NLS-1$ private static final String ATTRIB_ID = "id"; //$NON-NLS-1$ private static final String ATTRIB_LABEL = "label"; //$NON-NLS-1$ private static final String ATTRIB_CLASS = "class"; //$NON-NLS-1$ private TextSearchEngine fPreferredEngine; private String fPreferredEngineId; public TextSearchEngineRegistry() { fPreferredEngineId = null; // only null when not initialized fPreferredEngine = null; } public TextSearchEngine getPreferred() { String preferredId = getPreferredEngineID(); if (!preferredId.equals(fPreferredEngineId)) { updateEngine(preferredId); } return fPreferredEngine; } private void updateEngine(String preferredId) { if (preferredId.length() != 0) { // empty string: default engine TextSearchEngine engine = createFromExtension(preferredId); if (engine != null) { fPreferredEngineId = preferredId; fPreferredEngine = engine; return; } // creation failed, clear preference setPreferredEngineID(""); // set to default //$NON-NLS-1$ } fPreferredEngineId = ""; //$NON-NLS-1$ fPreferredEngine = TextSearchEngine.createDefault(); } private String getPreferredEngineID() { IPreferenceStore prefs = SearchPlugin.getDefault().getPreferenceStore(); String preferedEngine = prefs.getString(SearchPreferencePage.TEXT_SEARCH_ENGINE); return preferedEngine; } private void setPreferredEngineID(String id) { IPreferenceStore prefs = SearchPlugin.getDefault().getPreferenceStore(); prefs.setValue(SearchPreferencePage.TEXT_SEARCH_ENGINE, id); } private TextSearchEngine createFromExtension(final String id) { final TextSearchEngine[] res = new TextSearchEngine[] {null}; SafeRunnable safe = new SafeRunnable() { public void run() throws Exception { IConfigurationElement[] extensions = Platform.getExtensionRegistry().getConfigurationElementsFor( EXTENSION_POINT_ID); for (int i = 0; i < extensions.length; i++) { IConfigurationElement curr = extensions[i]; if (ENGINE_NODE_NAME.equals(curr.getName()) && id.equals(curr.getAttribute(ATTRIB_ID))) { res[0] = (TextSearchEngine) curr.createExecutableExtension(ATTRIB_CLASS); return; } } } public void handleException(Throwable e) { SearchPlugin.log(e); } }; SafeRunnable.run(safe); return res[0]; } public String[][] getAvailableEngines() { ArrayList<String[]> res = new ArrayList<String[]>(); res.add(new String[] {SearchMessages.TextSearchEngineRegistry_defaulttextsearch_label, ""}); //$NON-NLS-1$ IConfigurationElement[] extensions = Platform.getExtensionRegistry().getConfigurationElementsFor( EXTENSION_POINT_ID); for (int i = 0; i < extensions.length; i++) { IConfigurationElement engine = extensions[i]; if (ENGINE_NODE_NAME.equals(engine.getName())) { res.add(new String[] {engine.getAttribute(ATTRIB_LABEL), engine.getAttribute(ATTRIB_ID)}); } } return res.toArray(new String[res.size()][]); } }