de.uka.ilkd.key.proof

Class TermTacletAppIndexCacheSet.BelowProgCache

java.lang.Object

de.uka.ilkd.key.proof.PrefixTermTacletAppIndexCache

de.uka.ilkd.key.proof.PrefixTermTacletAppIndexCacheImpl

de.uka.ilkd.key.proof.TermTacletAppIndexCacheSet.BelowProgCache

All Implemented Interfaces:

ITermTacletAppIndexCache

Enclosing class:

TermTacletAppIndexCacheSet

private class TermTacletAppIndexCacheSet.BelowProgCache
extends PrefixTermTacletAppIndexCacheImpl

Nested Class Summary

Nested classes/interfaces inherited from class de.uka.ilkd.key.proof.PrefixTermTacletAppIndexCacheImpl

PrefixTermTacletAppIndexCacheImpl.CacheKey

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BelowProgCache(ImmutableList<QuantifiableVariable> prefix, java.util.Map<PrefixTermTacletAppIndexCacheImpl.CacheKey,TermTacletAppIndex> cache)

Method Summary

Modifier and Type	Method and Description
ITermTacletAppIndexCache	descend(Term t, int subtermIndex) Determine the cache that is responsible for locations within the subtermIndex'th subterm of the term t (assuming that this cache is responsible for the location of the term t).
protected java.lang.String	name() Only used for debugging purposes

Methods inherited from class de.uka.ilkd.key.proof.PrefixTermTacletAppIndexCacheImpl

getIndexForTerm, putIndexForTerm

Methods inherited from class de.uka.ilkd.key.proof.PrefixTermTacletAppIndexCache

getExtendedPrefix, getExtendedPrefix, getPrefix

Methods inherited from class java.lang.Object

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

Constructor Detail

BelowProgCache

protected BelowProgCache(ImmutableList<QuantifiableVariable> prefix,
                         java.util.Map<PrefixTermTacletAppIndexCacheImpl.CacheKey,TermTacletAppIndex> cache)

Method Detail

descend

public ITermTacletAppIndexCache descend(Term t,
                                        int subtermIndex)

Description copied from interface: ITermTacletAppIndexCache

Determine the cache that is responsible for locations within the subtermIndex'th subterm of the term t (assuming that this cache is responsible for the location of the term t). This method is used in TermTacletAppIndex when recursively constructing the index for a given term.

name

protected java.lang.String name()

Description copied from class: PrefixTermTacletAppIndexCacheImpl

Only used for debugging purposes

Specified by:

name in class PrefixTermTacletAppIndexCacheImpl