org.eclipse.photran.internal.ui.preferences.AbstractFortranPreferencePage.java Source code

Introduction

Here is the source code for org.eclipse.photran.internal.ui.preferences.AbstractFortranPreferencePage.java

Source

/*******************************************************************************
 * Copyright (c) 2000, 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.photran.internal.ui.preferences;

import org.eclipse.core.runtime.Preferences;
import org.eclipse.jface.preference.FieldEditor;
import org.eclipse.jface.preference.FieldEditorPreferencePage;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.util.IPropertyChangeListener;
import org.eclipse.jface.util.ListenerList;
import org.eclipse.jface.util.PropertyChangeEvent;
import org.eclipse.photran.core.FortranCorePlugin;
import org.eclipse.photran.internal.core.preferences.FortranPreferences;
import org.eclipse.ui.IWorkbench;
import org.eclipse.ui.IWorkbenchPreferencePage;

/**
 * Base class for Fortran preference pages which set preferences via static members of
 * {@link org.eclipse.photran.internal.core.preferences.FortranPreferences}
 * 
 * @author Jeff Overbey
 */
public abstract class AbstractFortranPreferencePage extends FieldEditorPreferencePage
        implements IWorkbenchPreferencePage {
    public AbstractFortranPreferencePage() {
        super(GRID); // Grid layout
        this.setPreferenceStore(new PreferencesAdapter(FortranCorePlugin.getDefault().getPluginPreferences()));
        FortranPreferences.initializeDefaults();
    }

    public void init(IWorkbench workbench) {
    }

    protected void addField(FieldEditor editor) {
        super.addField(editor);
        editor.setPreferenceStore(this.getPreferenceStore());
    }

    public boolean performOk() {
        if (!super.performOk())
            return false;
        FortranPreferences.savePreferenceStore();
        return true;
    }

    /**
     * Copied from org.eclipse.cdt.internal.ui.text.PreferencesAdapter
     * 
     * Adapts {@link org.eclipse.core.runtime.Preferences} to
     * {@link org.eclipse.jface.preference.IPreferenceStore}
     * 
     * @since 3.0
     */
    public static 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);
        }
    }
}