public interface Visitor
extends jjtraveler.Visitor
| Modifier and Type | Method and Description |
|---|---|
Visitable |
visitAFun(AFun fun) |
Visitable |
visitAppl(ATermAppl arg) |
Visitable |
visitATerm(ATerm arg) |
Visitable |
visitBlob(ATermBlob arg) |
Visitable |
visitInt(ATermInt arg) |
Visitable |
visitList(ATermList arg) |
Visitable |
visitLong(ATermLong arg) |
Visitable |
visitPlaceholder(ATermPlaceholder arg) |
Visitable |
visitReal(ATermReal arg) |
Visitable visitATerm(ATerm arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailureVisitable visitInt(ATermInt arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailureVisitable visitLong(ATermLong arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailureVisitable visitReal(ATermReal arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailureVisitable visitAppl(ATermAppl arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailureVisitable visitList(ATermList arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailureVisitable visitPlaceholder(ATermPlaceholder arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailureVisitable visitBlob(ATermBlob arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailureCopyright © 2012 CWI. All Rights Reserved.