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

ConcurrentWeakCache

class ConcurrentWeakCache<K : KInternedObject, V : Any> : ConcurrentWeakHashMapCache<K, V>

Constructors

Link copied to clipboard

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): ConcurrentWeakHashMapCache.KeyRefNode<K, V>
Link copied to clipboard
fun put(key: K, value: V, onlyIfAbsent: Boolean): V?