| /******************************************************************************* |
| * 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.ui; |
| |
| import org.eclipse.core.runtime.ListenerList; |
| import org.eclipse.core.runtime.Preferences; |
| import org.eclipse.jface.preference.IPreferenceStore; |
| import org.eclipse.jface.util.IPropertyChangeListener; |
| import org.eclipse.jface.util.PropertyChangeEvent; |
| |
| /** |
| * Adapts {@link org.eclipse.core.runtime.Preferences} to |
| * {@link org.eclipse.jface.preference.IPreferenceStore} |
| * |
| * |
| */ |
| public class PreferencesAdapter implements IPreferenceStore { |
| |
| /** |
| * Property change listener. Listens for events of type |
| * {@link org.eclipse.core.runtime.Preferences.PropertyChangeEvent} and |
| * fires a {@link org.eclipse.jface.util.PropertyChangeEvent} on the adapter |
| * with arguments from the received event. |
| */ |
| private class PropertyChangeListener |
| implements Preferences.IPropertyChangeListener { |
| |
| @Override |
| public void propertyChange(Preferences.PropertyChangeEvent event) { |
| firePropertyChangeEvent(event.getProperty(), event.getOldValue(), |
| event.getNewValue()); |
| } |
| } |
| |
| /** Listeners on the adapter */ |
| private ListenerList<IPropertyChangeListener> fListeners = new ListenerList<>( |
| ListenerList.IDENTITY); |
| |
| /** Listener on the adapted Preferences */ |
| private PropertyChangeListener fListener = new PropertyChangeListener(); |
| |
| /** Adapted Preferences */ |
| private Preferences fPreferences; |
| |
| /** True iff no events should be forwarded */ |
| private boolean fSilent; |
| |
| /** |
| * Initialize with empty Preferences. |
| */ |
| public PreferencesAdapter() { |
| this(new Preferences()); |
| } |
| |
| /** |
| * Initialize with the given Preferences. |
| * |
| * @param preferences |
| * The preferences to wrap. |
| */ |
| public PreferencesAdapter(Preferences preferences) { |
| fPreferences = preferences; |
| } |
| |
| @Override |
| public void addPropertyChangeListener(IPropertyChangeListener listener) { |
| if (fListeners.size() == 0) |
| fPreferences.addPropertyChangeListener(fListener); |
| fListeners.add(listener); |
| } |
| |
| @Override |
| public void removePropertyChangeListener(IPropertyChangeListener listener) { |
| fListeners.remove(listener); |
| if (fListeners.size() == 0) |
| fPreferences.removePropertyChangeListener(fListener); |
| } |
| |
| @Override |
| public boolean contains(String name) { |
| return fPreferences.contains(name); |
| } |
| |
| @Override |
| public void firePropertyChangeEvent(String name, Object oldValue, |
| Object newValue) { |
| if (!fSilent) { |
| PropertyChangeEvent event = new PropertyChangeEvent(this, name, |
| oldValue, newValue); |
| for (IPropertyChangeListener listener : fListeners) |
| listener.propertyChange(event); |
| } |
| } |
| |
| @Override |
| public boolean getBoolean(String name) { |
| return fPreferences.getBoolean(name); |
| } |
| |
| @Override |
| public boolean getDefaultBoolean(String name) { |
| return fPreferences.getDefaultBoolean(name); |
| } |
| |
| @Override |
| public double getDefaultDouble(String name) { |
| return fPreferences.getDefaultDouble(name); |
| } |
| |
| @Override |
| public float getDefaultFloat(String name) { |
| return fPreferences.getDefaultFloat(name); |
| } |
| |
| @Override |
| public int getDefaultInt(String name) { |
| return fPreferences.getDefaultInt(name); |
| } |
| |
| @Override |
| public long getDefaultLong(String name) { |
| return fPreferences.getDefaultLong(name); |
| } |
| |
| @Override |
| public String getDefaultString(String name) { |
| return fPreferences.getDefaultString(name); |
| } |
| |
| @Override |
| public double getDouble(String name) { |
| return fPreferences.getDouble(name); |
| } |
| |
| @Override |
| public float getFloat(String name) { |
| return fPreferences.getFloat(name); |
| } |
| |
| @Override |
| public int getInt(String name) { |
| return fPreferences.getInt(name); |
| } |
| |
| @Override |
| public long getLong(String name) { |
| return fPreferences.getLong(name); |
| } |
| |
| @Override |
| public String getString(String name) { |
| return fPreferences.getString(name); |
| } |
| |
| @Override |
| public boolean isDefault(String name) { |
| return fPreferences.isDefault(name); |
| } |
| |
| @Override |
| public boolean needsSaving() { |
| return fPreferences.needsSaving(); |
| } |
| |
| @Override |
| public void putValue(String name, String value) { |
| try { |
| fSilent = true; |
| fPreferences.setValue(name, value); |
| } finally { |
| fSilent = false; |
| } |
| } |
| |
| @Override |
| public void setDefault(String name, double value) { |
| fPreferences.setDefault(name, value); |
| } |
| |
| @Override |
| public void setDefault(String name, float value) { |
| fPreferences.setDefault(name, value); |
| } |
| |
| @Override |
| public void setDefault(String name, int value) { |
| fPreferences.setDefault(name, value); |
| } |
| |
| @Override |
| public void setDefault(String name, long value) { |
| fPreferences.setDefault(name, value); |
| } |
| |
| @Override |
| public void setDefault(String name, String defaultObject) { |
| fPreferences.setDefault(name, defaultObject); |
| } |
| |
| @Override |
| public void setDefault(String name, boolean value) { |
| fPreferences.setDefault(name, value); |
| } |
| |
| @Override |
| public void setToDefault(String name) { |
| fPreferences.setToDefault(name); |
| } |
| |
| @Override |
| public void setValue(String name, double value) { |
| fPreferences.setValue(name, value); |
| } |
| |
| @Override |
| public void setValue(String name, float value) { |
| fPreferences.setValue(name, value); |
| } |
| |
| @Override |
| public void setValue(String name, int value) { |
| fPreferences.setValue(name, value); |
| } |
| |
| @Override |
| public void setValue(String name, long value) { |
| fPreferences.setValue(name, value); |
| } |
| |
| @Override |
| public void setValue(String name, String value) { |
| fPreferences.setValue(name, value); |
| } |
| |
| @Override |
| public void setValue(String name, boolean value) { |
| fPreferences.setValue(name, value); |
| } |
| } |