public class EV3Properties
extends java.util.Properties
Constructor and Description |
---|
EV3Properties()
Searches the property file.
|
Modifier and Type | Method and Description |
---|---|
double |
getDoubleValue(java.lang.String key)
Gets the property value with the given key as double.
|
int |
getIntValue(java.lang.String key)
Gets the property value with the given key as int.
|
java.lang.String |
getResourceInfo()
Returns the location of the property file.
|
java.lang.String |
getStringValue(java.lang.String key)
Gets the property value with the given key as string.
|
getProperty, getProperty, list, list, load, load, loadFromXML, propertyNames, save, setProperty, store, store, storeToXML, storeToXML, stringPropertyNames
public EV3Properties()
public java.lang.String getResourceInfo()
public java.lang.String getStringValue(java.lang.String key)
key
- the key of the propertypublic int getIntValue(java.lang.String key)
key
- the key of the propertypublic double getDoubleValue(java.lang.String key)
key
- the key of the property