public class PropertyFileManager extends Object
Constructor and Description |
---|
PropertyFileManager(File file)
loads a property file.
|
PropertyFileManager(File file,
String comment) |
PropertyFileManager(String filePath)
as for
PropertyFileManager(File) with the filePath converted to a file |
PropertyFileManager(String filePath,
String comment)
as for
PropertyFileManager(File, String) with the filePath converted to a file |
Modifier and Type | Method and Description |
---|---|
String |
getPropertyValue(String propName) |
void |
setPropertyValue(String propName,
String propValue) |
protected void |
updatePropertyFile() |
public PropertyFileManager(String filePath, String comment) throws FileNotFoundException, IOException
PropertyFileManager(File, String)
with the filePath
converted to a filefilePath
- comment
- FileNotFoundException
IOException
public PropertyFileManager(String filePath) throws FileNotFoundException, IOException
PropertyFileManager(File)
with the filePath
converted to a filefilePath
- FileNotFoundException
IOException
public PropertyFileManager(File file) throws FileNotFoundException, IOException
file
- FileNotFoundException
IOException
public PropertyFileManager(File file, String comment) throws FileNotFoundException, IOException
FileNotFoundException
IOException
protected void updatePropertyFile() throws ConfigurationUpdateException
ConfigurationUpdateException
public void setPropertyValue(String propName, String propValue) throws ConfigurationUpdateException
ConfigurationUpdateException
Copyright © 2016 ART Group, University of Rome, Tor Vergata. All rights reserved.