de.uka.ilkd.key.strategy

Class IfInstantiationCachePool.IfInstantiationCache

java.lang.Object

de.uka.ilkd.key.strategy.IfInstantiationCachePool.IfInstantiationCache

Enclosing class:

IfInstantiationCachePool

public static class IfInstantiationCachePool.IfInstantiationCache
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.HashMap<java.lang.Long,ImmutableList<IfFormulaInstantiation>>	antecCache
private java.util.concurrent.locks.ReentrantReadWriteLock	lock
private java.util.concurrent.locks.ReentrantReadWriteLock.ReadLock	readLock
private java.util.HashMap<java.lang.Long,ImmutableList<IfFormulaInstantiation>>	succCache
private java.util.concurrent.locks.ReentrantReadWriteLock.WriteLock	writeLock

Constructor Summary

Constructors

Constructor and Description
IfInstantiationCache()

Method Summary

Modifier and Type	Method and Description
ImmutableList<IfFormulaInstantiation>	get(boolean antec, java.lang.Long key)
void	put(boolean antec, java.lang.Long key, ImmutableList<IfFormulaInstantiation> value)
private void	reset()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

antecCache

private final java.util.HashMap<java.lang.Long,ImmutableList<IfFormulaInstantiation>> antecCache

succCache

private final java.util.HashMap<java.lang.Long,ImmutableList<IfFormulaInstantiation>> succCache

lock

private final java.util.concurrent.locks.ReentrantReadWriteLock lock

readLock

private final java.util.concurrent.locks.ReentrantReadWriteLock.ReadLock readLock

writeLock

private final java.util.concurrent.locks.ReentrantReadWriteLock.WriteLock writeLock

Constructor Detail

IfInstantiationCache

public IfInstantiationCache()

Method Detail

get

public ImmutableList<IfFormulaInstantiation> get(boolean antec,
                                                 java.lang.Long key)

put

public void put(boolean antec,
                java.lang.Long key,
                ImmutableList<IfFormulaInstantiation> value)

reset

private void reset()