de.uka.ilkd.key.proof

Interface ITermTacletAppIndexCache

All Known Implementing Classes:

PrefixTermTacletAppIndexCache, PrefixTermTacletAppIndexCacheImpl, TermTacletAppIndexCacheSet.BelowProgCache, TermTacletAppIndexCacheSet.BelowUpdateCache, TermTacletAppIndexCacheSet.TopLevelCache

public interface ITermTacletAppIndexCache

The general interface for caches for accelerating TermTacletAppIndex.

See Also:

TermTacletAppIndexCacheSet

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).
TermTacletAppIndex	getIndexForTerm(Term t)
void	putIndexForTerm(Term t, TermTacletAppIndex index) Put the taclet app index index for the term t in the cache

Method Detail

getIndexForTerm

TermTacletAppIndex getIndexForTerm(Term t)

Returns:

the taclet app index for the term t, or null if no index for this term was found in the cache

putIndexForTerm

void putIndexForTerm(Term t,
                     TermTacletAppIndex index)

Put the taclet app index index for the term t in the cache

descend

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). This method is used in TermTacletAppIndex when recursively constructing the index for a given term.