org.jpc.util.salt

Class VariablesCollectorHandler

java.lang.Object

org.jpc.term.visitor.DefaultTermVisitor

org.jpc.util.salt.VariablesCollectorHandler

All Implemented Interfaces:

TermVisitor

public class VariablesCollectorHandler
extends DefaultTermVisitor

Constructor Summary

Constructors

Constructor and Description
VariablesCollectorHandler()

Method Summary

Modifier and Type	Method and Description
List<AbstractVar>	getVariables()
void	visitVariable(AbstractVar var)

Methods inherited from class org.jpc.term.visitor.DefaultTermVisitor

visitAtom, visitCompound, visitFloat, visitInteger, visitJRef, visitSoftJRef, visitWeakJRef

Methods inherited from class java.lang.Object

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

Constructor Detail

VariablesCollectorHandler

public VariablesCollectorHandler()

Method Detail

visitVariable

public void visitVariable(AbstractVar var)

Specified by:

visitVariable in interface TermVisitor

Overrides:

visitVariable in class DefaultTermVisitor

getVariables

public List<AbstractVar> getVariables()

Returns:

a list with all the variable names ordered from left to right in the term