ksmt-core/io.ksmt.cache.weak/ConcurrentWeakHashMapCache/KeyRefNode

KeyRefNode

abstract class KeyRefNode<K : Any, V : Any>(keyRef: Reference<K>)

Constructors

fun <K : Any> KeyRefNode(keyRef: Reference<K>)

Types

object Companion

Functions

fun die()

fun getKey(): K?

getKeyReference

fun getKeyReference(): Any

abstract fun getValue(): V

fun isAlive(): Boolean

abstract fun setValue(value: V)