org.jpc.util.salt

Class ChangeVariableNameAdapter

java.lang.Object

org.jpc.salt.TermAdapter

org.jpc.util.salt.ReplaceVariableAdapter

org.jpc.util.salt.ChangeVariableNameAdapter

All Implemented Interfaces:

TermContentHandler

public class ChangeVariableNameAdapter
extends ReplaceVariableAdapter

Field Summary

Fields inherited from class org.jpc.salt.TermAdapter

contentHandler

Constructor Summary

Constructors

Constructor and Description
ChangeVariableNameAdapter(TermContentHandler adaptee, Map<String,String> map)

Method Summary

Methods inherited from class org.jpc.util.salt.ReplaceVariableAdapter

startVariable

Methods inherited from class org.jpc.salt.TermAdapter

endCompound, getContentHandler, startAtom, startCompound, startFloatTerm, startIntegerTerm, startJRef

Methods inherited from class java.lang.Object

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

Constructor Detail

ChangeVariableNameAdapter

public ChangeVariableNameAdapter(TermContentHandler adaptee,
                                 Map<String,String> map)