org.codehaus.groovy.tools.shell.util
Class Preferences

java.lang.Object
  extended by org.codehaus.groovy.tools.shell.util.Preferences

public class Preferences
extends Object

Container for shell preferences.

Version:
$Id: Preferences.java 8413 2007-10-07 05:31:24Z user57 $
Author:
Jason Dillon

Field Summary
static boolean sanitizeStackTrace
           
static boolean showLastResult
           
static IO.Verbosity verbosity
           
 
Constructor Summary
Preferences()
           
 
Method Summary
static void addChangeListener(PreferenceChangeListener listener)
           
static void clear()
           
static String get(String name)
           
static String get(String name, String defaultValue)
           
static String[] keys()
           
static void put(String name, String value)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

verbosity

public static IO.Verbosity verbosity

showLastResult

public static boolean showLastResult

sanitizeStackTrace

public static boolean sanitizeStackTrace
Constructor Detail

Preferences

public Preferences()
Method Detail

keys

public static String[] keys()
                     throws BackingStoreException
Throws:
BackingStoreException

get

public static String get(String name,
                         String defaultValue)

get

public static String get(String name)

put

public static void put(String name,
                       String value)

clear

public static void clear()
                  throws BackingStoreException
Throws:
BackingStoreException

addChangeListener

public static void addChangeListener(PreferenceChangeListener listener)

Copyright © 2003-2008 The Codehaus. All rights reserved.