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

ConcurrentWeakInterner

class ConcurrentWeakInterner<T : KInternedObject> : ConcurrentWeakHashMapCache<T, Any>

Constructors

ConcurrentWeakInterner

fun ConcurrentWeakInterner()

Types

object Companion

Functions

addRemoveHandler

fun addRemoveHandler(handler: CacheRemoveHandler<T, Any>)

fun get(key: T): Any?

fun intern(obj: T): T

fun internKey(key: T, valueStub: Any): T

open override fun lookupKey(key: T): Any

open override fun newNode(key: T, referenceQueue: ReferenceQueue<T>, value: Any, hash: Int): ConcurrentWeakHashMapCache.KeyRefNode<T, Any>

fun put(key: T, value: Any, onlyIfAbsent: Boolean): Any?