data class DictionaryReference : Dictionary
References a dictionary by its properties.
Using a reference, each access goes through the cache first, so that outdated instances of a dictionary (i.e. those flushed when clearing the cache) are not used anymore. This ensures that only the latest instance of that dictionary is used, which is important when a dictionary has to be used both before and after clearing a cache.
DictionaryReference(isBundled: Boolean, filename: String)
References a dictionary by its properties. |
var filename: String
The filename of the referred-to dictionary. |
|
val isBundled: Boolean
True if this dictionary refers to a BundledDictionary. |
|
val referent: Dictionary
The dictionary that is referred to by this reference, as fetched from the cache. |
|
val words: Set<String>
The words in the dictionary. |
fun toString(): String |
|
fun validate(): Unit
Throws an InvalidDictionaryException iff this dictionary is currently invalid. |
open fun isValid(): Boolean
Returns |
const val DICTIONARY_CAST_EXCEPTION: String
The error message that is displayed if an unknown dictionary implementation is used. |
fun to(dictionary: Dictionary): DictionaryReference
Returns a reference to the given dictionary. |