toolbus
Class AbstractTBTerm

java.lang.Object
  aterm.pure.ATermVisitableImpl
      aterm.pure.ATermImpl
          aterm.pure.ATermApplImpl
              toolbus.AbstractTBTerm

All Implemented Interfaces:

aterm.ATerm, aterm.ATermAppl, aterm.Identifiable, jjtraveler.Visitable, shared.SharedObject, shared.SharedObjectWithID

Direct Known Subclasses:

TBTermVar

public abstract class AbstractTBTerm
extends aterm.pure.ATermApplImpl

Field Summary

protected TBTermFactory

tbfactory

Fields inherited from class aterm.pure.ATermImpl

factory

Fields inherited from interface aterm.ATerm

AFUN, APPL, BLOB, INT, LIST, LONG, PLACEHOLDER, REAL

Constructor Summary

AbstractTBTerm(TBTermFactory tbfactory, aterm.ATermList annos, aterm.AFun fun, aterm.ATerm[] args)

Method Summary

Methods inherited from class aterm.pure.ATermApplImpl

accept, duplicate, equivalent, getAFun, getArgument, getArgumentArray, getArguments, getArity, getName, getNrSubTerms, getSubTerm, getType, hashFunction, init, initHashCode, isQuoted, make, make, make, match, setAnnotations, setArgument, setSubTerm

Methods inherited from class aterm.pure.ATermImpl

equals, getAnnotation, getAnnotations, getFactory, getPureFactory, getUniqueIdentifier, hasAnnotations, hashCode, init, internSetAnnotations, isEqual, match, match, removeAnnotation, removeAnnotations, setAnnotation, setHashCode, setUniqueIdentifier, toString, writeToSharedTextFile, writeToTextFile, writeToTextFile

Methods inherited from class aterm.pure.ATermVisitableImpl

getChildAt, getChildCount, setChildAt

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface aterm.ATerm

equals, getAnnotation, getAnnotations, getFactory, hasAnnotations, hashCode, isEqual, match, match, removeAnnotation, removeAnnotations, setAnnotation, toString, writeToSharedTextFile, writeToTextFile

Methods inherited from interface jjtraveler.Visitable

getChildAt, getChildCount, setChildAt

Methods inherited from interface aterm.Identifiable

getUniqueIdentifier

Field Detail

tbfactory

protected final TBTermFactory tbfactory

Constructor Detail

AbstractTBTerm

public AbstractTBTerm(TBTermFactory tbfactory,
                      aterm.ATermList annos,
                      aterm.AFun fun,
                      aterm.ATerm[] args)