aterm.pure

Class ATermVisitableImpl

java.lang.Object

aterm.pure.ATermVisitableImpl

All Implemented Interfaces:

jjtraveler.Visitable

Direct Known Subclasses:

ATermImpl

public abstract class ATermVisitableImpl
extends Object
implements Visitable

Constructor Summary

Constructors

Constructor and Description
ATermVisitableImpl()

Method Summary

Methods

Modifier and Type	Method and Description
jjtraveler.Visitable	getChildAt(int index)
int	getChildCount()
abstract int	getNrSubTerms()
abstract ATerm	getSubTerm(int index)
jjtraveler.Visitable	setChildAt(int index, jjtraveler.Visitable v)
abstract ATerm	setSubTerm(int index, ATerm t)

Methods inherited from class java.lang.Object

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

Methods inherited from interface aterm.Visitable

accept

Constructor Detail

ATermVisitableImpl

public ATermVisitableImpl()

Method Detail

getNrSubTerms

public abstract int getNrSubTerms()

getSubTerm

public abstract ATerm getSubTerm(int index)

setSubTerm

public abstract ATerm setSubTerm(int index,
               ATerm t)

getChildCount

public int getChildCount()

Specified by:

getChildCount in interface jjtraveler.Visitable

getChildAt

public jjtraveler.Visitable getChildAt(int index)

Specified by:

getChildAt in interface jjtraveler.Visitable

setChildAt

public jjtraveler.Visitable setChildAt(int index,
                              jjtraveler.Visitable v)

Specified by:

setChildAt in interface jjtraveler.Visitable