public class DictionaryManager
extends java.lang.Object
Constructor and Description |
---|
DictionaryManager(java.io.File dir)
Creates a new instance of DictionaryManager.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<java.lang.String> |
getDictionaryNameList(java.util.List<java.lang.String> aList)
returns a list of full names of dictionaries from a dictionary code list
|
java.lang.String |
getDirectory()
returns the dictionary directory
|
java.util.List<java.lang.String> |
getInstallableDictionaryCodeList()
returns a list of codes (xx_YY) of installable dictionaries
|
java.util.List<java.lang.String> |
getInstallableDictionaryNameList()
return a list of names of installable dictionaries (e.g.
|
java.util.List<java.lang.String> |
getLocalDictionaryCodeList()
returns a list of available dictionaries in the xx_YY form
|
java.util.List<java.lang.String> |
getLocalDictionaryNameList()
return a list of full names of the local dictionaries
|
void |
installRemoteDictionary(java.lang.String langCode)
installs a remote dictionary by downloading the corresponding zip file
from the net and by installing the aff and dic file to the dictionary
directory.
|
boolean |
uninstallDictionary(java.lang.String lang)
Uninstall (delete) a given dictionary from the dictionary directory
|
public DictionaryManager(java.io.File dir)
dir
- : the directory where the spell checking dictionary files
(*.(aff|dic) are available locallypublic java.lang.String getDirectory()
public java.util.List<java.lang.String> getDictionaryNameList(java.util.List<java.lang.String> aList)
public java.util.List<java.lang.String> getLocalDictionaryNameList()
public java.util.List<java.lang.String> getLocalDictionaryCodeList()
public boolean uninstallDictionary(java.lang.String lang)
lang
- : the language code (xx_YY) of the dictionary to be deletedpublic java.util.List<java.lang.String> getInstallableDictionaryNameList() throws java.io.IOException
java.io.IOException
public java.util.List<java.lang.String> getInstallableDictionaryCodeList() throws java.io.IOException
java.io.IOException
public void installRemoteDictionary(java.lang.String langCode) throws java.io.IOException
langCode
- : the language code (xx_YY)java.io.IOException