cz.cuni.mff.mirovsky.properties
Class PropertiesManager

java.lang.Object
  cz.cuni.mff.mirovsky.properties.PropertiesManager

public class PropertiesManager
extends java.lang.Object

An object for keeping and changing properties.

Constructor Summary

PropertiesManager()

PropertiesManager(Properties properties)

PropertiesManager(Properties properties, ShowMessagesAble p_mess)

PropertiesManager(ShowMessagesAble p_mess)

Method Summary

Properties	getOriginalProperties()
Properties	getProperties()
Property	getProperty(java.lang.String section_name, java.lang.String property_name)
PropertiesSection	getSection(java.lang.String section_name)
void	loadProperties(java.lang.String source_location, java.lang.String source_name)
static void	mergeProperties(Properties target, Properties addition)
void	mergeToActualProperties(Properties addition)
void	removeProperty(Property property)
void	removeProperty(java.lang.String section_name, java.lang.String property_name)
void	restoreOriginalProperties()
void	saveProperties(java.lang.String source_location, java.lang.String source_name)
void	setOriginalProperties(Properties properties)
void	setProperties(Properties properties)
void	setProperty(Property property)
void	setPropertyValue(java.lang.String section_name, java.lang.String property_name, java.lang.String property_value)
void	storeOriginalProperties()

Methods inherited from class java.lang.Object

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

Constructor Detail

PropertiesManager

public PropertiesManager()

PropertiesManager

public PropertiesManager(ShowMessagesAble p_mess)

PropertiesManager

public PropertiesManager(Properties properties)

PropertiesManager

public PropertiesManager(Properties properties,
                         ShowMessagesAble p_mess)

Method Detail

setProperties

public void setProperties(Properties properties)

setProperty

public void setProperty(Property property)

setPropertyValue

public void setPropertyValue(java.lang.String section_name,
                             java.lang.String property_name,
                             java.lang.String property_value)

getProperties

public Properties getProperties()

getProperty

public Property getProperty(java.lang.String section_name,
                            java.lang.String property_name)

setOriginalProperties

public void setOriginalProperties(Properties properties)

getOriginalProperties

public Properties getOriginalProperties()

restoreOriginalProperties

public void restoreOriginalProperties()

storeOriginalProperties

public void storeOriginalProperties()

mergeProperties

public static void mergeProperties(Properties target,
                                   Properties addition)

mergeToActualProperties

public void mergeToActualProperties(Properties addition)

getSection

public PropertiesSection getSection(java.lang.String section_name)

removeProperty

public void removeProperty(Property property)

removeProperty

public void removeProperty(java.lang.String section_name,
                           java.lang.String property_name)

loadProperties

public void loadProperties(java.lang.String source_location,
                           java.lang.String source_name)

saveProperties

public void saveProperties(java.lang.String source_location,
                           java.lang.String source_name)