public interface IPrefsStorage
Modifier and Type | Method and Description |
---|---|
boolean |
getBooleanProperty(java.lang.String propertyname,
boolean defaultvalue)
get a boolean property
|
java.awt.Dimension |
getDimension(java.lang.String propertyName) |
double |
getDoubleProperty(java.lang.String propertyname,
double defaultvalue)
get a double property
|
java.io.File |
getFileProperty(java.lang.String propertyname,
java.io.File defaultvalue)
get a file property
|
int |
getIntegerProperty(java.lang.String propertyname,
int defaultvalue)
get an integer
|
java.awt.Point |
getPoint(java.lang.String propertyName) |
java.lang.String |
getStringProperty(java.lang.String propertyname,
java.lang.String defaultvalue)
get a string property
|
void |
load()
Cette fonction lit les propriétés stockées dans le fichier de propriétés
|
void |
save()
Sauvegarde les propriétés
|
void |
setBooleanProperty(java.lang.String propertyname,
boolean value)
define a boolean
|
void |
setDimension(java.lang.String propertyname,
java.awt.Dimension dimension) |
void |
setDoubleProperty(java.lang.String propertyname,
double value)
set a double property
|
void |
setFileProperty(java.lang.String propertyname,
java.io.File value)
define a file property
|
void |
setIntegerProperty(java.lang.String propertyname,
int value)
define an integer
|
void |
setPoint(java.lang.String propertyName,
java.awt.Point point) |
void |
setStringProperty(java.lang.String propertyname,
java.lang.String value)
set a string property
|
void load() throws java.io.IOException
java.io.IOException
void save()
java.io.IOException
boolean getBooleanProperty(java.lang.String propertyname, boolean defaultvalue)
propertyname
- defaultvalue
- int getIntegerProperty(java.lang.String propertyname, int defaultvalue)
propertyname
- defaultvalue
- void setIntegerProperty(java.lang.String propertyname, int value)
propertyname
- value
- void setBooleanProperty(java.lang.String propertyname, boolean value)
propertyname
- value
- java.io.File getFileProperty(java.lang.String propertyname, java.io.File defaultvalue)
propertyname
- defaultvalue
- void setFileProperty(java.lang.String propertyname, java.io.File value)
propertyname
- value
- java.lang.String getStringProperty(java.lang.String propertyname, java.lang.String defaultvalue)
propertyname
- defaultvalue
- void setStringProperty(java.lang.String propertyname, java.lang.String value)
propertyname
- value
- void setDoubleProperty(java.lang.String propertyname, double value)
propertyname
- value
- double getDoubleProperty(java.lang.String propertyname, double defaultvalue)
propertyname
- defaultvalue
- void setDimension(java.lang.String propertyname, java.awt.Dimension dimension)
java.awt.Dimension getDimension(java.lang.String propertyName)
java.awt.Point getPoint(java.lang.String propertyName)
void setPoint(java.lang.String propertyName, java.awt.Point point)