de.uka.ilkd.key.proof

Class PrefixTermTacletAppIndexCache

java.lang.Object

de.uka.ilkd.key.proof.PrefixTermTacletAppIndexCache

All Implemented Interfaces:

ITermTacletAppIndexCache

Direct Known Subclasses:

PrefixTermTacletAppIndexCacheImpl, TermTacletAppIndexCacheSet.BelowUpdateCache

abstract class PrefixTermTacletAppIndexCache
extends java.lang.Object
implements ITermTacletAppIndexCache

The abstract superclass of caches for taclet app indexes that are separated by different prefixes of bound variables. This class simply stores a IList and offers a couple of access functions to this list.

Field Summary

Fields

Modifier and Type	Field and Description
private ImmutableList<QuantifiableVariable>	prefix

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	PrefixTermTacletAppIndexCache(ImmutableList<QuantifiableVariable> prefix)

Method Summary

Modifier and Type	Method and Description
protected ImmutableList<QuantifiableVariable>	getExtendedPrefix(ImmutableArray<QuantifiableVariable> extension)
protected ImmutableList<QuantifiableVariable>	getExtendedPrefix(Term t, int subtermIndex)
protected ImmutableList<QuantifiableVariable>	getPrefix()

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.uka.ilkd.key.proof.ITermTacletAppIndexCache

descend, getIndexForTerm, putIndexForTerm

Field Detail

prefix

private final ImmutableList<QuantifiableVariable> prefix

Constructor Detail

PrefixTermTacletAppIndexCache

protected PrefixTermTacletAppIndexCache(ImmutableList<QuantifiableVariable> prefix)

Method Detail

getPrefix

protected ImmutableList<QuantifiableVariable> getPrefix()

getExtendedPrefix

protected ImmutableList<QuantifiableVariable> getExtendedPrefix(ImmutableArray<QuantifiableVariable> extension)

getExtendedPrefix

protected ImmutableList<QuantifiableVariable> getExtendedPrefix(Term t,
                                                                int subtermIndex)