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