net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/text/PreferencesAdapter.java

   1 /*******************************************************************************
   2  * Copyright (c) 2000, 2004 IBM Corporation and others.
   3  * All rights reserved. This program and the accompanying materials
   4  * are made available under the terms of the Common Public License v1.0
   5  * which accompanies this distribution, and is available at
   6  * http://www.eclipse.org/legal/cpl-v10.html
   7  *
   8  * Contributors:
   9  *     IBM Corporation - initial API and implementation
  10  *******************************************************************************/
  11
  12 package net.sourceforge.phpdt.internal.ui.text;
  13
  14 import org.eclipse.core.runtime.Preferences;
  15 import org.eclipse.jface.preference.IPreferenceStore;
  16 import org.eclipse.jface.util.IPropertyChangeListener;
  17 import org.eclipse.jface.util.ListenerList;
  18 import org.eclipse.jface.util.PropertyChangeEvent;
  19
  20 /**
  21  * Adapts {@link org.eclipse.core.runtime.Preferences} to
  22  * {@link org.eclipse.jface.preference.IPreferenceStore}
  23  *
  24  * @since 3.0
  25  */
  26 public class PreferencesAdapter implements IPreferenceStore {
  27
  28         /**
  29          * Property change listener. Listens for events of type
  30          * {@link org.eclipse.core.runtime.Preferences.PropertyChangeEvent} and
  31          * fires a {@link org.eclipse.jface.util.PropertyChangeEvent} on the adapter
  32          * with arguments from the received event.
  33          */
  34         private class PropertyChangeListener implements
  35                         Preferences.IPropertyChangeListener {
  36
  37                 /*
  38                  * @see org.eclipse.core.runtime.Preferences.IPropertyChangeListener#propertyChange(org.eclipse.core.runtime.Preferences.PropertyChangeEvent)
  39                  */
  40                 public void propertyChange(Preferences.PropertyChangeEvent event) {
  41                         firePropertyChangeEvent(event.getProperty(), event.getOldValue(),
  42                                         event.getNewValue());
  43                 }
  44         }
  45
  46         /** Listeners on the adapter */
  47         private ListenerList fListeners = new ListenerList();
  48
  49         /** Listener on the adapted Preferences */
  50         private PropertyChangeListener fListener = new PropertyChangeListener();
  51
  52         /** Adapted Preferences */
  53         private Preferences fPreferences;
  54
  55         /** True iff no events should be forwarded */
  56         private boolean fSilent;
  57
  58         /**
  59          * Initialize with empty Preferences.
  60          */
  61         public PreferencesAdapter() {
  62                 this(new Preferences());
  63         }
  64
  65         /**
  66          * Initialize with the given Preferences.
  67          *
  68          * @param preferences
  69          *            The preferences to wrap.
  70          */
  71         public PreferencesAdapter(Preferences preferences) {
  72                 fPreferences = preferences;
  73         }
  74
  75         /**
  76          * {@inheritDoc}
  77          */
  78         public void addPropertyChangeListener(IPropertyChangeListener listener) {
  79                 if (fListeners.size() == 0)
  80                         fPreferences.addPropertyChangeListener(fListener);
  81                 fListeners.add(listener);
  82         }
  83
  84         /**
  85          * {@inheritDoc}
  86          */
  87         public void removePropertyChangeListener(IPropertyChangeListener listener) {
  88                 fListeners.remove(listener);
  89                 if (fListeners.size() == 0)
  90                         fPreferences.removePropertyChangeListener(fListener);
  91         }
  92
  93         /**
  94          * {@inheritDoc}
  95          */
  96         public boolean contains(String name) {
  97                 return fPreferences.contains(name);
  98         }
  99
 100         /**
 101          * {@inheritDoc}
 102          */
 103         public void firePropertyChangeEvent(String name, Object oldValue,
 104                         Object newValue) {
 105                 if (!fSilent) {
 106                         PropertyChangeEvent event = new PropertyChangeEvent(this, name,
 107                                         oldValue, newValue);
 108                         Object[] listeners = fListeners.getListeners();
 109                         for (int i = 0; i < listeners.length; i++)
 110                                 ((IPropertyChangeListener) listeners[i]).propertyChange(event);
 111                 }
 112         }
 113
 114         /**
 115          * {@inheritDoc}
 116          */
 117         public boolean getBoolean(String name) {
 118                 return fPreferences.getBoolean(name);
 119         }
 120
 121         /**
 122          * {@inheritDoc}
 123          */
 124         public boolean getDefaultBoolean(String name) {
 125                 return fPreferences.getDefaultBoolean(name);
 126         }
 127
 128         /**
 129          * {@inheritDoc}
 130          */
 131         public double getDefaultDouble(String name) {
 132                 return fPreferences.getDefaultDouble(name);
 133         }
 134
 135         /**
 136          * {@inheritDoc}
 137          */
 138         public float getDefaultFloat(String name) {
 139                 return fPreferences.getDefaultFloat(name);
 140         }
 141
 142         /**
 143          * {@inheritDoc}
 144          */
 145         public int getDefaultInt(String name) {
 146                 return fPreferences.getDefaultInt(name);
 147         }
 148
 149         /**
 150          * {@inheritDoc}
 151          */
 152         public long getDefaultLong(String name) {
 153                 return fPreferences.getDefaultLong(name);
 154         }
 155
 156         /**
 157          * {@inheritDoc}
 158          */
 159         public String getDefaultString(String name) {
 160                 return fPreferences.getDefaultString(name);
 161         }
 162
 163         /**
 164          * {@inheritDoc}
 165          */
 166         public double getDouble(String name) {
 167                 return fPreferences.getDouble(name);
 168         }
 169
 170         /**
 171          * {@inheritDoc}
 172          */
 173         public float getFloat(String name) {
 174                 return fPreferences.getFloat(name);
 175         }
 176
 177         /**
 178          * {@inheritDoc}
 179          */
 180         public int getInt(String name) {
 181                 return fPreferences.getInt(name);
 182         }
 183
 184         /**
 185          * {@inheritDoc}
 186          */
 187         public long getLong(String name) {
 188                 return fPreferences.getLong(name);
 189         }
 190
 191         /**
 192          * {@inheritDoc}
 193          */
 194         public String getString(String name) {
 195                 return fPreferences.getString(name);
 196         }
 197
 198         /**
 199          * {@inheritDoc}
 200          */
 201         public boolean isDefault(String name) {
 202                 return fPreferences.isDefault(name);
 203         }
 204
 205         /**
 206          * {@inheritDoc}
 207          */
 208         public boolean needsSaving() {
 209                 return fPreferences.needsSaving();
 210         }
 211
 212         /**
 213          * {@inheritDoc}
 214          */
 215         public void putValue(String name, String value) {
 216                 try {
 217                         fSilent = true;
 218                         fPreferences.setValue(name, value);
 219                 } finally {
 220                         fSilent = false;
 221                 }
 222         }
 223
 224         /**
 225          * {@inheritDoc}
 226          */
 227         public void setDefault(String name, double value) {
 228                 fPreferences.setDefault(name, value);
 229         }
 230
 231         /**
 232          * {@inheritDoc}
 233          */
 234         public void setDefault(String name, float value) {
 235                 fPreferences.setDefault(name, value);
 236         }
 237
 238         /**
 239          * {@inheritDoc}
 240          */
 241         public void setDefault(String name, int value) {
 242                 fPreferences.setDefault(name, value);
 243         }
 244
 245         /**
 246          * {@inheritDoc}
 247          */
 248         public void setDefault(String name, long value) {
 249                 fPreferences.setDefault(name, value);
 250         }
 251
 252         /**
 253          * {@inheritDoc}
 254          */
 255         public void setDefault(String name, String defaultObject) {
 256                 fPreferences.setDefault(name, defaultObject);
 257         }
 258
 259         /**
 260          * {@inheritDoc}
 261          */
 262         public void setDefault(String name, boolean value) {
 263                 fPreferences.setDefault(name, value);
 264         }
 265
 266         /**
 267          * {@inheritDoc}
 268          */
 269         public void setToDefault(String name) {
 270                 fPreferences.setToDefault(name);
 271         }
 272
 273         /**
 274          * {@inheritDoc}
 275          */
 276         public void setValue(String name, double value) {
 277                 fPreferences.setValue(name, value);
 278         }
 279
 280         /**
 281          * {@inheritDoc}
 282          */
 283         public void setValue(String name, float value) {
 284                 fPreferences.setValue(name, value);
 285         }
 286
 287         /**
 288          * {@inheritDoc}
 289          */
 290         public void setValue(String name, int value) {
 291                 fPreferences.setValue(name, value);
 292         }
 293
 294         /**
 295          * {@inheritDoc}
 296          */
 297         public void setValue(String name, long value) {
 298                 fPreferences.setValue(name, value);
 299         }
 300
 301         /**
 302          * {@inheritDoc}
 303          */
 304         public void setValue(String name, String value) {
 305                 fPreferences.setValue(name, value);
 306         }
 307
 308         /**
 309          * {@inheritDoc}
 310          */
 311         public void setValue(String name, boolean value) {
 312                 fPreferences.setValue(name, value);
 313         }
 314 }