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, getConfigurationpublic java.util.Properties prop
public java.net.URL filename
public PropertyConfiguration()
public boolean getBoolean(java.lang.String key)
ConfigurationgetBoolean in class Configurationkey - one of the boolean constants defined in this classConfiguration.getBoolean(String)public int getInteger(java.lang.String key)
ConfigurationgetInteger in class Configurationkey - one of the integer constants defined in this classConfiguration.getInteger(String)public void setBoolean(java.lang.String key,
boolean value)
ConfigurationsetBoolean in class Configurationkey - 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)
ConfigurationsetInteger in class Configurationkey - one of the integer constants defined in this classvalue - new integer value of the constantConfiguration.setInteger(String, int)public void save()