miralib.utils

Class Settings

java.lang.Object

miralib.utils.Settings

public class Settings
extends java.lang.Object

Generic class to store program preferences.

Constructor Summary

Constructors

Constructor and Description
Settings(java.io.File file)

Method Summary

Methods

Modifier and Type	Method and Description
void	cleanup()
void	cleanup(java.lang.String pkey)
java.lang.String	get(java.lang.String attribute, java.lang.String dflt)
boolean	getBoolean(java.lang.String attribute, boolean dflt)
java.awt.Color	getColor(java.lang.String attribute, java.awt.Color dflt)
float	getFloat(java.lang.String attribute, float dflt)
java.awt.Font	getFont(java.lang.String attr, java.lang.String dflt)
int	getInteger(java.lang.String attribute, int dflt)
static java.lang.String	hex(int value, int digits)
void	load()
void	save()
void	set(java.lang.String attribute, java.lang.String value)
void	setBoolean(java.lang.String attribute, boolean value)
void	setColor(java.lang.String attr, java.awt.Color what)
void	setFloat(java.lang.String key, float value)
void	setInteger(java.lang.String key, int value)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Settings

public Settings(java.io.File file)
         throws java.io.IOException

Throws:

java.io.IOException

Method Detail

load

public void load()

save

public void save()

cleanup

public void cleanup()

cleanup

public void cleanup(java.lang.String pkey)

get

public java.lang.String get(java.lang.String attribute,
                   java.lang.String dflt)

set

public void set(java.lang.String attribute,
       java.lang.String value)

getBoolean

public boolean getBoolean(java.lang.String attribute,
                 boolean dflt)

setBoolean

public void setBoolean(java.lang.String attribute,
              boolean value)

getInteger

public int getInteger(java.lang.String attribute,
             int dflt)

setInteger

public void setInteger(java.lang.String key,
              int value)

getFloat

public float getFloat(java.lang.String attribute,
             float dflt)

setFloat

public void setFloat(java.lang.String key,
            float value)

getColor

public java.awt.Color getColor(java.lang.String attribute,
                      java.awt.Color dflt)

setColor

public void setColor(java.lang.String attr,
            java.awt.Color what)

getFont

public java.awt.Font getFont(java.lang.String attr,
                    java.lang.String dflt)

hex

public static final java.lang.String hex(int value,
                   int digits)