public interface _PropertiesOperationsNC
| Modifier and Type | Method and Description |
|---|---|
Properties |
_clone()
Create a copy of this property set.
|
java.lang.String[] |
getCommandLineOptions()
Get a sequence of command-line options that is equivalent to
this property set.
|
java.util.Map<java.lang.String,java.lang.String> |
getPropertiesForPrefix(java.lang.String prefix)
Get all properties whose keys begins with
prefix.
|
java.lang.String |
getProperty(java.lang.String key)
Get a property by key.
|
int |
getPropertyAsInt(java.lang.String key)
Get a property as an integer.
|
int |
getPropertyAsIntWithDefault(java.lang.String key,
int value)
Get a property as an integer.
|
java.lang.String[] |
getPropertyAsList(java.lang.String key)
Get a property as a list of strings.
|
java.lang.String[] |
getPropertyAsListWithDefault(java.lang.String key,
java.lang.String[] value)
Get a property as a list of strings.
|
java.lang.String |
getPropertyWithDefault(java.lang.String key,
java.lang.String value)
Get a property by key.
|
void |
load(java.lang.String file)
Load properties from a file.
|
java.lang.String[] |
parseCommandLineOptions(java.lang.String prefix,
java.lang.String[] options)
Convert a sequence of command-line options into properties.
|
java.lang.String[] |
parseIceCommandLineOptions(java.lang.String[] options)
Convert a sequence of command-line options into properties.
|
void |
setProperty(java.lang.String key,
java.lang.String value)
Set a property.
|
java.lang.String getProperty(java.lang.String key)
key - The property key.setProperty(java.lang.String, java.lang.String)java.lang.String getPropertyWithDefault(java.lang.String key,
java.lang.String value)
key - The property key.value - The default value to use if the property does not
exist.setProperty(java.lang.String, java.lang.String)int getPropertyAsInt(java.lang.String key)
key - The property key.setProperty(java.lang.String, java.lang.String)int getPropertyAsIntWithDefault(java.lang.String key,
int value)
key - The property key.value - The default value to use if the property does not
exist.setProperty(java.lang.String, java.lang.String)java.lang.String[] getPropertyAsList(java.lang.String key)
key - The property key.setProperty(java.lang.String, java.lang.String)java.lang.String[] getPropertyAsListWithDefault(java.lang.String key,
java.lang.String[] value)
key - The property key.value - The default value to use if the property is not set.setProperty(java.lang.String, java.lang.String)java.util.Map<java.lang.String,java.lang.String> getPropertiesForPrefix(java.lang.String prefix)
prefix - The prefix to search for (empty string if none).void setProperty(java.lang.String key,
java.lang.String value)
key - The property key.value - The property value.getProperty(java.lang.String)java.lang.String[] getCommandLineOptions()
java.lang.String[] parseCommandLineOptions(java.lang.String prefix,
java.lang.String[] options)
prefix - The property prefix, or an empty string to
convert all options starting with --.options - The command-line options.java.lang.String[] parseIceCommandLineOptions(java.lang.String[] options)
options - The command-line options.void load(java.lang.String file)
file - The property file.Properties _clone()