nl.cwi.sen1.util
Class Preferences
java.lang.Object
nl.cwi.sen1.util.Preferences
public class Preferences
- extends java.lang.Object
Field Summary |
private java.util.Properties |
properties
|
Constructor Summary |
Preferences(java.io.InputStream propertyStream)
|
Method Summary |
private java.util.Properties |
addUserProperties(java.util.Properties defaultProperties)
|
boolean |
getBoolean(java.lang.String key)
|
java.awt.Color |
getColor(java.lang.String key)
|
double |
getDouble(java.lang.String key)
|
float |
getFloat(java.lang.String key)
|
java.awt.Font |
getFont(java.lang.String key)
|
javax.swing.Icon |
getIcon(java.lang.String key)
|
int |
getInt(java.lang.String key)
|
java.lang.String |
getString(java.lang.String key)
|
private java.util.Properties |
loadProperties(java.util.Properties props,
java.io.InputStream stream)
|
private java.util.Properties |
readDefaultProperties(java.io.InputStream stream)
|
void |
setString(java.lang.String key,
java.lang.String value)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
properties
private java.util.Properties properties
Preferences
public Preferences(java.io.InputStream propertyStream)
readDefaultProperties
private java.util.Properties readDefaultProperties(java.io.InputStream stream)
addUserProperties
private java.util.Properties addUserProperties(java.util.Properties defaultProperties)
loadProperties
private java.util.Properties loadProperties(java.util.Properties props,
java.io.InputStream stream)
getString
public java.lang.String getString(java.lang.String key)
setString
public void setString(java.lang.String key,
java.lang.String value)
getColor
public java.awt.Color getColor(java.lang.String key)
getFont
public java.awt.Font getFont(java.lang.String key)
getIcon
public javax.swing.Icon getIcon(java.lang.String key)
getInt
public int getInt(java.lang.String key)
getDouble
public double getDouble(java.lang.String key)
getFloat
public float getFloat(java.lang.String key)
getBoolean
public boolean getBoolean(java.lang.String key)