toolbus
Class TBTermVar

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

All Implemented Interfaces:

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

public class TBTermVar
extends AbstractTBTerm

Field Summary

Fields inherited from class toolbus.AbstractTBTerm

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

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

Method Summary

shared.SharedObject	duplicate()
boolean	equivalent(shared.SharedObject peer)
java.lang.String	getExternalVarName()
int	getType()
java.lang.String	getVarName()
aterm.ATerm	getVarType()
boolean	isResultVar()
TBTermVar	setVarType(aterm.ATerm tp)

Methods inherited from class aterm.pure.ATermApplImpl

accept, getAFun, getArgument, getArgumentArray, getArguments, getArity, getName, getNrSubTerms, getSubTerm, 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

Constructor Detail

TBTermVar

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

Method Detail

duplicate

public shared.SharedObject duplicate()

Specified by:

duplicate in interface shared.SharedObject

Overrides:

duplicate in class aterm.pure.ATermApplImpl

equivalent

public boolean equivalent(shared.SharedObject peer)

Specified by:

equivalent in interface shared.SharedObject

Overrides:

equivalent in class aterm.pure.ATermApplImpl

getType

public int getType()

Specified by:

getType in interface aterm.ATerm

Overrides:

getType in class aterm.pure.ATermApplImpl

getVarName

public java.lang.String getVarName()

getExternalVarName

public java.lang.String getExternalVarName()

getVarType

public aterm.ATerm getVarType()

setVarType

public TBTermVar setVarType(aterm.ATerm tp)

isResultVar

public boolean isResultVar()