Class Preferences
java.lang.Object
org.codehaus.groovy.tools.shell.util.Preferences
public class Preferences
extends java.lang.Object
Container for shell preferences.
-
Field Summary
Fields Modifier and Type Field Description static java.lang.StringEDITOR_KEYstatic java.lang.StringPARSER_FLAVOR_KEYstatic java.lang.StringPARSER_RELAXEDstatic java.lang.StringPARSER_RIGIDstatic java.lang.StringSANITIZE_STACK_TRACE_KEYstatic java.lang.StringSHOW_LAST_RESULT_KEYstatic IO.Verbosityverbositystatic java.lang.StringVERBOSITY_KEY -
Constructor Summary
Constructors Constructor Description Preferences() -
Method Summary
Modifier and Type Method Description static voidaddChangeListener(java.util.prefs.PreferenceChangeListener listener)static voidclear()static java.lang.Stringget(java.lang.String name)static java.lang.Stringget(java.lang.String name, java.lang.String defaultValue)static java.lang.StringgetEditor()static java.lang.StringgetParserFlavor()static booleangetSanitizeStackTrace()static booleangetShowLastResult()static java.lang.String[]keys()static voidput(java.lang.String name, java.lang.String value)Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Field Details
-
verbosity
-
VERBOSITY_KEY
public static final java.lang.String VERBOSITY_KEY- See Also:
- Constant Field Values
-
SHOW_LAST_RESULT_KEY
public static final java.lang.String SHOW_LAST_RESULT_KEY- See Also:
- Constant Field Values
-
SANITIZE_STACK_TRACE_KEY
public static final java.lang.String SANITIZE_STACK_TRACE_KEY- See Also:
- Constant Field Values
-
EDITOR_KEY
public static final java.lang.String EDITOR_KEY- See Also:
- Constant Field Values
-
PARSER_FLAVOR_KEY
public static final java.lang.String PARSER_FLAVOR_KEY- See Also:
- Constant Field Values
-
PARSER_RIGID
public static final java.lang.String PARSER_RIGID- See Also:
- Constant Field Values
-
PARSER_RELAXED
public static final java.lang.String PARSER_RELAXED- See Also:
- Constant Field Values
-
-
Constructor Details
-
Preferences
public Preferences()
-
-
Method Details
-
getShowLastResult
public static boolean getShowLastResult() -
getSanitizeStackTrace
public static boolean getSanitizeStackTrace() -
getEditor
public static java.lang.String getEditor() -
getParserFlavor
public static java.lang.String getParserFlavor() -
keys
public static java.lang.String[] keys() throws java.util.prefs.BackingStoreException- Throws:
java.util.prefs.BackingStoreException
-
get
public static java.lang.String get(java.lang.String name, java.lang.String defaultValue) -
get
public static java.lang.String get(java.lang.String name) -
put
public static void put(java.lang.String name, java.lang.String value) -
clear
public static void clear() throws java.util.prefs.BackingStoreException- Throws:
java.util.prefs.BackingStoreException
-
addChangeListener
public static void addChangeListener(java.util.prefs.PreferenceChangeListener listener)
-