blob: 2c695dba0802e53acdbc55de4c825ddc4d4dc23a [file] [log] [blame]
/*
* Copyright 2003-2007 the original author or authors.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package org.codehaus.groovy.tools.shell.util;
import java.util.prefs.BackingStoreException;
import java.util.prefs.PreferenceChangeListener;
import java.util.prefs.PreferenceChangeEvent;
import org.codehaus.groovy.tools.shell.IO;
/**
* Container for shell preferences.
*
* @version $Id$
* @author <a href="mailto:jason@planet57.com">Jason Dillon</a>
*/
public class Preferences
{
private static final java.util.prefs.Preferences STORE = java.util.prefs.Preferences.userRoot().node("/org/codehaus/groovy/tools/shell");
public static IO.Verbosity verbosity;
static {
String tmp = STORE.get("verbosity", IO.Verbosity.INFO.name);
try {
verbosity = IO.Verbosity.forName(tmp);
}
catch (IllegalArgumentException e) {
verbosity = IO.Verbosity.INFO;
STORE.remove("verbosity");
}
addChangeListener(new PreferenceChangeListener() {
public void preferenceChange(final PreferenceChangeEvent event) {
if (event.getKey().equals("verbosity")) {
String name = event.getNewValue();
if (name == null) {
name = IO.Verbosity.INFO.name;
}
try {
verbosity = IO.Verbosity.forName(name);
}
catch (Exception e) {
event.getNode().put(event.getKey(), verbosity.name);
}
}
}
});
}
public static boolean showLastResult = STORE.getBoolean("show-last-result", true);
public static boolean sanitizeStackTrace = STORE.getBoolean("sanitize-stack-trace", true);
public static String[] keys() throws BackingStoreException {
return STORE.keys();
}
public static String get(final String name, final String defaultValue) {
return STORE.get(name, defaultValue);
}
public static String get(final String name) {
return get(name, null);
}
public static void put(final String name, final String value) {
STORE.put(name, value);
}
public static void clear() throws BackingStoreException {
STORE.clear();
}
public static void addChangeListener(final PreferenceChangeListener listener) {
STORE.addPreferenceChangeListener(listener);
}
}