public class DefaultTermVisitor extends Object implements TermVisitor
Constructor and Description |
---|
DefaultTermVisitor() |
Modifier and Type | Method and Description |
---|---|
void |
visitAtom(Atom term) |
boolean |
visitCompound(Compound term) |
void |
visitFloat(FloatTerm term) |
void |
visitInteger(IntegerTerm term) |
void |
visitJRef(JRef<?> jRef) |
void |
visitSoftJRef(JRef<?> jRef) |
void |
visitVariable(AbstractVar term) |
void |
visitWeakJRef(JRef<?> jRef) |
public void visitInteger(IntegerTerm term)
visitInteger
in interface TermVisitor
public void visitFloat(FloatTerm term)
visitFloat
in interface TermVisitor
public void visitVariable(AbstractVar term)
visitVariable
in interface TermVisitor
public void visitAtom(Atom term)
visitAtom
in interface TermVisitor
public void visitJRef(JRef<?> jRef)
visitJRef
in interface TermVisitor
public void visitSoftJRef(JRef<?> jRef)
visitSoftJRef
in interface TermVisitor
public void visitWeakJRef(JRef<?> jRef)
visitWeakJRef
in interface TermVisitor
public boolean visitCompound(Compound term)
visitCompound
in interface TermVisitor
Copyright © 2014. All rights reserved.