public class ATermFwdVoid extends Object implements Visitor
| Constructor and Description |
|---|
ATermFwdVoid() |
| Modifier and Type | Method and Description |
|---|---|
jjtraveler.Visitable |
visit(jjtraveler.Visitable v) |
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) |
void |
voidVisitAppl(ATermAppl arg) |
void |
voidVisitATerm(ATerm arg) |
void |
voidVisitBlob(ATermBlob arg) |
void |
voidVisitInt(ATermInt arg) |
void |
voidVisitList(ATermList arg) |
void |
voidVisitLong(ATermLong arg) |
void |
voidVisitPlaceholder(ATermPlaceholder arg) |
void |
voidVisitReal(ATermReal arg) |
public jjtraveler.Visitable visit(jjtraveler.Visitable v)
throws jjtraveler.VisitFailure
visit in interface jjtraveler.Visitorjjtraveler.VisitFailurepublic Visitable visitATerm(ATerm arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailurepublic Visitable visitInt(ATermInt arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailurepublic Visitable visitLong(ATermLong arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailurepublic Visitable visitReal(ATermReal arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailurepublic Visitable visitAppl(ATermAppl arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailurepublic Visitable visitList(ATermList arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailurepublic Visitable visitPlaceholder(ATermPlaceholder arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailurepublic Visitable visitBlob(ATermBlob arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailurepublic Visitable visitAFun(AFun fun) throws jjtraveler.VisitFailure
jjtraveler.VisitFailurepublic void voidVisitATerm(ATerm arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailurepublic void voidVisitInt(ATermInt arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailurepublic void voidVisitLong(ATermLong arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailurepublic void voidVisitReal(ATermReal arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailurepublic void voidVisitAppl(ATermAppl arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailurepublic void voidVisitList(ATermList arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailurepublic void voidVisitPlaceholder(ATermPlaceholder arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailurepublic void voidVisitBlob(ATermBlob arg) throws jjtraveler.VisitFailure
jjtraveler.VisitFailureCopyright © 2012 CWI. All Rights Reserved.