class Preferences
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.Map<java.lang.String,java.lang.Object> |
allPrefs |
private static int |
DEFAULT_MAX_SCRIPT_RUN_TIME |
private java.util.Map<java.lang.String,java.lang.Object> |
immutablePrefs |
private static java.lang.String |
MAX_SCRIPT_RUN_TIME_KEY
The maximum amount of time scripts should be permitted to run.
|
private static java.util.regex.Pattern |
PREFERENCE_PATTERN
This pattern is used to parse preferences in user.js.
|
Constructor and Description |
---|
Preferences(java.io.Reader defaults) |
Preferences(java.io.Reader defaults,
java.io.File userPrefs) |
Preferences(java.io.Reader defaults,
java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
void |
addTo(FirefoxProfile profile) |
void |
addTo(Preferences prefs) |
private void |
checkPreference(java.lang.String key,
java.lang.Object value) |
private java.lang.String |
escapeValueAsPreference(java.lang.String value) |
protected java.lang.Object |
getPreference(java.lang.String key) |
private boolean |
isStringified(java.lang.String value) |
private java.lang.Object |
preferenceAsValue(java.lang.String toConvert) |
void |
putAll(java.util.Map<java.lang.String,java.lang.Object> frozenPreferences) |
private void |
readDefaultPreferences(java.io.Reader defaultsReader) |
private void |
readPreferences(java.io.Reader reader) |
void |
setPreference(java.lang.String key,
boolean value) |
void |
setPreference(java.lang.String key,
int value) |
private void |
setPreference(java.lang.String key,
java.lang.Object value) |
void |
setPreference(java.lang.String key,
java.lang.String value) |
private java.lang.String |
valueAsPreference(java.lang.Object value) |
void |
writeTo(java.io.Writer writer) |
private static final java.lang.String MAX_SCRIPT_RUN_TIME_KEY
private static final int DEFAULT_MAX_SCRIPT_RUN_TIME
private static final java.util.regex.Pattern PREFERENCE_PATTERN
private java.util.Map<java.lang.String,java.lang.Object> immutablePrefs
private java.util.Map<java.lang.String,java.lang.Object> allPrefs
public Preferences(java.io.Reader defaults)
public Preferences(java.io.Reader defaults, java.io.File userPrefs)
public Preferences(java.io.Reader defaults, java.io.Reader reader)
private void readDefaultPreferences(java.io.Reader defaultsReader)
private void setPreference(java.lang.String key, java.lang.Object value)
private void readPreferences(java.io.Reader reader) throws java.io.IOException
java.io.IOException
public void setPreference(java.lang.String key, java.lang.String value)
public void setPreference(java.lang.String key, boolean value)
public void setPreference(java.lang.String key, int value)
public void addTo(Preferences prefs)
public void addTo(FirefoxProfile profile)
public void writeTo(java.io.Writer writer) throws java.io.IOException
java.io.IOException
private java.lang.String valueAsPreference(java.lang.Object value)
private java.lang.String escapeValueAsPreference(java.lang.String value)
private java.lang.Object preferenceAsValue(java.lang.String toConvert)
protected java.lang.Object getPreference(java.lang.String key)
private boolean isStringified(java.lang.String value)
public void putAll(java.util.Map<java.lang.String,java.lang.Object> frozenPreferences)
private void checkPreference(java.lang.String key, java.lang.Object value)