|
|||||||||||
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
- StringMethod Detail |
public java.util.Properties getProperties()
getProperties
in interface PropertyManager
PropertyManager.getProperties()
public java.lang.String getProperty(java.lang.String key)
getProperty
in interface PropertyManager
key
- The property key
PropertyManager.getProperty(java.lang.String)
public java.lang.String getProperty(java.lang.String key, java.lang.String defaultValue)
getProperty
in interface PropertyManager
key
- 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 |