|
Groovy Documentation | |||||||
FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.codehaus.groovy.tools.shell.util.Preferences
public class Preferences extends java.lang.Object
Container for shell preferences.
Field Summary | |
---|---|
static java.lang.String |
EDITOR_KEY
|
static java.lang.String |
PARSER_FLAVOR_KEY
|
static java.lang.String |
PARSER_RELAXED
|
static java.lang.String |
PARSER_RIGID
|
static java.lang.String |
SANITIZE_STACK_TRACE_KEY
|
static java.lang.String |
SHOW_LAST_RESULT_KEY
|
static java.lang.String |
VERBOSITY_KEY
|
static Verbosity |
verbosity
|
Method Summary | |
---|---|
static void
|
addChangeListener(java.util.prefs.PreferenceChangeListener listener)
|
static void
|
clear()
|
static java.lang.String
|
get(java.lang.String name, java.lang.String defaultValue)
|
static java.lang.String
|
get(java.lang.String name)
|
static java.lang.String
|
getEditor()
|
static java.lang.String
|
getParserFlavor()
|
static boolean
|
getSanitizeStackTrace()
|
static boolean
|
getShowLastResult()
|
static java.lang.String[]
|
keys()
|
static void
|
put(java.lang.String name, java.lang.String value)
|
Methods inherited from class java.lang.Object | |
---|---|
java.lang.Object#wait(long, int), java.lang.Object#wait(long), java.lang.Object#wait(), java.lang.Object#equals(java.lang.Object), java.lang.Object#toString(), java.lang.Object#hashCode(), java.lang.Object#getClass(), java.lang.Object#notify(), java.lang.Object#notifyAll() |
Field Detail |
---|
public static final java.lang.String EDITOR_KEY
public static final java.lang.String PARSER_FLAVOR_KEY
public static final java.lang.String PARSER_RELAXED
public static final java.lang.String PARSER_RIGID
public static final java.lang.String SANITIZE_STACK_TRACE_KEY
public static final java.lang.String SHOW_LAST_RESULT_KEY
public static final java.lang.String VERBOSITY_KEY
public static Verbosity verbosity
Method Detail |
---|
public static void addChangeListener(java.util.prefs.PreferenceChangeListener listener)
public static void clear()
public static java.lang.String get(java.lang.String name, java.lang.String defaultValue)
public static java.lang.String get(java.lang.String name)
public static java.lang.String getEditor()
public static java.lang.String getParserFlavor()
public static boolean getSanitizeStackTrace()
public static boolean getShowLastResult()
public static java.lang.String[] keys()
public static void put(java.lang.String name, java.lang.String value)
Groovy Documentation