ksmt-core/io.ksmt.cache/SingleThreadNoGcAstCache

SingleThreadNoGcAstCache

class SingleThreadNoGcAstCache<K : KAst, KInternedObject, V : Any> : AstCache<K, V>

Constructors

Link copied to clipboard

Functions

Link copied to clipboard
open override fun get(ast: K): V?

Find a value associated with a ast.

Link copied to clipboard
open override fun put(ast: K, value: V): V?

Store a value for the ast. Return a previously associated value or null, if nothing was associated.

Link copied to clipboard
open override fun putIfAbsent(ast: K, value: V): V?

Store a value for the ast only if nothing was previously associated. Return a previously associated value or null, if nothing was associated.

Link copied to clipboard
open override fun registerOnDeleteHandler(handler: CacheRemoveHandler<K, V>)

Register a handler which is triggered when an entry is removed from the cache.