locationapi
Class AbstractType

java.lang.Object
  aterm.pure.ATermVisitableImpl
      aterm.pure.ATermImpl
          aterm.pure.ATermApplImpl
              locationapi.AbstractType

All Implemented Interfaces:

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

Direct Known Subclasses:

Area, Location, NatCon, Slice, StrChar, StrCon

public abstract class AbstractType
extends aterm.pure.ATermApplImpl

Field Summary

private Factory	abstractTypeFactory
protected aterm.ATerm	term

Fields inherited from class aterm.pure.ATermImpl

factory

Fields inherited from interface aterm.ATerm

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

Constructor Summary

AbstractType(Factory abstractTypeFactory, aterm.ATermList annos, aterm.AFun fun, aterm.ATerm[] args)

Method Summary

Factory	getLocationapiFactory()
boolean	isSortArea()
boolean	isSortAreaAreas()
boolean	isSortLocation()
boolean	isSortNatCon()
boolean	isSortSlice()
boolean	isSortStrChar()
boolean	isSortStrCon()
protected void	setTerm(aterm.ATerm term)
java.lang.String	toString()
abstract aterm.ATerm	toTerm()

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, 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, writeToSharedTextFile, writeToTextFile

Methods inherited from interface jjtraveler.Visitable

getChildAt, getChildCount, setChildAt

Methods inherited from interface aterm.Identifiable

getUniqueIdentifier

Field Detail

term

protected aterm.ATerm term

abstractTypeFactory

private Factory abstractTypeFactory

Constructor Detail

AbstractType

public AbstractType(Factory abstractTypeFactory,
                    aterm.ATermList annos,
                    aterm.AFun fun,
                    aterm.ATerm[] args)

Method Detail

toTerm

public abstract aterm.ATerm toTerm()

toString

public java.lang.String toString()

Specified by:

toString in interface aterm.ATerm

Overrides:

toString in class aterm.pure.ATermImpl

setTerm

protected void setTerm(aterm.ATerm term)

getLocationapiFactory

public Factory getLocationapiFactory()

isSortStrChar

public boolean isSortStrChar()

isSortStrCon

public boolean isSortStrCon()

isSortNatCon

public boolean isSortNatCon()

isSortLocation

public boolean isSortLocation()

isSortArea

public boolean isSortArea()

isSortSlice

public boolean isSortSlice()

isSortAreaAreas

public boolean isSortAreaAreas()