org.jpc.term.expansion

Class CachedTermExpander

java.lang.Object

org.jpc.term.expansion.CachedTermExpander

All Implemented Interfaces:

com.google.common.base.Function<Term,Term>

Direct Known Subclasses:

ParameterizedSymbolExpander

public class CachedTermExpander
extends Object
implements com.google.common.base.Function<Term,Term>

Constructor Summary

Constructors

Constructor and Description
CachedTermExpander()
CachedTermExpander(Map<Term,Term> map)

Method Summary

Modifier and Type	Method and Description
protected void	addCachedExpansion(Term sourceTerm, Term expandedTerm)
Term	apply(Term term)
protected Term	doExpand(Term term)
protected Term	getCachedExpansion(Term term)

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.google.common.base.Function

equals

Constructor Detail

CachedTermExpander

public CachedTermExpander()

CachedTermExpander

public CachedTermExpander(Map<Term,Term> map)

Method Detail

getCachedExpansion

protected Term getCachedExpansion(Term term)

addCachedExpansion

protected void addCachedExpansion(Term sourceTerm,
                                  Term expandedTerm)

doExpand

protected Term doExpand(Term term)

apply

public Term apply(Term term)

Specified by:

apply in interface com.google.common.base.Function<Term,Term>