diff options
Diffstat (limited to 'plugins/org.eclipse.jst.jee/earproject/org/eclipse/jst/jee/JEEPreferences.java')
-rw-r--r-- | plugins/org.eclipse.jst.jee/earproject/org/eclipse/jst/jee/JEEPreferences.java | 117 |
1 files changed, 0 insertions, 117 deletions
diff --git a/plugins/org.eclipse.jst.jee/earproject/org/eclipse/jst/jee/JEEPreferences.java b/plugins/org.eclipse.jst.jee/earproject/org/eclipse/jst/jee/JEEPreferences.java deleted file mode 100644 index 345480efe..000000000 --- a/plugins/org.eclipse.jst.jee/earproject/org/eclipse/jst/jee/JEEPreferences.java +++ /dev/null @@ -1,117 +0,0 @@ -/******************************************************************************* - * Copyright (c) 2003, 2007 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 - *******************************************************************************/ -/* - * Created on Jan 26, 2004 - * - * To change the template for this generated file go to Window - Preferences - Java - Code - * Generation - Code and Comments - */ -package org.eclipse.jst.jee; - -import org.eclipse.core.runtime.Plugin; -import org.eclipse.core.runtime.Preferences; - - -/** - * @author mdelder - */ -public class JEEPreferences { - - public interface Keys { - - - - } - - - - - - private Plugin owner = null; - private Preferences preferences = null; - private boolean persistOnChange = false; - - public JEEPreferences(Plugin owner) { - this.owner = owner; - } - - protected void initializeDefaultPreferences() { - - // placeholder - // we had to move generate_dd to jst.j2ee as jst.jee is not in the pre-req of many plug-ins - } - - - - - - - public void firePreferenceChanged() { - if (isPersistOnChange()) - persist(); - } - - public void persist() { - getOwner().savePluginPreferences(); - } - - /** - * @return Returns the persistOnChange. - */ - public boolean isPersistOnChange() { - return this.persistOnChange; - } - - /** - * @param persistOnChange - * The persistOnChange to set. - */ - public void setPersistOnChange(boolean persistOnChange) { - this.persistOnChange = persistOnChange; - } - - public Preferences getPreferences() { - if (this.preferences == null) - this.preferences = getOwner().getPluginPreferences(); - return this.preferences; - } - - /** - * @return Returns the owner. - */ - private Plugin getOwner() { - return this.owner; - } - - /** - * Returns the current value of the boolean-valued property with the - * given name. - * The given name must not be <code>null</code>. - * - * @param name the name of the property - * @return the boolean-valued property - */ - public boolean getBoolean(String name) { - return getPreferences().getBoolean(name); - } - - /** - * Sets the current value of the boolean-valued property with the - * given name. The given name must not be <code>null</code>. - * @param name the name of the property - * @param value the new current value of the property - */ - public void setValue(String name, boolean value) { - getPreferences().setValue(name, value); - firePreferenceChanged(); - } - -} |