public class PropertyConfiguration extends Configuration
configuration.properties
file.Modifier and Type | Field and Description |
---|---|
java.net.URL |
filename
The name of the file containing spell engine properties
|
java.util.Properties |
prop
The persistent set of properties supported by the spell engine
|
COST_CHANGE_CASE, COST_INSERT_CHAR, COST_REMOVE_CHAR, COST_SUBST_CHARS, COST_SWAP_CHARS, SPELL_IGNOREDIGITWORDS, SPELL_IGNOREINTERNETADDRESSES, SPELL_IGNOREMIXEDCASE, SPELL_IGNOREMULTIPLEWORDS, SPELL_IGNORESENTENCECAPITALIZATION, SPELL_IGNOREUPPERCASE, SPELL_THRESHOLD
Constructor and Description |
---|
PropertyConfiguration()
Constructs and loads spell engine properties configuration.
|
Modifier and Type | Method and Description |
---|---|
boolean |
getBoolean(java.lang.String key)
Gets one of the boolean constants
|
int |
getInteger(java.lang.String key)
Gets one of the integer constants
|
void |
save()
Writes the property list (key and element pairs) in the
PropertyConfiguration file.
|
void |
setBoolean(java.lang.String key,
boolean value)
Sets one of the boolean constants
|
void |
setInteger(java.lang.String key,
int value)
Sets one of the integer constants
|
getConfiguration, getConfiguration
public java.util.Properties prop
public java.net.URL filename
public PropertyConfiguration()
public boolean getBoolean(java.lang.String key)
Configuration
getBoolean
in class Configuration
key
- one of the boolean constants defined in this classConfiguration.getBoolean(String)
public int getInteger(java.lang.String key)
Configuration
getInteger
in class Configuration
key
- one of the integer constants defined in this classConfiguration.getInteger(String)
public void setBoolean(java.lang.String key, boolean value)
Configuration
setBoolean
in class Configuration
key
- one of the boolean constants defined in this classvalue
- new boolean value of this settingConfiguration.setBoolean(String, boolean)
public void setInteger(java.lang.String key, int value)
Configuration
setInteger
in class Configuration
key
- one of the integer constants defined in this classvalue
- new integer value of the constantConfiguration.setInteger(String, int)
public void save()