|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectnet.sf.tlc.core.impl.DefaultPropertyManager
The default implementation of PropertyManager
| Constructor Summary | |
DefaultPropertyManager(java.io.File file)
|
|
DefaultPropertyManager(java.lang.String propertyFile)
|
|
| Method Summary | |
java.util.Properties |
getProperties()
(non-Javadoc) |
java.lang.String |
getProperty(java.lang.String key)
(non-Javadoc) |
java.lang.String |
getProperty(java.lang.String key,
java.lang.String defaultValue)
(non-Javadoc) |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public DefaultPropertyManager(java.io.File file)
file - Filepublic DefaultPropertyManager(java.lang.String propertyFile)
propertyFile - String| Method Detail |
public java.util.Properties getProperties()
getProperties in interface PropertyManagerPropertyManager.getProperties()public java.lang.String getProperty(java.lang.String key)
getProperty in interface PropertyManagerkey - The property key
PropertyManager.getProperty(java.lang.String)
public java.lang.String getProperty(java.lang.String key,
java.lang.String defaultValue)
getProperty in interface PropertyManagerkey - The property keydefaultValue - The value to return if the property is not found
PropertyManager.getProperty(java.lang.String, java.lang.String)
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||