Class Preferences
- java.lang.Object
-
- org.codehaus.groovy.tools.shell.util.Preferences
-
public class Preferences extends java.lang.ObjectContainer 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
All Methods Static Methods Concrete Methods 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)
-
-
-
Field Detail
-
verbosity
public static IO.Verbosity 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
-
-
Method Detail
-
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)
-
-