org.jpc.term.expansion

Class PositionalSymbolExpander

java.lang.Object

org.jpc.term.expansion.CachedTermExpander

org.jpc.term.expansion.ParameterizedSymbolExpander

org.jpc.term.expansion.PositionalSymbolExpander

All Implemented Interfaces:

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

public class PositionalSymbolExpander
extends ParameterizedSymbolExpander

Constructor Summary

Constructors

Constructor and Description
PositionalSymbolExpander(List<?> parameters)
PositionalSymbolExpander(List<?> parameters, Jpc context)

Method Summary

Modifier and Type	Method and Description
Object	resolve(Term symbolTerm)

Methods inherited from class org.jpc.term.expansion.ParameterizedSymbolExpander

doExpand, getContext, isValidConversion, verifyOrThrow

Methods inherited from class org.jpc.term.expansion.CachedTermExpander

addCachedExpansion, apply, getCachedExpansion

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

PositionalSymbolExpander

public PositionalSymbolExpander(List<?> parameters)

PositionalSymbolExpander

public PositionalSymbolExpander(List<?> parameters,
                                Jpc context)

Method Detail

resolve

public Object resolve(Term symbolTerm)

Specified by:

resolve in class ParameterizedSymbolExpander