public interface PropertyFileHandler
| Modifier and Type | Method and Description |
|---|---|
boolean |
delete() |
void |
delete(String m) |
boolean |
exists() |
String |
get(String m) |
Properties |
getAll() |
File |
getFile(boolean create) |
String |
getPath() |
void |
save(String m,
String value) |
void |
saveAll(Properties properties) |
void delete(String m) throws ConfigurationError
ConfigurationErrorboolean delete()
boolean exists()
String get(String m) throws ConfigurationError
ConfigurationErrorProperties getAll() throws ConfigurationError
ConfigurationErrorFile getFile(boolean create) throws IOException
IOExceptionString getPath()
void save(String m, String value) throws ConfigurationError
ConfigurationErrorvoid saveAll(Properties properties) throws ConfigurationError
ConfigurationErrorCopyright © 2015–2020 52°North Initiative for Geospatial Open Source Software GmbH. All rights reserved.