Class NamedCharTable
java.lang.Object
A table to manage standard character names.
This is conceptually a
HashMap<String,String>, except that
the value strings are allocated lazily when the key is first requested.
(Not sure if this is worth a separate class, but the code is
simple, it should make startup faster, and save having to
intern over 2200 value strings.)-
Nested Class Summary
Nested classes/interfaces inherited from class AbstractMap
AbstractMap.SimpleEntry<K,V>, AbstractMap.SimpleImmutableEntry<K, V> -
Field Summary
Fields inherited from class AbstractHashTable
DEFAULT_INITIAL_SIZE, mask, num_bindings, table -
Constructor Summary
Constructors -
Method Summary
Methods inherited from class GeneralHashTable
allocEntries, getEntryHashCode, getEntryNext, getNode, setEntryNextMethods inherited from class AbstractHashTable
clear, entrySet, get, get, getOrDefault, hash, hashToIndex, matches, matches, put, put, rehash, remove, sizeMethods inherited from class AbstractMap
clone, containsKey, containsValue, equals, hashCode, isEmpty, keySet, putAll, toString, valuesMethods inherited from interface Map
compute, computeIfAbsent, computeIfPresent, forEach, merge, putIfAbsent, remove, replace, replace, replaceAll
-
Constructor Details
-
NamedCharTable
public NamedCharTable()
-
-
Method Details
-
makeEntry
Description copied from class:GeneralHashTableAllocate a new node in the hash table.- Overrides:
makeEntryin classGeneralHashTable<String,String>
-
appendTo
-
put
-
put
-