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
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 Details
-
verbosity
-
VERBOSITY_KEY
- See Also:
- Constant Field Values
-
SHOW_LAST_RESULT_KEY
- See Also:
- Constant Field Values
-
SANITIZE_STACK_TRACE_KEY
- See Also:
- Constant Field Values
-
EDITOR_KEY
- See Also:
- Constant Field Values
-
PARSER_FLAVOR_KEY
- See Also:
- Constant Field Values
-
PARSER_RIGID
- See Also:
- Constant Field Values
-
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
-
getParserFlavor
-
keys
- Throws:
BackingStoreException
-
get
-
get
-
put
-
clear
- Throws:
BackingStoreException
-
addChangeListener
-