DictionaryReference
data class DictionaryReference(isBundled: Boolean, filename: String) : Dictionary
Content copied to clipboard
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.
Constructors
DictionaryReference
Link copied to clipboard
Types
Functions
validate
Link copied to clipboard
open override fun validate()
Content copied to clipboard
Throws an InvalidDictionaryException iff this dictionary is currently invalid.
Properties
isBundled
Link copied to clipboard
True if this dictionary refers to a BundledDictionary.
referent
Link copied to clipboard
Sources
jvm source
Link copied to clipboard