1) Moved net.sourceforge.phpeclipse.ui\src\net\sourceforge\phpdt back to net.sourcefo...

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

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/text/PreferencesAdapter.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/text/PreferencesAdapter.java
new file mode 100644 (file)
index 0000000..80437b3
--- /dev/null
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/text/PreferencesAdapter.java
@@ -0,0 +1,316 @@
+/*******************************************************************************
+ * Copyright (c) 2000, 2004 IBM Corporation and others.
+ * All rights reserved. This program and the accompanying materials 
+ * are made available under the terms of the Common Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/cpl-v10.html
+ * 
+ * Contributors:
+ *     IBM Corporation - initial API and implementation
+ *******************************************************************************/
+
+package net.sourceforge.phpdt.internal.ui.text;
+
+import org.eclipse.core.runtime.Preferences;
+import org.eclipse.jface.preference.IPreferenceStore;
+import org.eclipse.jface.util.IPropertyChangeListener;
+//incastrix
+//import org.eclipse.jface.util.ListenerList;
+import org.eclipse.core.runtime.ListenerList;
+import org.eclipse.jface.util.PropertyChangeEvent;
+
+/**
+ * Adapts {@link org.eclipse.core.runtime.Preferences} to
+ * {@link org.eclipse.jface.preference.IPreferenceStore}
+ * 
+ * @since 3.0
+ */
+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 {
+
+               /*
+                * @see org.eclipse.core.runtime.Preferences.IPropertyChangeListener#propertyChange(org.eclipse.core.runtime.Preferences.PropertyChangeEvent)
+                */
+               public void propertyChange(Preferences.PropertyChangeEvent event) {
+                       firePropertyChangeEvent(event.getProperty(), event.getOldValue(),
+                                       event.getNewValue());
+               }
+       }
+
+       /** Listeners on the adapter */
+       private ListenerList fListeners = new ListenerList();
+
+       /** 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;
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public void addPropertyChangeListener(IPropertyChangeListener listener) {
+               if (fListeners.size() == 0)
+                       fPreferences.addPropertyChangeListener(fListener);
+               fListeners.add(listener);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public void removePropertyChangeListener(IPropertyChangeListener listener) {
+               fListeners.remove(listener);
+               if (fListeners.size() == 0)
+                       fPreferences.removePropertyChangeListener(fListener);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public boolean contains(String name) {
+               return fPreferences.contains(name);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public void firePropertyChangeEvent(String name, Object oldValue,
+                       Object newValue) {
+               if (!fSilent) {
+                       PropertyChangeEvent event = new PropertyChangeEvent(this, name,
+                                       oldValue, newValue);
+                       Object[] listeners = fListeners.getListeners();
+                       for (int i = 0; i < listeners.length; i++)
+                               ((IPropertyChangeListener) listeners[i]).propertyChange(event);
+               }
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public boolean getBoolean(String name) {
+               return fPreferences.getBoolean(name);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public boolean getDefaultBoolean(String name) {
+               return fPreferences.getDefaultBoolean(name);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public double getDefaultDouble(String name) {
+               return fPreferences.getDefaultDouble(name);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public float getDefaultFloat(String name) {
+               return fPreferences.getDefaultFloat(name);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public int getDefaultInt(String name) {
+               return fPreferences.getDefaultInt(name);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public long getDefaultLong(String name) {
+               return fPreferences.getDefaultLong(name);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public String getDefaultString(String name) {
+               return fPreferences.getDefaultString(name);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public double getDouble(String name) {
+               return fPreferences.getDouble(name);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public float getFloat(String name) {
+               return fPreferences.getFloat(name);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public int getInt(String name) {
+               return fPreferences.getInt(name);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public long getLong(String name) {
+               return fPreferences.getLong(name);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public String getString(String name) {
+               return fPreferences.getString(name);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public boolean isDefault(String name) {
+               return fPreferences.isDefault(name);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public boolean needsSaving() {
+               return fPreferences.needsSaving();
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public void putValue(String name, String value) {
+               try {
+                       fSilent = true;
+                       fPreferences.setValue(name, value);
+               } finally {
+                       fSilent = false;
+               }
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public void setDefault(String name, double value) {
+               fPreferences.setDefault(name, value);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public void setDefault(String name, float value) {
+               fPreferences.setDefault(name, value);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public void setDefault(String name, int value) {
+               fPreferences.setDefault(name, value);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public void setDefault(String name, long value) {
+               fPreferences.setDefault(name, value);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public void setDefault(String name, String defaultObject) {
+               fPreferences.setDefault(name, defaultObject);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public void setDefault(String name, boolean value) {
+               fPreferences.setDefault(name, value);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public void setToDefault(String name) {
+               fPreferences.setToDefault(name);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public void setValue(String name, double value) {
+               fPreferences.setValue(name, value);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public void setValue(String name, float value) {
+               fPreferences.setValue(name, value);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public void setValue(String name, int value) {
+               fPreferences.setValue(name, value);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public void setValue(String name, long value) {
+               fPreferences.setValue(name, value);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public void setValue(String name, String value) {
+               fPreferences.setValue(name, value);
+       }
+
+       /**
+        * {@inheritDoc}
+        */
+       public void setValue(String name, boolean value) {
+               fPreferences.setValue(name, value);
+       }
+}