The Meta-Environment API

nl.cwi.sen1.util
Class Preferences

java.lang.Object
  extended by 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
 

Field Detail

properties

private java.util.Properties properties
Constructor Detail

Preferences

public Preferences(java.io.InputStream propertyStream)
Method Detail

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)

The Meta-Environment API