1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
| class GUIProperties extends Properties {
public String getStringProperty(String key) {
String s = getProperty(key);
return s;
}
public int getIntProperty(String key) {
String s = getProperty(key);
try {
return Integer.valueOf(s).intValue();
} catch (NumbeFormatException nfe) {
log.error("clé : " + key + ", format d'entier incorrect : " + s, nfe);
throw nfe;
}
}
public boolean getBooleanProperty(String key) {
String s = getProperty(key);
return Boolean.valueOf(s).booleanValue();
}
... |
Partager