public final class Properties extends Object
Modifier and Type | Field and Description |
---|---|
static Properties |
ELKI_PROPERTIES
The Properties for ELKI.
|
private static Logging |
logger
Out logger
|
private Properties |
properties
Stores the properties as defined by a property-file.
|
static Pattern |
PROPERTY_SEPARATOR
The pattern to split for separate entries in a property string, which is a
",".
|
Modifier | Constructor and Description |
---|---|
private |
Properties(String filename)
Provides the properties as defined in the designated file.
|
Modifier and Type | Method and Description |
---|---|
String[] |
getProperty(String propertyName)
Provides the entries (as separated by
PROPERTY_SEPARATOR ) for a specified PropertyName. |
Set<String> |
getPropertyNames()
Get a collection of all property names in this file.
|
private static final Logging logger
public static final Pattern PROPERTY_SEPARATOR
public static final Properties ELKI_PROPERTIES
private final Properties properties
private Properties(String filename)
filename
- name of a file to provide property-definitions.public String[] getProperty(String propertyName)
PROPERTY_SEPARATOR
) for a specified PropertyName.propertyName
- the PropertyName of the property to retrievePROPERTY_SEPARATOR
) for the specified PropertyName - if the
property is undefined, the returned array is of length 0