ksmt-core/io.ksmt.cache.weak/WeakCache

WeakCache

class WeakCache<K : KInternedObject, V : Any> : WeakHashMapCache<K, V>

Constructors

Link copied to clipboard
fun WeakCache()

Functions

Link copied to clipboard
Link copied to clipboard
fun get(key: K): V?
Link copied to clipboard
fun internKey(key: K, valueStub: V): K
Link copied to clipboard
open override fun lookupKey(key: K): Any
Link copied to clipboard
open override fun newNode(key: K, referenceQueue: ReferenceQueue<K>, value: V, hash: Int): WeakHashMapCache.KeyRefNode<K, V>
Link copied to clipboard
fun put(key: K, value: V, onlyIfAbsent: Boolean): V?