aterm

Class ATermFwdVoid

java.lang.Object

aterm.ATermFwdVoid

All Implemented Interfaces:

jjtraveler.Visitor

Direct Known Subclasses:

BinaryWriter

public class ATermFwdVoid
extends Object
implements Visitor

Constructor Summary

Constructors

Constructor and Description
ATermFwdVoid()

Method Summary

Methods

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

ATermFwdVoid

public ATermFwdVoid()

Method Detail

visit

public jjtraveler.Visitable visit(jjtraveler.Visitable v)
                           throws jjtraveler.VisitFailure

Specified by:

visit in interface jjtraveler.Visitor

Throws:

jjtraveler.VisitFailure

visitATerm

public Visitable visitATerm(ATerm arg)
                     throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure

visitInt

public Visitable visitInt(ATermInt arg)
                   throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure

visitLong

public Visitable visitLong(ATermLong arg)
                    throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure

visitReal

public Visitable visitReal(ATermReal arg)
                    throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure

visitAppl

public Visitable visitAppl(ATermAppl arg)
                    throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure

visitList

public Visitable visitList(ATermList arg)
                    throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure

visitPlaceholder

public Visitable visitPlaceholder(ATermPlaceholder arg)
                           throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure

visitBlob

public Visitable visitBlob(ATermBlob arg)
                    throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure

visitAFun

public Visitable visitAFun(AFun fun)
                    throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure

voidVisitATerm

public void voidVisitATerm(ATerm arg)
                    throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure

voidVisitInt

public void voidVisitInt(ATermInt arg)
                  throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure

voidVisitLong

public void voidVisitLong(ATermLong arg)
                   throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure

voidVisitReal

public void voidVisitReal(ATermReal arg)
                   throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure

voidVisitAppl

public void voidVisitAppl(ATermAppl arg)
                   throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure

voidVisitList

public void voidVisitList(ATermList arg)
                   throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure

voidVisitPlaceholder

public void voidVisitPlaceholder(ATermPlaceholder arg)
                          throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure

voidVisitBlob

public void voidVisitBlob(ATermBlob arg)
                   throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure